Bonjour!
Désolé pour le multi-postage [PHYS], [LANG] et [DIVERS].
Je vous annonce l'arrivée de la nouvelle version de la description
de la tétravalence à l'adresse habituelle: http://cafe.edu/pl4c/
Les principaux changements sont:
(1) les tables de vérité ont été simplifiées pour ne plus rendre
compte que des valeurs logiques élémentaires (les autres
valeurs ne sont que des abbréviations pour des unions de
valeurs élémentaires, que l'on traite facilement à l'aide
des lois et propriétés de l'union/disjonction)
(2) l'opérateur complément est maintenant représenté par le
symbole du NON logique, puisqu'il en tient la place dans la
logique tétravalente -- accessoirement, cela mettra fin aux
tentatives de réintroduire la négation aristo en logique tétra!
(3) l'explication des propriétés de l'opérateur implication est
beaucoup plus détaillée, on pourra facilement comprendre pour
quelles raisons l'implication aristo (p IMPLIQUE q = NON p OU q)
n'a pas été transposée "telle quelle" en logique tétra
(4) la présentation est plus claire
Comme d'habitude, vous y trouverez un fichier "pl4c.zip" disponible
pour téléchargement.
Toujours comme d'habitude, toutes les corrections, suggestions et
autres remarques sont bienvenues. :)
Mon adresse mail: nwm@vif.com
Amicalement,
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
===========================================================