[DIVERS] Re: Réf. : Re: logique tétrav alente

["Louys Jacques" <drjls@evc.net>]

-----Original Message-----
From: "_ PAZ" <jpazelle@hotmail.com>
> JMFA a dit :
>De Morgan fonctionne bien dans l'hypothèse d'Alban parce que Alban
> s'est
> >positionné dans le cas où De Morgan fonctionne, c'est-à-dire que les
> 4
> >valeurs logique de base sont : {0, 1, 1^0, ¬1^¬0}
> >Or dans la NR20, les 4 valeurs sont {0^¬1, 1^¬0, 1^0, ¬1^¬0} c'est
> ce
> >qui me pose problème ...
-------------
PAZ : > Soit 1) il faut réinventer les règles de réécriture logique en
> tétravalent, 
---------------
le "et" a l'air d'y fonctionner comme "impliquant nécessairement que" ou qq chose comme 
ça...?

jls


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