[DIVERS] Re: Réf. : Re: logique tétravalente

["_ PAZ" <jpazelle@hotmail.com>]

Bonsoir,

>jmfa a écrit :
> > Je tente une explication sur ¬1^¬1 appliquable aussi à ¬0^¬0 pour
> > Jacques PAZELLE
> > 1^1 = 1   ceci est une réduction aboutie à l'ensemble AÏOOYAA. Le
> > premier 1 est dans AÏOOYAA et le second aussi ...
> > mais ¬1^¬1 n'est pas une réduction, c'est encore trop flou. La première
> > complémentation pouvant être AÏOOYEEDOO et la seconde AÏOOYA AMMIE ...
> > ou les deux AÏOOYEEDOO ou les deux AÏOOYA AMMIE. On n'est pas plus
> > avancé! ... il reste des choix possible ...
> > Je dis peut-être des bêtises là?
>
>[BB]
>Non pas de bêtises, en tout cas pas pour moi, mais pour PAZ, peut être.

[PAZ]
Non. Pas des bêtises pour moi non plus, simplement une opinion différente 
;-)

>Mon hypothèse étant que 1 = AÏOOYAA, je suis d'accord avec vous lorsque
>vous dites : "1^1 = 1   ceci est une réduction aboutie à l'ensemble
>AÏOOYAA. Le premier 1 est dans AÏOOYAA et le second aussi..."
>Par contre, l'hypothèse de PAZ est AÏOOYAA = 1^¬0, et donc ce que vous
>dites ne marche pas pour lui.
>
>En revanche, pour PAZ et moi, effectivement, on a bien :
>¬1 = AÏOOYEEDOO v AÏOOYA AMMIE
>(Note : j'ai bien écrit ¬1, et pas ¬AÏOOYAA, car si avec l'hypothèse PAZ
>on a bien ce que j'ai écrit ci-dessus, par contre on a pas ¬AÏOOYAA =
>AÏOOYEEDOO v AÏOOYA AMMIE qui est valable avec mon hypothèse)

[PAZ]

Alban, pour toi :

¬AÏOOYAA = (AÏOOYEEDOO^¬AIOOYAU) v AÏOOYA AMMIE (rouge pur ou bleu)

Parce que, si je ne trompe pas, il y a AIOOYAU (1^0) dans ton AIOOYAA (1) et 
dans ton AIOOYEEDOO (0), donc il faut l'exclure du complémentaire d'AIOOYAA.

remis en forme ça fait :

¬1 = 0^(¬1^0) v (¬0^¬1) = (0^¬1) v (0^0) v (¬0^¬1) = (0^¬1) v (¬0^¬1) = 
¬1^(0v¬0) = ¬1 (CQFD)

ce qui est logique avec ton hypothèse et qui prouve que De Morgan fonctionne 
bien chez toi :-))

Pour moi (avec mes hypothèses)

¬AÏOOYAA = AÏOOYEEDOO v AIOOYAU v AÏOOYA AMMIE (rouge pur ou orange ou bleu)

remis en forme ça fait :

¬(1^¬0) = (0^¬1) v (1^0) v (¬0^¬1) = 0^(¬1 v 1) v (¬0^¬1) = 0 v (¬0^¬1) et 
je ne peux pas aller plus loin dans la simplification

or ¬(1^¬0) = ¬1 v 0 (par de Morgan) et ¬1 v 0 n'est pas égal à 0 v (¬0^¬1)

Donc, soit de Morgan ne marche pas dans mes hypothèses (ce qui serait 
regrettable) soit mes hypothèses ne sont pas bonnes.

De deux maux il faut choisir le moindre. Donc *mes hypothèses ne sont pas 
bonnes*.

Les mathématiques sont implacables :-(  Je suis contraint de me ranger de 
ton avis :

AIOOYAA = 1 (jaune + orangé)

et donc forcément

AIOOYEEDOO = 0 (rouge + orangé)

et (mais nous étions déjà d'accord tous les deux là dessus)

AIOOYAU = 0^1 = orange
AIOOYA AMMIE = ¬0^¬1 = bleu.



>
>Je n'ai pas encore pu répondre en détail à la question de PAZ hier,
>suite à un contre-temps, j'espère pouvoir y répondre ce soir.

[PAZ]

Y a pas le feu :-)) On connait tous le surplus de boulot de la rentrée en 
septembre/octobre. Mais je suis impatient de connaitre ton opinion (en 
suivant donc tes hypothèses que j'adopte dorénavant).

Donc, Banban = 21, PAZ = 11. Banban remporte cette partie de ping-pong 
(démarrée à 19/11 pour ceux qui n'avaient pas suivi le début :-)).

Amicalement

Jacques Pazelle

_________________________________________________________________
Hotmail : bientôt 250 Mo de stockage ! 
http://www.imagine-msn.com/hotmail/fr-fr/


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