[DIVERS] Re: [PHYS] PROgrammer en LOGique tetravalente

[olme <mongeadoa@yahoo.com>]

bonjour,

j'ai commencé la lecture de cet essais, fort
intéressant, et une question me vient : 

que vient faire l'ensemble vide là dedans ... ?? 

Il n'est pas représenté sur le shéma, et j'avais
l'impression que la notion d'ensemble vide étais
assimilable à l'une des valeurs logique (N
peut-etre?)... dans les tableau de verité, il apparait
sytematiquement au même titre que les autres valeurs,
ce qui nous donne un logique pentavalente ... non?

mais peut etre est-ce ma comprehension qui peche ...
et je lirai avec joie quelques remarques éclairantes
là dessus ...

amicalement,

M;


--- Norman Molhant <nwm@vif.com> wrote:

> 
> 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
>
===========================================================
> 	
> 	
> 	
> 	
> 	
> 	
> 	
> 


__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com 

===========================================================
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
===========================================================
	
	
	
	
	
	
	--=_Listar-UnMime-Boundary--