[DIVERS] [PHYS] PROgrammer en LOGique tetravalente

[Norman Molhant <nwm@vif.com>]

Bonjour!

Hélàs pour vous, j'ai encore remis à jour le site  http://cafe.edu/sf/pl4c/
ainsi que son archive zip   http://cafe.edu/sf/pl4c/pl4c.zip   disponible
pour téléchargement.

Brigand que je suis, j'ai ajouté deux nouveaux opérateurs en PL4C:

1. l'opérateur différence:  X - Y  ( prononcé  X sauf Y )
    qui permet d'écrire des choses édifiantes comme  (TFBN - X) = -X
    et des choses plus utiles comme  (X % Y) = (X - Y) | (Y - X)

2. l'opérateur inégalité:  X \ Y  (prononcé  X inégale Y )
    qui permet enfin d'exprimer en PL4C l'expression  (X non vide)
    ce qui s'écrira dorénavant  (X \ {})

J'en ai profité pour remplacer toutes les occurrences de U (l'ensemble
uuniversel) par TFBN (le vrai nom de cet ensemble) et pour corriger un
tas de petits problèmes de nomenclature (et une ou deux bugs) dans ces
pages.

Tant qu'à faire, j'ai rajouté quelques règles concernant les deux
nouveaux opérateurs et j'ai mis à jour la page de comparaison entre
la logique tétra et la logique aristo.

Il y a donc deux nouvelles tables de vérité (une pour chacun des
nouveaux opérateurs), ce qui me donne l'impression ridicule de
descendre de la montagne en jouant les Moïse à la petite semaine.  :)

Manque plus qu'une caricature ad hoc dédicacée pour faire ma semaine!  :)

Corrections, améliorations, suggestions et commentaires sont bienvenus!

Bonne lecture!

Vives amitiés de
                  Norman.

===========================================================
Liste de diffusion UMMO "DIVERS" (Tout ce qui n'entre pas dans les 4 autres listes).
Pour envoyer un message: soit fonction "répondre", soit 
mailto:ummo.open@ummo-sciences.org
Soumis à la charte: 
https://www.ummo-sciences.org/nvle_charte.htm
Archives de la liste: 
http://archives.ummo-sciences.org/ml/ummo.open-AAAAMM/maillist.html ( en remplacant AAAA par l'année et MM par le N° du mois)
Pour se désinscrire : 
mailto:ummo.open_request@ummo-sciences.org?subject=unsubscribe
===========================================================