[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[DIVERS] Re: Réf. : Re: Réf. : Re: logique tétravalente
Bonjour,
Je ne sais pas si ça vas passer (sinon j'envoi AJH sous forme de document PDF) mais j'ai trouvé cette table des opérateurs (dessolé, en espagnol)
http://www.eneayudas.cl/logmat1entrada.htm
et des propriétés des opérations de logique binaire (of course) qui pourrais nous permettre de signaler quelles opérations nous sommes en train de faire et en essayant de éliminer ces opérations que nous connaissons déjà par les lettres qui ne marchent pas en logique tétra, mais que néanmoins nous permettrait de nous référer a un paradigme de lois logiques commun.
Si quelqu'un (Banban, PAZ ...) connaissent ou peuvent signaler un meilleur choix, on pourrait l'utiliser au lieu de ce que j'envoie.
Amitiés,
Manolo
IDEMPOTENCIA:
pÙp Û p
pÚp Û p
LEY DE DOBLE NEGACION:
(p¢)¢ Û p
LEYES DE CONMUTACION:
pÙq Û qÙp
pÚq Û qÚp
p«q Û q«p
LEYES DE ASOCIACION: Volver arriba
pÙ(qÙr) Û (pÙq)Ùr
pÚ(qÚr) Û (pÚq)Úr
p«(q«r) Û (p«q)«r
LEYES DE DISTRIBUCION:
pÚ(qÙr) Û (pÚq)Ù(pÚr)
(qÙr)Úp Û (qÚp)Ù(rÚp)
pÙ(qÚr) Û (pÙq)Ú(pÙr)
(qÚr)Ùp Û (qÙp)Ú(rÙp)
LEYES DE ABSORCION:
pÚ(pÙq) Û p
pÙ(pÚq) Û p
LEYES DE DUALIDAD (LEYES DE DE MORGAN):
(pÚq)¢ Û p¢Ùq¢
(pÙq)¢ Û p¢Úq¢
LEYES DE IDENTIDAD: Volver arriba
pÚV Û V
pÙV Û p
pÚF Û p
pÙF Û F
LEYES DE COMPLEMENTO:
pÚp¢ Û V
pÙp¢ Û F
V¢ Û F
F¢ Û V
Volver arriba
TAUTOLOGIAS:
1) p Û p
2) p®q Û p«(pÙq)
3) p®q Û q«(pÚq)
4) p¢®q Û q¢®p
5) p¢®q¢ Û q®p
6) (p®q)¢ Û pÙq¢
7) (q®p)¢ Û p¢Ùq
8) p®(qÙq¢) Û p¢
9) (p®q)«p Û pÙq
10) (p®q)«q Û pÚq
11) (p®q)«p¢ Û (pÙq)¢
12) (p®q)«q¢ Û (pÚq)¢
13) p«q Û (pÙq)Ú(p¢Ùq¢)
14) p«q Û (p¢Úq)Ù(pÚq¢)
15) p«q Û (p®q)Ù(q®p)
16) p«q Û (p®q)Ù(p¢®q¢)
17) p¢«q Û p«q¢
18) p¢«q¢ Û p«q
19) (p«q)¢ Û p«q¢
20) (p«q)¢ Û p¢«q Volver arriba
21) (p«q)«q Û p
22) (p«q)«q¢ Û p¢
23) (pÙq)®r Û p®(q®r)
24) p®(q®r) Û q®(p®r)
25) (p®q)Ù(p®r) Û p®(qÙr)
26) (p®r)Ù(q®r) Û (pÚq)®r
27) (p®q)Ú(p®r) Û p®(qÚr)
28) (p®r)Ú(q®r) Û (pÙq)®r
29) (p®q)Ù(q®r)Ù(r®p) Û p«q«r
30) p Þ p
31) p Þ pÚq
32) p Þ q®p
33) p Þ (pÙq)«q
34) p Þ (p®q)«q
35) p¢ Þ p®q
36) p¢ Þ (pÚq)«q
37) p¢ Þ (q®p)«q¢
38) pÙp¢ Þ q
39) pÙq Þ p
40) pÙq Þ pÚq Volver arriba
41) pÙq Þ p®q
42) pÙq Þ q®p
43) pÙq Þ p«q
44) (pÚq)Ùp¢ Þ q
45) (p®q) Ú (p®q¢)
46) (p®q) Ú (p¢®q)
47) (p®q)¢ Þ p
48) (p®q)¢ Þ q¢
49) (p®q)Ùp Þ q
50) (p®q)Ùq¢ Þ p¢
51) p®q Þ (q®r)®(p®r)
52) p®q Þ (r®p)®(r®q)
53) (p®q)Ù(q®r) Þ p®r
54) (p®r)Ù(q®r)Ù(pÚq) Þ r
55) (p®r)Ù(q®s)Ù(pÚq) Þ rÚs
56) (p®r)Ù(q®s)Ù(r¢Ús¢) Þ p¢Úq¢
57) p«q Þ p®q
58) p«q Þ q®p
59) p«q Þ (pÙr)«(qÙr)
60) p«q Þ (pÚr)«(qÚr) Volver arriba
61) p«q Þ (p®r)«(q®r)
62) p«q Þ (r®p)«(r®q)
63) p«q Þ (p«r)«(q«r)
64) (p«q)Ù(q«r) Þ p«r
EQUIVALENCIAS CON LOS CONECTIVOS
NEGACION Y CONJUNCION:
65) pÚq Û (p¢Ùq¢)¢
66) p®q Û (pÙq¢)¢
67) p«q Û (pÙq¢)¢Ù(p¢Ùq)¢
68) pÅq Û (p¢Ùq¢)¢Ù(pÙq)¢
69) páq Û (pÙq)¢
70) pâq Û p¢Ùq¢
EQUIVALENCIAS CON LOS CONECTIVOS
NEGACION Y DISYUNCION:
71) pÙq Û (p¢Úq¢)¢ Volver arriba
72) p®q Û p¢Úq
73) p«q Û (p¢Úq¢)¢Ú(pÚq)¢
74) pÅq Û (p¢Úq)¢Ú(pÚq¢)¢
75) páq Û p¢Úq¢
76) pâq Û (pÚq)¢
EQUIVALENCIAS CON EL CONECTIVO NAND:
77) p¢ Û páp
78) pÙq Û (páq)á(páq)
79) pÚq Û (páp)á(qáq)
80) p®q Û pá(qáq)
81) p«q Û (páq)á((páp)á(qáq))
82) pÅq Û (pá(qáq))á(qá(páp))
83) pâq Û ((páp)á(qáq))á((páp)á(qáq))
EQUIVALENCIAS CON EL CONECTIVO NOR:
84) p¢ Û pâp Volver arriba
85) pÙq Û (pâp)â(qâq)
86) pÚq Û (pâq)â(pâq)
87) p®q Û ((pâp)âq)â((pâp)âq)
88) p«q Û (pâ(qâq))â(qâ(pâp))
89) pÅq Û (pâq)â((pâp)â(qâq))
90) páq Û ((pâp)â(qâq))â((pâp)â(qâq))
Adcantuan <adcantuan@wanadoo.fr> wrote:
Bonjour,
Autant pour moi, absorbé pas le reste, j'ai écrit deux grosses conneries et
peut-être d'autres…
Mais au préalable, je recadre. Même dans ma logique de primate primaire :
0 ^Ø1^0ÙØ1 ceci ne peut être qu'égal à 0 ^Ø1
Et
1 ^Ø0^1ÙØ0 ceci ne peut être qu'égal à 1 ^Ø0
Il est vrai que j'ai fait dans la précipitation et que j'ai complètement
occulté ces deux cas. Même s'il y avait qqc qui me chatouillait, sans savoir
trop quoi. (maintenant je sais…)..........
Manuel Rotaeche
---------------------------------
===========================================================
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--