[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[DIVERS] Re: logique tétravalente
Bonjour,
Je m'accroche à passer cette approche sur la tétravalence car je crois qu
elle n'est pas fausse Je viens de passer plus d'une heure à laborieusement
tenter d'écrire le message quand juste au momment de l'envoi le logiciel
plante.
Je vais recommencer pour la nième fois. Depuis hier, j'essaie de faire
passer le message.
A savoir - je m'encombre pas de préjugés mathématiques et je réfléchis comme
un ancien pisseur de ligne (analyste-programmeur basique). On me donne des
outils et je fais avec...
Donc voilà ce que nous donne la NR20 :
4 bases :
0^¬1 = Faux et pas Vrai qui pourrait être AIOOY EEDO
1^¬0 = Vrai et pas Faux qui pourrait être AIOOY AA
1^0 = Vrai et Faux qui pourrait être AIOOY AU
¬1^¬0 = ni Vrai ni Faux qui pourrait être AIOOY AAMIE
2 tautologies
0^0 = 0
1^1 = 1
2 impasses
0^¬0 = rien
1^¬1 = rien
Alors c'est parti pour 16 combinaisons :
CAS AIOOY AAMIE
1 - AAMIE & AAMIE = ni Vrai ni Faux = ¬1^¬0^¬1^¬0 = ¬1^¬0
2 - AAMIE & EEDO = pas Vrai = ¬1^¬0^0^¬1, or ¬0^0 = rien donc ¬1^¬1 = ¬1
3 - AAMIE & AA = pas Faux= ¬1^¬0^1^¬0, or ¬1^1 = rien donc ¬0^¬0 = ¬0
4 - AAMIE & AU = 2 solutions : Vrai et Faux ou ni Vrai ni Faux en
effet j'ai :
¬1^¬0^1^0, là soit je choisis les impasses formelles, mais selon la NR20 j
ai pas le droit et je me dois de faire cohabiter les 2 solutions que forment
le couple (1^0,¬1^¬0) ce qui me permettra de tester l'un et/ou l'autre des
connecteurs pour me permettre d'aboutir.
CAS AIOOY EEDO
5 - EEDO & AAMIE voir 2
6 - EEDO & EEDO = FAUX = 0^¬1^0^¬1 = 0^¬1or ceci correspond à 0 strictement
7 - EEDO & AA = Là on se fait surprendre, n'oublions pas que nous sommes
dans une logique sans tiers exlu, et l'on se retrouve en 4 en effet nous
avons 0^¬1^1^¬0 donc le couple (1^0,¬1^¬0)
8 - EEDO & AU = FAUX = 0^¬1^0^1, or ¬1^1 = rien donc 0^0 = 0 strictement
CAS AIOOY AA
9 - AA & AAMIE = voir 3
10 - AA & EEDO = voir 4, 7
11 - AA & AA = VRAI = 1^¬0^1^¬0 donc strictement 1
12 - AA & AU = VRAI = 1^¬0^1^0, or ¬0^0 = rien donc 1^1 = 1
strictement
CAS AIOOY AU
13 - AU & AAMIE = voir 4, 7, 10
14 - AU & EEDO = voir 8
15 - AU & AA = voir 12
16 - AU & AU = Vrai et Faux = 0^1^0^1 = 1^0
Maintenant revenez au petit schéma de la NR 20, 2 petits ronds bleu pour ¬1
et ¬0 (l'ensemble fait ni Vrai ni Faux), un rond rouge pour 0, 2 ronds
jaunes pour 1, 1 rond orange pour Vrai et Faux, 1 flèche pour le noeud ni
Vrai ni Faux, une flèche pour le noeud Vrai et Faux (nos fameuses 2
solutions)
Voilà le travail, maintenant si vous voulez le tableau excel avec les
couleurs qui vont bien AJH devrait le mettre en ligne ce matin.
Bonne journée
Cordialement
Adcantuan
-------Message original-------
De : ummo.open@ummo-sciences.org
Date : 10/08/04 22:46:07
A : ummo.open@ummo-sciences.org
Sujet : [DIVERS] Re: logique tétravalente
===========================================================
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--