[DIVERS] Re: logique tétravalente

[Banban <alban.nanty@free.fr>]

Anne Geuens a écrit :
> Pour PAZ :
> AIOOYAA c'est 1^¬0 (1 à lexclusion de tout bout de 0 parasite)
> AIOOYEEDOO c'est 0^¬1 (0 à lexclusion de tout bout de 1 parasite)
> Leur intersection est totalement vide.
> 
> Anne : Cela impliquerait que l'intersection de AIOOYAA et du complémentaire 
> de AIOOYAA est totalement vide (Le complémentaire de l'état AIOOYAA étant l'état 
> AÏOOYEEDOO, AIOOYAU et AÏOOYA AMMIE.)
> 
> L'intersection d'un ensemble et du complémentaire de cet ensemble est par 
> définition vide en logique binaire. Est-ce vrai en tétravalence ?

[BB]
Il me semble que oui, puisque l'auteur écrit clairement que 0^¬0 est une 
impasse formelle, c'est à dire un ensemble vide.
Quelle que soit la taille (ou cardinalité) d'un ensemble, cet ensemble 
et son complémentaire donnera toujours un ensemble vide. Sinon, c'est 
que l'opérateur de complémentarité n'a pas bien fait son travail :-)

Amicalement.

-- 
   ___  Alban NANTY (Banban)
  /OO/| ICQ : 52251924
/OO/ | Se tromper est humain, mais pour vraiment mettre le bordel,
|__|/  il faut y ajouter un ordinateur.

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