[DIVERS] Re: [logique tétravalente]

["Anne Geuens" <anne.geuens1@planetinternet.be>]

Pour correction: Tetra pour non matheux
La notion d'existence ne porte pas sur des entités mais sur des relations.
L'égalité par exemple est une relation qui à comme relation complémentaire 
l'inégalité.
Passer de l'existence "des choses" à l'existence de relations peut induire 
des contradictions entre relations complémentaires.
Par exemple:
VRAI et NON FAUX  : [1=1 ; 0=0]  [1#0 ; 0#1] dans ce cas on peut dire que la 
relation X existe
FAUX et NON VRAI  : [0=1 ; 1=0]  [1#1 ; 0#0] dans ce cas nous pouvons dire 
que la relation X n'existe pas.
Le croisement entre une relation existante et un relation non existante peut 
donner des résultats différents.
VRAI et FAUX: [1=1 ; 0=0]   [0=1 ; 1=0] c'est une relation contradictoire
VRAI et NON VRAI : [1=1 ; 0=0] et [1#1 ; 0#0] ce cas est une impasse 
formelle
FAUX et NON FAUX: [0=1 ; 1=0] et [1#0 ; 0#1] également une impasse formelle
NON FAUX et NON VRAI: [1#0 ; 0#1] [1#1 ; 0#0] ceci est invérifiable

Autre écriture:
1^¬0: Vrai et non Faux
0^¬1: Faux et non Vrai
1^0: Vrai et Faux
¬1^¬0: Non Vrai et non Faux

Bien à vous,
Anne



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