[DIVERS] Re: [logique tétravalente]

[jmfa <jmfa@club-internet.fr>]

Oupss,

exact, j'ai écrit une bêtise qui vaudrait le buché pour ne pas avoir 
assez buché :-)
Merci

jmfa

_ PAZ a écrit :

>Bonjour,
>
>
>JMFA écrit :
>
>  
>
>>Bonsoir,
>>
>>Il y a quelque chose qui me tracasse:
>>
>>en essayant de voir les oppositions maximum entre AÏOOYA AMMIE et
>>AÏOOYAA d'une part et AÏOOYEEDOO et AÏOOYAOU d'autre part par une
>>écriture formelle, je crois que:
>>(¬1 ^ ¬0) ^ (1 ^ ¬0) = ¬0
>>(0 ^ 1) ^ (0 ^ ¬1) = 0
>>avec l'écriture de la NR20 (mais pas avec le schémas). Et je vois que le
>>beau tableau jpg de Gardenteapot mentionne l'ensemble vide à ces deux
>>endroits. Qui pourrait éclairer ma lanterne vacillante ...
>>
>>Cordialement
>>
>>jmfa
>>
>>    
>>
>
>Je ne trouve pas les mêmes valeurs que vous, mais bien l'ensemble vide pour 
>les deux oppositions.
>
>Si on joue sur l'associativité et la commutativité du ^ on trouve bien :
>
>(¬1 ^ ¬0) ^ (1 ^ ¬0) = ¬1 ^ (¬0 ^ 1) ^ ¬0 = ¬1 ^ (1 ^ ¬0)  ^ ¬0 = (¬1 ^ 1) ^ 
>(¬0  ^ ¬0) = VIDE ^ ¬0 = VIDE.
>
>De la même façon :
>
>(0 ^ 1) ^ (0 ^ ¬1) = 0 ^ (1 ^0) ^ ¬1 = 0 ^ (0 ^1) ^ ¬1 = (0 ^ 0) ^ (1 ^ ¬1) 
>= 0 ^ VIDE = VIDE
>
>P.S. Je ne remet pas en cause la validité de l'associativité et de la 
>commutativité de l'opérateur ^ car ça me semble évident si on l'assimile à 
>une intersection d'ensembles.
>
>Cordialement
>
>Jacques Pazelle
>
>_________________________________________________________________
>MSN Hotmail : antivirus et antispam intégrés 
>http://www.msn.fr/newhotmail/Default.asp?Ath=f
>
>
>===========================================================
>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
>===========================================================
>	
>	
>	
>	
>	
>	
>	
>
>
>  
>


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