"Once again, it seems that there is a threshold for complex behavior - that is reached as soon as one has at least four states."
(Stephen Wolfram, A new kind of science)
Introduction
Nous
avions terminé la
partie 1 en citant
G.G. Granger. Continuons avec lui. Page 30 de
Sciences et réalité il
notait :
« la théorie kripkéenne ne saurait servir à interpréter la syllogistique modale d’Aristote,
en particulier dans la mesure où les modalités kripkéennes sont
des opérations de propositions, itérables et combinables entre eux,
ce que ne sont jamais les modalités d’Aristote, pour qui la
« nécessité du possible » par exemple semble dépourvue
de sens. » C’est le moment d’introduire notre proposition
de calcul formel propositionnel en logique tétravalente, pour tenter
de combler ce manque. L'autre sujet sur le sens sémantique d'une telle logique sera traité dans une autre partie.
L’ouvrage
de François Rivenc,
Introduction
à la logique pertinente (P.U.F., 2005), nous offre un état de
l’art détaillé des structures des logiques alternatives à la
logique binaire classique. Dans sa préface, l’auteur écrit :
«
L'idée est sans doute que la logique est le domaine de la
rigueur absolue, des preuves impeccables : comment discuter ce qui
légifère sur les conséquences nécessaires de vérités
elles-mêmes nécessaires ? D'où la tentation d'utiliser de manière
parfois absurde ses « résultats », dès lors qu'ils paraissent
profonds, et de nature à conforter une vision philosophique. [...]
il faut avouer que la
manière dont la logique est enseignée dans les départements de
philosophie porte une part de responsabilité dans cet état de
choses. À l'opposé de l'esprit d'exploration et de remise en
question, qui est censé être le lot de l'enseignement philosophique
(je dis bien censé), la logique est présentée de manière beaucoup
trop dogmatique. » C’est
le premier piège qu’avertis nous essaierons d’éviter. Mais il
poursuit : «
Mais du point de vue conceptuel, ne
faudrait-il pas au moins situer [la logique] ? Clarifier les choix
qui ont présidé à sa construction, et qui doivent être évalués
? Comment réagir, par exemple, à la foisonnante pluralité des
systèmes logiques d'aujourd'hui ? »
Nous repartirons dans ce document précisément de l’endroit où Rivenc et les autres auteurs cités se sont arrêtés dans leurs brèves mentions de l’existence d’une logique à 4 valeurs de vérité, et nous démontrerons dans ce nouveau cadre toutes les relations déjà connues pour la logique booléenne binaire.
Définitions pour le calcul propositionnel
- Une proposition p est composée d'un ou plusieurs termes qui ont un sens dans le langage naturel ou mathématique ou en logique. L’évaluation
logique d’une proposition donnée ne présente qu’une seule
valeur de vérité parmi les quatre définies par le système logique qui nous intéresse ici. Nous utiliserons la notation p pour
exprimer indifféremment une proposition ou la valeur de vérité
résultante de son évaluation. Aucune hypothèse n’est prise sur
le niveau de complexité (ou d’atomicité) de la proposition p.
- Une formule est composée d'une ou plusieurs propositions p, q, r, s reliées par une ou plusieurs opérations logiques. Ces
opérations sont symbolisées par des connecteurs. L’évaluation
d’une formule donnée ne donne qu’une seule valeur de vérité
parmi les quatre que nous considérons ici. Ainsi, une formule peut tenir le rôle d'une proposition dans une autre formule.
- Une formule est dite être une tautologie si sa valeur résultante de vérité est Nécessaire pour toute assignation de valeur de vérité à chacune de ses propositions.
- Une formule est dite être une contingence ou également une contradiction si sa valeur résultante de vérité est Contingent pour toute assignation de valeur de vérité à chacune de ses propositions.
- Une formule qui n'est ni une tautologie ni une contradiction est appelée ici une potentialité. Elle est appelée
contingence en logique bivalente ; c’est un terme que nous ne
retenons pas pour notre système de
logique tétravalente.
- Les formules seront exprimées en tautologies ou en théorèmes de la logique propositionnelle.
- Les
opérations opérations fondamentales (identité,
négation, conjonction, disjonction) sont
introduites et définies sous
forme de tables de vérité.
Il est possible à la place d’introduire les connecteurs en
utilisant la notation métalogique du calcul
des séquents, mais
celle-ci apporterait
peu à notre
présent propos et diminuerait fortement sa
lisibilité.
Les opérations
nullaires
Notre
proposition de « réaction à la foisonnante
pluralité des systèmes logiques » est de poursuivre la
perspective de Guénon décrite dans la première partie de ce livre
et de formaliser une logique tétravalente, à quatre valeurs de
vérité que nous continuerons de nommer selon la tradition :
Nécessaire, Possible, Impossible et
Contingent. Précisons qu’il ne s’agit pas pour nous de
modalités mais des valeurs de vérité à part entière, ou des
états d’être si l’on veut prolonger le lien avec la
métaphysique. Nous verrons plus loin que la pertinence de la
configuration décrite par Guénon ne se limite pas à
l’identification de la structure quaternaire.
Dans
certains systèmes logiques, il est coutumier d’utiliser des
symboles particuliers pour les opérations
nullaires : ⊤ pour la tautologie
(i.e. valeur Nécessaire),
et ⊥ pour
représenter la contradiction
(i.e. valeur
Contingent).
Nous n’avons pas défini dans
cet essai de symbole additionnel pour les
opérateurs nullaires Possible
et Impossible.
Par souci de notation homogène, nous
n’utiliserons que les notations Nécessaire,
Possible, Impossible et
Contingent.
Les opérations unaires
Définissons pour commencer l’opération d’identité logique d’une proposition p notée (p), qui redonne sa valeur de vérité initiale :
Il est possible de définir 4 autres
opérations unaires : Contingence(p), Possibilité(p), Impossibilité(p), Nécessité(p). Ces opérations, pour toute valeur de vérité de p, rendent un résultat respectivement Contingent, Possible, Impossible, Nécessaire.
La négation en logique tétravalente
L’intérêt
principal du développement des logiques formelles depuis un siècle
a été de montrer que «
Le problème vient du fait qu'on peut
caractériser autrement la négation, en termes de modèles, et que
la « négation sémantique forte », liée aux Principes du Tiers
exclu et de non contradiction, n'apparaît plus que comme une
négation parmi d'autres. » (François Rivenc,
Introduction
à la logique pertinente, Pp. 151) Pour les logiciens, la
question de savoir quelle est la
vraie négation (la plus proche de la réalité) est encore
ouverte, aussi étonnant que cela puisse paraître pour les autres.
Nous
commençons donc par définir l’opérateur de négation. Notons
tout d’abord que dans la logique classique booléenne, cette
opération ne transforme pas une proposition en la
niant, mais
en donnant son complément, son inverse ou son contraire. Dans le chapitre sur la structure mathématique des treillis logiques, l'ouvrage de Rivenc précédemment mentionné (pages
62-63 ; voir aussi G. Epstein,
Multiple-Valued Logic Design: an Introduction (29 sept. 2017), en particulier
§3.6.4) nous indique les travaux de Dunn publiés en 1986 :
« Les deux diagrammes suivants représentent respectivement :
1) un treillis de De Morgan à quatre éléments, appelé treillis 4. On
observera que celui-ci possède une propriété remarquable : a et
b sont identiques à leurs images par l'opération notée – (autrement dit, l'opération – [c'est-à-dire la négation] présente des points fixes).
2)
une algèbre de Boole à 4 éléments :
»
Notons
que la représentation graphique du treillis 4 est intermédiaire
entre le carré d’Aristote et le losange de Guénon. La valeur 1
correspond au plus grand élément, et la valeur 0 au plus
petit élément de vérité. Non seulement cela est cohérent
avec les positions respectives de la Nécessité et de la
Contingence, mais le choix de l’unité est également cohérent
avec son attribution dans la Grande Triade.
Note :
Rivenc aborde ensuite le sujet d’une sémantique à quatre valeurs
de vérité. Nous reviendrons sur ce point dans une prochaine partie. La présente partie est dédiée à notre formalisation de la logique tétravalente.
Nous
avons à trancher entre deux possibilités :
- soit le contradictoire du possible est le possible, et le
contradictoire de l’impossible est l’impossible (cas 1, négation
dite de De Morgan) ;
- soit le contradictoire du possible est l’impossible, et le
contradictoire de l’impossible est le possible (cas 2, négation
booléenne).
Nous
retenons le cas 2 par cohérence sémantique, mais aussi par respect
des oppositions mises en évidence par la Triade. La table de vérité
de l’opération négation notée ¬ est donc la série de définitions suivantes :
Négation des opérations unaires
Nous
pouvons vérifier par la table de vérité précédente que la formule
¬(¬(p)) = p est une tautologie , c'est-à-dire que la formule
¬(¬(p)) donne la valeur de vérité de p, pour toute valeur de vérité de p. La double négation d’une
proposition p, ou involution d'ordre 2, peut se simplifier et donne la valeur de
vérité de la proposition p. En
logique intuitionniste, cette équivalence n'est pas vérifiée.
Note :
Le signe de l’égalité signifie que les valeurs de vérité des
propositions de part et d’autre du signe = sont équivalentes dans
chaque cas considéré. Cette relation d’équivalence p = q peut s’exprimer
également comme les vérifications simultanées de l’implication
matérielle directe p → q et de l’implication matérielle
réciproque p ← q (à ne pas confondre avec l’implication
contraposée). Ces relations d'implication et d'équivalence sont développées ci-après.
La table de vérité de l'opération négation peut servir à vérifier les tautologies des opérations unaires :
- Contingence(p) = ¬(Nécessité(p))
- Possibilité(p) = ¬(Impossibilité(p))
Tables de vérité de la conjonction et de la disjonction en logique
tétravalente
La principale difficulté pour le calcul propositionnel du premier ordre en logique tétravalente est d’établir les tables de vérité des opérations logiques de conjonction extensionnelle ET, notée soit AND soit ∧, et de disjonction extensionnelle OU, notée soit OR soit ∨. Ce sont des opérations à deux opérandes.
Notre
proposition est de considérer maintenant l’opération ∧ comme donnant, par principe, l’intersection entre les valeurs de vérité des deux propositions, ou le résultat de vérité minimum. L’échelle entre les valeurs de vérité provient des
propriétés du treillis 4 et de la Triade (définie dans la partie 1) : Nécessaire est la
valeur la plus grande, Contingent la plus petite ; Contingent
est issu de Possible et d’Impossible, lesquels proviennent de
Nécessaire. La série d'axiomes est résumée par la table de vérité suivante :
Nous
considérons ensuite l’opération ∨ comme donnant, par principe, l’union entre
les valeurs de vérité, ou le résultat de vérité maximum. Avec cette opération, le résultat peut être soit p soit q, soit les deux à la fois. Comme vu ci-avant,
l’échelle entre les valeurs de vérité provient des propriétés
du treillis 4 et de la Triade : Nécessaire est la valeur la
plus grande, Contingent la plus petite ; Possible et Impossible
sont issus de Nécessaire. La série d'axiomes est résumée par la table de vérité suivante :
À la place de ces
axiomes, il aurait été possible de définir l’opération disjonction p ∨ q
comme résultant d’une combinaison de la négation et de la conjonction, avec la
formule ¬(¬p ∧ ¬q). Cependant, ce choix
aurait aussi entraîné les relations de De Morgan en tant que définitions, et
non pas en tant que résultats. Nous préférons choisir les axiomes à partir de
considérations issues de la Triade, comme expliqué, et vérifier ensuite si les
relations de De Morgan sont vérifiées (voir ci-après).
Cette table de vérité,
avec celle de la conjonction dans le cas d’un treillis à 4
valeurs de vérité partiellement ordonné, représentent un des cas dans le
système général qui a été étudié pour la première fois par Alan Rose dans Systems of logic
whose truth-values form lattices, (December 1951). Sa proposition de
table de vérité pour l’implication et pour la négation obéit cependant à des définitions très
différentes de la nôtre. Voir aussi Nicholas Rescher (1965) pour une approche
intuitionniste, limitée aux tables de vérité de la négation et de la conjonction.
Dans le présent article nous établissons le
calcul propositionnel en logique tétravalente booléenne, en complétant l'étude à partir
de nos premières tables de vérité.
La logique tétravalente est une algèbre de Boole
Les éléments exposés jusqu'ici suffisent à démontrer que la négation de la formule "p et simultanément la négation de p" est une tautologie. En effet :
¬(p ∧ ¬p) = ¬(Contingent) = Nécessaire pour tous p.
De plus, on démontre de la même façon que la formule "p ou simultanément la négation de p" est une tautologie. En effet :
(p ∨ ¬p) = Nécessaire pour tous p.
L’utilisation de la négation booléenne implique que notre treillis 4 de De Morgan devient une
algèbre de Boole, i.e. un treillis distributif complémenté avec :
- un plus petit élément, noté soit 0 soit Contingent, aussi appelé plus basse valeur de vérité ; il est obtenu par la formule p ∧ ¬p pour tous p ;
- et un plus grand élément, noté soit 1 soit Nécessaire, aussi appelé plus haute valeur de vérité ; il est obtenu par la formule p ∨ ¬p pour tous p.
Cette dernière formule est la fonction exprimant le tiers exclu. Pour autant, nous verrons de façon plus détaillée dans un autre article de cette série le rapport sémantique entre la Nécessité et la valeur VRAI utilisée dans la logique bivalente.
Propriétés du treillis logique en logique tétravalente booléenne
Un
treillis T est un ensemble non vide muni de deux opérations ⋀ et
⋁, satisfaisant les propriétés suivantes que nous allons démontrer (a, b et c sont dans
notre cas des propositions vérifiant l’une des 4 valeurs de
vérité) :
Idempotence :
a
⋀ a = a a ⋁ a = a
Commutativité :
a
⋀ b = b ⋀ a a ⋁ b = b ⋁ a
Les 4 précédentes propriétés se démontrent à l'aide des
tables de vérité présentées ci-avant.
Associativité :
a
⋀ (b ⋀ c) = (a ⋀ b) ⋀ c ; cette formule peut ainsi se noter par convention a ⋀ b ⋀ c
a
⋁ (b ⋁ c) = (a ⋁ b) ⋁ c ; cette formule peut ainsi se noter par convention a ⋁ b ⋁ c
La première relation est démontrée par la table de vérité suivante (équivalence des colonnes 5 et 7) :
La deuxième relation est démontrée par la table de vérité suivante (équivalence des colonnes 5 et 7) :
Distributivité :
Un
treillis distributif est un treillis satisfaisant les deux lois
suivantes de distributivité (ici à gauche) qui s'impliquent
mutuellement :
a
⋀ (b ⋁ c) = (a ⋀ b) ⋁ (a ⋀ c)
a
⋁ (b ⋀ c) = (a ⋁ b) ⋀ (a ⋁ c)
On démontre la première formule dans notre cadre de tétravalence en utilisant les tables de vérité (ici par l'équivalence des colonnes 5 et 8) :
La
distributivité à droite se vérifie également en logique tétravalente booléenne, au moyen des tables de vérité.
Absorption :
Les deux formules de l'absorption sont :
a ⋀ (a ⋁ b) = a a ⋁ (a ⋀ b) = a
On peut démontrer la première formule, comme les propriétés précédentes, en utilisant les tables de vérité (ici par l'équivalence des colonnes 2 et 4) :
De plus, a ⋀ (a ⋁ b) = (a ⋀ a) ⋁ (a ⋀ b) = a ⋁ (a ⋀ b) = a , donc la deuxième formule de l'absorption est démontrée.
Ces deux formules de l'absorption servent à démontrer que la première formule de la distributivité (celle de ⋀) implique la seconde (la distribution de ⋁). En effet:
1. (a ⋁ b) ⋀ (a ⋁ c)
2. (a ⋀ (a ⋁ c)) ⋁ (b ⋀ (a ⋁ c)) (distribution de ⋀)
3. (a ⋀ (a ⋁ c)) ⋁ (b ⋀ a) ⋁ (b ⋀ c)
4. a ⋁ (b ⋀ a) ⋁ (b ⋀ c) (absorption)
5. a ⋁ (b ⋀ c) (absorption)
On a donc vérifié que a ⋁ (b ⋀ c) = (a ⋁ b) ⋀ (a ⋁ c)
On
peut aussi vérifier que les propriétés suivantes sont valables
pour le treillis 4 de notre logique tétravalente :
Eléments
neutres, bornes supérieure et inférieure :
a
⋁ Contingent = a (que l’on peut noter a + 0 = a)
a ⋁ Nécessaire = Nécessaire (que l’on peut noter a + 1 = 1)
a
⋀ Nécessaire = a (que l’on peut noter a . 1 = a)
a ⋀ Contingent = Contingent (que l’on peut noter a . 0 = 0)
Simplification :
a ⋁ (¬a ⋀ b) = a ⋁ b a ⋀ (¬a ⋁ b) = a ⋀ b
Démonstrations :
a
⋁ (¬a ⋀ b) = (a ⋁ ¬a) ⋀ (a ⋁ b) = Nécessaire ⋀ (a ⋁
b) = a ⋁ b
a
⋀ (¬a ⋁ b) = (a ⋀ ¬a) ⋁ (a ⋀ b) = Contingent ⋁ (a ⋀
b) = a ⋀ b
(a
⋀ b) ⋁ (¬a ⋀ c) ⋁ (b ⋀ c) = (a ⋀ b) ⋁ (¬a ⋀ c)
Démonstration :
1. (a ⋀ b) ⋁ (¬a ⋀ c) ⋁ (b ⋀ c)
2. (a ⋀ b) ⋁ (¬a ⋀ c) ⋁ ((a ⋁ ¬a) ⋀ (b ⋀ c))
3. (a ⋀ b) ⋁ (¬a ⋀ c) ⋁ (a ⋀ (b ⋀ c)) ⋁ (¬a ⋀ (b ⋀ c))
4. (a ⋀ b) ⋁ (a ⋀ b ⋀ c) ⋁ (¬a ⋀ c) ⋁ (¬a ⋀ b ⋀ c)
Par ailleurs,
5. (a ⋀ b) ⋁ (a ⋀ b ⋀ c) = (a ⋀ b) (absorption)
6. (¬a ⋀ c) ⋁ (¬a ⋀ b ⋀ c) = (¬a ⋀ c) (absorption)
7. donc (a ⋀ b) ⋁ (¬a ⋀ c) ⋁ (b ⋀ c) = (a ⋀ b) ⋁ (¬a ⋀ c)
Les opérations NOR et NAND et les relations de De
Morgan
Les
deux opérations AND et OR sont ensuite utilisées pour établir tout d'abord les valeurs de
vérité de la fonction
NON-OU,
notée soit NOR soit ↓, et
qui est explicitée par la formule ¬(p ∨ q) :
La
fonction NON-ET, notée soit NAND soit ↑, est quant à elle explicitée par la formule ¬(p ⋀ q) :
A
l’aide des tables de vérité des deux fonctions NAND et NOR, on vérifie de plus que les deux
relations de De Morgan sont vérifiées :
¬(p
⋀ q) = ¬p ∨ ¬q
¬(p
∨ q) = ¬p ⋀ ¬q
Les opérations XOR et XNOR
La
fonction de disjonction exclusive « OU exclusif », notée soit XOR soit ∨, est explicitée par la formule (p ∧ ¬q) ∨ (¬p
∧ q). Avec cette opération, le résultat peut être p ou q, mais pas les deux à la fois.
Son
inverse, la fonction « NON-OU exclusif », notée soit XNOR soit ∧, est
explicitée par la formule ¬(p ∨ q)
Les relations d’inférence
Ensuite,
viennent les relations d’inférence ou propositions conditionnelles :
- implication matérielle
directe qui est la relation « p infére q », « si p alors q », « p est la condition nécessaire à q », « pour q il faut que p », notée p → q , qui est
logiquement équivalente à la fonction ¬p ∨ q, par axiome ;
- la fonction
réciproque « (alors) p si q », « q est la condition suffisante à p », « p seulement si q », « pour p il suffit que q », notée p ← q , qui est par définition la relation "q infère p", c'est-à-dire q → p = ¬q ∨ p ;
- et leurs
négations respectives.
Nous remarquons que la relation d'implication ne prend la valeur Contingent que dans le cas de la formule Nécessaire → Contingent, qui est similaire en logique bivalente à la formule VRAI → FAUX laquelle est évaluée à FAUX. Nous remarquons aussi que la relation d'implication en logique tétravalente prend la valeur Nécessaire (à rapprocher de VRAI) pour toute formule où soit p est Contingent, soit q est Nécessaire. Cependant, les implications en logique tétravalente ne sont pas limitées à ces cas, ce qui offre de toutes nouvelles perspectives de démonstration.
Propriétés fondamentales des relations d’inférence
A l'aide de ces opérations nous pouvons vérifier les propriétés suivantes, que nous démontrons en logique tétravalente :
p → p
En effet cette formule est équivalente à ¬p ∨ p dont la valeur de vérité est Nécessaire pour tous p.
La formule p ↛ q de négation de l'implication est définie par ¬(p → q) = ¬(¬p ∨ q) = p ∧ ¬q.
Simplification :
De p et q, on peut inférer p. Ceci peut s'exprimer par la formule :
(p ∧ q) → p
c'est-à-dire ¬(p ∧ q) ∨ p c'est-à-dire NAND(p,q) ∨ p dont la valeur de vérité est Nécessaire pour tous p,q (cf tables de vérité).
De p et q, on peut inférer q. Ceci peut s'exprimer par la formule :
(p ∧ q) → q
c'est-à-dire ¬(p ∧ q) ∨ q c'est-à-dire NAND(p,q) ∨ q dont la valeur de vérité est Nécessaire pour tous p,q.
ou-Introduction :
De p, on peut inférer « p ou q ». Ceci peut s'exprimer par la formule :
p → (p ∨ q)
c'est-à-dire ¬p ∨ (p ∨ q) c'est-à-dire ¬p ∨ p ∨ q dont la valeur de vérité est Nécessaire pour tous p,q.
Syllogisme disjonctif (modus ponens) :
De p ou q, et de la négation de p, on peut inférer q.
En logique classique, pour la valeur VRAI, on l’exprime sous la forme : si d’une part, soit p est VRAI soit q est VRAI, et d’autre part la négation de p est VRAI, alors q est VRAI.
Ceci peut s'exprimer par la formule :
¬p ∧ (p ∨ q) → q
En effet, si on développe d’abord le terme de gauche :
1. ¬p ∧ (p ∨ q) → q
2. (¬p ∧ p) ∨ (¬p ∧ q) → q
3. ¬p ∧ q → q
4. ¬(¬p ∧ q) ∨ q
5. p ∨ ¬q ∨ q
6. p ∨ Nécessaire
7. dont la valeur de vérité est Nécessaire pour tous p,q
Affaiblissement, ou « paradoxe » de l'implication matérielle
(axiome W1 de Lukasiewicz (1930))
Si p, alors q infère p. Ceci peut s'exprimer par la formule :
1.
p → (q → p)
2. p → (¬q ∨ p)
3. ¬p ∨ ¬q ∨ p
4. Nécessaire ∨ ¬q
5. dont la valeur de vérité est Nécessaire pour tous p,q
On peut de plus présenter cet affaiblissement sous la forme de la négation : Si la négation de p, alors p infère q.
1. ¬p → (p → q)
2. ¬p → (¬p ∨ q)
3. p ∨ ¬p ∨ q
4. Nécessaire ∨ q
5. dont la valeur de vérité est Nécessaire pour tous p,q
Loi de Peirce :
Si la formule "p infère q" infère p, alors les conditions précédemment énoncées infèrent p. Cette loi peut s'exprimer par la formule :
1. ((p → q) → p) → p
2. ¬((p → q) → p) ∨ p
3. ¬(¬(p → q) ∨ p) ∨ p
4. ¬(¬(¬p ∨ q) ∨ p) ∨ p
5. ¬(( p ∧ ¬q) ∨ p) ∨ p
6. ¬(( p ∨ p) ∧ (p ∨ ¬q)) ∨ p
7. ¬( p ∨ p) ∨ ¬(p ∨ ¬q) ∨ p
8. ¬p ∨ ¬(p ∨ ¬q) ∨ p
9. Nécessaire ∨ ¬(p ∨ ¬q)
10. dont la valeur de vérité est Nécessaire pour tous p,q
Note :
Cette loi de Peirce exprimée de façon plus particulière pour devenir valable en logique pertinente, qui est fondée sur la négation de De Morgan, est elle aussi vérifiée dans le cadre de notre logique tétravalente booléenne pour tous p,q :
1.
(p → q) → (((p → q) → p) → p)
2. (¬p ∨ q) → a , en notant a la formule (((p → q) → p) → p)
3. ¬(¬p ∨ q) ∨ a
4. ¬(¬p ∨ q) ∨ Nécessaire , car la valeur de vérité de a est Nécessaire pour tous p,q (cf Loi de Peirce)
5. Nécessaire pour tous p,q
Contraction dans le cas de 2 prémisses identiques pour une inférence :
1.
(p → (p → q)) → (p → q)
2. (p → (¬p ∨ q)) → (¬p ∨ q)
3. ¬(p → (¬p ∨ q)) ∨ (¬p ∨ q)
4. ¬(¬p ∨ (¬p ∨ q)) ∨ (¬p ∨ q)
5. (p ∧ ¬(¬p ∨ q)) ∨ (¬p ∨ q)
6. (p ∧ (p ∧ ¬q)) ∨ (¬p ∨ q)
7. (p ∧ ¬q) ∨ (¬p ∨ q)
8. ¬q ∨ ¬p ∨ q
9.
Nécessaire pour tous p,q
Substitution dans l'inférence :
1.
((p → q) ⋀ (p → p)) → (p → (p → q))
2. ¬((¬p ∨ q) ⋀ (¬p ∨ p)) ∨ (¬p ∨ (¬p ∨ q))
3. (p ⋀ ¬q) ∨ ¬p ∨ q
4. ((p ∨ ¬p) ⋀ (¬q ∨ ¬p)) ∨ q
5. ¬q ∨ ¬p ∨ q
6. Nécessaire pour tous p,q
Transitivité :
Si p
infère q, alors, si q infère r alors p infère r. (axiome W2 de Lukasiewicz (1930))
1.
(p → q) → ((q → r) → (p → r))
2. (¬p ∨ q) → ((¬q ∨ r) → (¬p ∨ r))
3. ¬(¬p ∨ q) ∨ (¬(¬q ∨ r) ∨ (¬p ∨ r))
4. (p ∧ ¬q) ∨ (q ∧ ¬r) ∨ (¬p ∨ r)
5. (((p ∧ ¬q) ∨ q) ∧ ((p ∧ ¬q) ∨ ¬r)) ∨ (¬p ∨ r)
6. ((p ∨ q) ∧ (q ∨ ¬q) ∧ (p ∨ ¬r) ∧ (¬q ∨ ¬r)) ∨ (¬p ∨ r)
7. ((p ∨ q) ∧ Nécessaire ∧ (p ∨ ¬r) ∧ (¬q ∨ ¬r)) ∨ (¬p ∨ r)
8. ((p ∨ q) ∧ (¬q ∨ ¬r) ∧ (p ∨ ¬r)) ∨ (¬p ∨ r)
9. (p ∨ q ∨ ¬p ∨ r) ∧ (¬q ∨ ¬r ∨ ¬p ∨ r) ∧ (p ∨ ¬r ∨ ¬p ∨ r)
10. Nécessaire ∧ Nécessaire ∧ Nécessaire
11. dont la valeur de vérité est Nécessaire pour tous p,q
On vérifie
de plus, en comparant les relations des étapes 4 et 8 et en
réduisant ¬r à r puisque seul ¬r apparaît
après le retrait de la proposition (¬p ∨
r), l’équivalence pour tous p,q entre les propositions
(p ∧ ¬q) ∨ (q ∧ r) et
(p ∨ q) ∧ (¬q ∨ r) ∧ (r ∨ p)
Axiome W4 de Wajsberg (1931) :
1. ((p → ¬p) → p) → p
2. ¬ (¬ (¬p ∨ p) ∨ p) ∨ p
3. ¬ (¬ (Nécessaire) ∨ p) ∨ p
4. ¬ (p) ∨ p
5. Nécessaire pour tous p
L’équivalence logique
Enfin, la fonction d’équivalence logique ("p si et seulement si q"), notée soit = soit ↔, est obtenue quand l'implication directe (la première proposition infère la seconde) est vérifiée en même temps que l'implication réciproque (la seconde proposition infère la première). Elle est explicitée par la formule (p ∧ q) ∨ (¬q ∧ ¬p).
Démonstration :
1. (p ↔ q) ↔ (p → q) ∧ (p ← q)
2. (¬p ∨ q) ∧ (¬q ∨ p)
3. (¬p ∧ (¬q ∨ p)) ∨ (q ∧ (¬q ∨ p))
4. ((¬p ∧ ¬q) ∨ (¬p ∧ p)) ∨ ((q ∧ ¬q) ∨ (q ∧ p))
5. (¬p ∧ ¬q) ∨ (q ∧ p)
6. donc (p ↔ q) ↔ (p ∧ q) ∨ (¬q ∧ ¬p) pour tous p,q
La fonction de non-équivalence, notée soit ≠ soit ↮ , est explicitée par la formule ¬(p ↔ q).
A des fins d'explication et de comparaison avec la logique binaire, nous avons de plus placé dans la dernière colonne de cette table la valeur VRAI (V) si les valeurs pour p et q sont identiques, et FAUX (F) sinon. On vérifie que la valeur VRAI correspond aux cas où l'équivalence p ↔ q a la plus haute valeur de vérité dans notre logique tétravalente, c'est-à-dire Nécessaire.
Il est intéressant de voir les cas pour lesquels la valeur de vérité de l’équivalence p ↔ q n’a pas la valeur Nécessaire. On peut alors juger des multiples niveaux de fausseté (ou de vérité dégradée) que la logique tétravalente permet formellement de prendre en compte. La logique binaire classique doit être comprise comme une dégénérescence de la logique tétravalente, au sens utilisé en physique et au sens épistémologique tel que souligné par Guénon.
Propriétés fondamentales de l’équivalence logique
De la même façon que l’on a vérifié précédemment "si p alors p" (p → p), on vérifie aussi les formules pour tous p :
- p ↔ p , c'est-à-dire "p est logiquement équivalent à p" est une tautologie. En effet (p ↔ q) = (p ∧ p) ∨ (¬p ∧ ¬p) = p ∨ ¬p = Nécessaire pour tous p ;
- p ← p , c'est-à-dire "p si p" est une tautologie. En effet p ← p = ¬p ∨ p = Nécessaire pour tous p ;
- p ↔ (¬p → p) , c'est-à-dire p est logiquement équivalent à la négation de p, laquelle infère p. En effet (¬p → p) = p ∨ p = p , pour tous p ;
- ¬p ↔ (p → ¬p) , c'est-à-dire la négation de p est logiquement équivalente à "p infère sa négation". En effet (p → ¬p) = ¬p ∨ ¬p = ¬p , pour tous p ;
- ¬p ↔ ¬(¬p → p) , c'est-à-dire la négation de p est logiquement équivalente à la négation de la formule "la négation de p infère p". En effet ¬(¬p → p) = ¬(p ∨ p) = ¬p , pour tous p ;
La fonction de non-équivalence logique est logiquement équivalente à la fonction XOR pour tous p,q.
¬(p ↔ q) ↔ (p ∧ ¬q) ∨ (¬p ∧ q) c'est-à-dire XOR(p,q)
Démonstration :
1. ¬(p ↔ q)
2. ¬((p ∧ q) ∨ (¬p ∧ ¬q))
3. ¬(p ∧ q) ∧ ¬(¬p ∧ ¬q)
4. (¬p ∨ ¬q) ∧ (p ∨ q)
5. (¬p ∧ (p ∨ q)) ∨ (¬q ∧ (p ∨ q))
6. ((¬p ∧ p) ∨ (¬p ∧ q)) ∨ ((¬q ∧ p) ∨ (¬q ∧ q))
7. (Contingent ∨ (¬p ∧ q)) ∨ ((¬q ∧ p) ∨ Contingent)
8. (¬p ∧ q) ∨ (¬q ∧ p) qui est la définition de la fonction XOR pour tous p,q
La formule "p équivalent à q" est équivalente à la formule "la négation de p est équivalente à la négation de q".
(p ↔ q) ↔ (¬p ↔ ¬q)
Démonstration :
1. (¬p ↔ ¬q)
2. (¬p ∧ ¬q) ∨ (¬(¬q) ∧ ¬(¬p))
3. (¬p ∧ ¬q) ∨ (q ∧ p)
4. (p ↔ q) pour tous p,q
Axiome L5 de Lukasiewicz (1930) :
1. ((p → q) → (q → p)) → (q → p)
2. ¬(¬ (¬p ∨ q) ∨ (¬q ∨ p)) ∨ (¬q ∨ p)
3. ¬((p ∧ ¬q) ∨ (¬q ∨ p)) ∨ (¬q ∨ p)
4. (¬(p ∧ ¬q) ∧ ¬(¬q ∨ p)) ∨ (¬q ∨ p)
5. ¬p ∨ q ∨ (q ∧ ¬p) ∨ ¬q ∨ p
6. (q ∧ ¬p) ∨ Nécessaire
7. Nécessaire pour tous p,q
Les syllogismes fondamentaux
Cinq syllogismes fondamentaux jouent le rôle de propositions premières dans un système de résolution par logique déductive, dès qu’ils ont été transformés en des propositions de forme implicative. Ils sont démontrés ci-après en logique tétravalente.
a1) Si d’une part p infère q, et d’autre part p, alors q. (modus ponens)
1.
((p → q) ∧ p) → q
2. ¬((¬p ∨ q)
∧ p) ∨ q
3. ¬((¬p
∧ p) ∨ (q
∧ p)) ∨ q
4. ¬(Contingent ∨ (q
∧ p)) ∨ q
5. ¬(q
∧ p) ∨ q
6. ¬p ∨ ¬q ∨ q
7. Nécessaire pour tous p,q
a2) Ne pas confondre ce syllogisme avec l'équivalence suivante :
((p → q) → p) ↔ (p ∧ (q → p))
Démonstration :
1. ((p → q) → p)
2. ¬(¬p ∨ q) ∨ p
3. (p ∧ ¬q) ∨ p
4. p ∧ (¬q ∨ p)
5. p ∧ (q → p)
b) Si d’une part p infère q, et d’autre part la négation de q, alors la négation de p. (modus tollens)
1.
((p → q) ∧ ¬q) → ¬p
2. ¬((¬p ∨ q)
∧ ¬q) ∨ ¬p
3. ¬((¬p
∧ ¬q) ∨ (q
∧ ¬q)) ∨ ¬p
4. ¬(¬p
∧ ¬q) ∨ ¬p
5. p ∨ q ∨ ¬p
6. Nécessaire pour tous p,q
c) Si d’une part la négation de la formule "p et simultanément q", et d’autre part p, alors la négation de q.
1.
(¬(p ∧ q) ∧ p) → ¬q
2. ¬((¬p ∨ ¬q)
∧ p) ∨ ¬q
3. ¬((¬p
∧ p) ∨ (¬q
∧ p)) ∨ ¬q
4. ¬(¬q
∧ p) ∨ ¬q
5. q ∨ ¬p ∨ ¬q
6. Nécessaire pour tous p,q
d) Si d’une part la proposition p ou la proposition q, et d’autre part p, alors la négation de q.
1.
((p ∨ q) ∧ p) → ¬q
2. ¬(((p ∧ ¬q) ∨ (¬p ∧ q))
∧ p) ∨ ¬q
3. ¬(((p ∧ ¬q)
∧ p) ∨ ((¬p ∧ q) ⋀ p)) ∨ ¬q
4. ¬(p ∧ ¬q) ∨ q ∨ ¬q
5. ¬(p ∧ ¬q) ∨ Nécessaire
6. Nécessaire pour tous p,q
e) Si d’une part la proposition p ou la proposition q, et d’autre part la négation de q, alors p.
1.
((p ∨ q) ∧ ¬q) → p
2. ¬(((p ∧ ¬q) ∨ (¬p ∧ q)) ⋀ ¬q) ∨ p
3. ¬(((p ∧ ¬q) ⋀ ¬q) ∨ ((¬p ∧ q) ⋀ ¬q)) ∨ p
4. ¬((p ∧ ¬q) ∨ (¬p ∧ q ⋀ ¬q)) ∨ p
5. ¬(p ∧ ¬q) ∨ ¬p ∨ p
6. Nécessaire pour tous p,q
Autres tautologies à considérer avec les inférences
f1) La formule "p infère q" ou "p infère la négation de q" est une tautologie.
1.
(p → q) ∨
(p → ¬q)
2. (¬p ∨ q) ∨ (¬p ∨ ¬q)
3. ¬p ∨ q ∨ ¬p ∨ ¬q
4. Nécessaire pour tous p,q
f2) La formule "p infère q" ou "q infère p" est une tautologie.
1.
(p → q) ∨
(q → p)
2. (¬p ∨ q) ∨ (¬q ∨ p)
3. ¬p ∨ q ∨ ¬q ∨ p
4. Nécessaire pour tous p,q
g)
La formule "p infère q" ou la négation de q est une tautologie.
1. (p → q) ∨ ¬q
2. (¬p ∨ q) ∨ ¬q
3. Nécessaire pour tous p,q
h) La formule "p et simultanément q" infère l'équivalence des valeurs de vérité de p et de q.
1.
(p ∧ q) → (p ↔ q)
2. ¬(p ∧ q) ∨ (p ↔ q)
3. ¬(p ∧ q) ∨ ((p ∧ q) ∨ (¬q ∧ ¬p))
4. ¬(p ∧ q) ∨ (p ∧ q) ∨ (¬q ∧ ¬p)
5. Nécessaire pour tous p,q
i) La formule "négation de p et négation de q" infère l'équivalence des valeurs de vérité de p et de q.
1.
(¬p ∧ ¬q) → (p ↔ q)
2. ¬(¬p ∧ ¬q) ∨ (p ↔ q)
3. ¬(¬p ∧ ¬q) ∨ (p ∧ q) ∨ (¬q ∧ ¬p)
4. Nécessaire pour tous p,q
j) La formule "p est équivalent à q" ou "p est équivalent à la négation de q" est une tautologie.
1.
(p ↔ q) ∨ (p ↔ ¬q)
2. ((p ∧ q) ∨ (¬q ∧ ¬p)) ∨ (p ↔ ¬q)
3. ((p ∧ q) ∨ (¬q ∧ ¬p)) ∨ ((p ∧ ¬q) ∨ (q ∧ ¬p))
4. (p ∧ q) ∨ (¬q ∧ ¬p) ∨ (p ∧ ¬q) ∨ (q ∧ ¬p), que nous pouvons vérifier au moyen de la table de vérité ci-dessous. La formule j) présente effectivement la valeur de vérité Nécessaire pour tous p,q.
Autres lois du syllogisme hypothétique
k) Si p, alors la négation de p infère q.
1.
p → (¬p → q)
2. ¬p ∨ (p ∨ q)
3. ¬p ∨ p ∨ q
4. Nécessaire pour tous p,q
l) Si p, alors d'une part la négation de p infère q et d'autre part q infère p.
1.
p → ((¬p → q) ∧ (q → p))
2. ¬p ∨ ((p ∨ q) ∧ (¬q ∨ p))
3. ¬p ∨ (((p ∧ (¬q ∨ p)) ∨ (q ∧ (¬q ∨ p)))
4. ¬p ∨ (((p ∧ (¬q ∨ p)) ∨ ((q ∧ ¬q) ∨ (q ∧ p))))
5. ¬p ∨ (p ∧ (¬q ∨ p)) ∨ (q ∧ p)
6. (p ∧ (¬q ∨ p)) ∨ ((¬p ∨ q) ∧ (¬p ∨ p))
7. (p ∧ (¬q ∨ p)) ∨ (¬p ∨ q)
8. (p ∨ ¬p ∨ q) ∧ (¬q ∨ p ∨ ¬p ∨ q)
9. Nécessaire ∧ Nécessaire
10. Nécessaire pour tous p,q
m) Si d'une part p infère q et d'autre part q infère r, alors p infère r.
1.
((p → q) ∧ ( q → r)) → (p → r)
2. ¬((¬p ∨ q) ∧ (¬q ∨ r)) ∨ (¬p ∨ r)
3. ¬(¬p ∨ q) ∨ ¬(¬q ∨ r) ∨ (¬p ∨ r)
4. (p ∧ ¬q) ∨ ¬p ∨ (q ∧ ¬r) ∨ r
5. ((p ∨ ¬p) ∧ (¬q ∨ ¬p)) ∨ ((q ∨ r) ∧ (¬r ∨ r))
6. (¬q ∨ ¬p) ∨ (q ∨ r)
7. ¬p ∨ r ∨ Nécessaire
8. Nécessaire pour tous p,q
m2)
On peut démontrer la formule suivante :
-
(p → q) → ((p ∨ r) →
(q ∨ r)).
-
(¬p ∨ q)
→
(¬(p
∨ r) ∨ (q ∨ r))
-
¬(¬p ∨ q)
∨
(¬(p
∨ r) ∨ (q ∨ r))
-
(p ∧ ¬q)
∨
(¬p
∧
¬r)
∨ q ∨ r
-
((p
∨
q)∧
(¬q
∨
q))
∨
(¬p
∧
¬r)
∨ r
-
p ∨
q
∨
¬p
∨ r
-
Nécessaire,
pour tous p, q, r
m3)
On peut démontrer la formule suivante :
-
((p ∨ r) →
(q ∨ r))
→
((p
→ q) ∨ r)
-
¬(¬(p
∨ r) ∨ (q ∨ r)) ∨
((¬p
∨ q) ∨ r)
-
¬((¬p
∧ ¬r)
∨
(q ∨ r)) ∨
¬p
∨ q ∨ r
-
((p
∨ r) ∧ ¬q
∧ ¬r)
∨
¬p
∨ q ∨ r
-
(((p
∧ ¬r)
∨ (r
∧ ¬r))
∧ ¬q)
∨
¬p
∨ q ∨ r
-
(p ∧ ¬r
∧ ¬q)
∨
¬p
∨ q ∨ r
-
((p
∨
¬p)
∧ (¬r
∨
¬p)
∧ (¬q
∨
¬p))
∨ q ∨ r
-
((¬r
∨
¬p)
∧ (¬q
∨
¬p))
∨ q ∨ r
-
((¬r
∨
¬p
∨ q)
∧ (¬q
∨
¬p
∨ q))
∨ r
-
(¬r
∨
¬p
∨ q)
∨ r
-
Nécessaire,
pour
tous p, q, r
m4)
On peut démontrer la formule suivante :
-
((p →
q) ∧ (p
→
r))
→
(p → (q
∧ r))
-
¬((¬p ∨ q) ∧ (¬p
∨ r)) ∨ (¬p
∨ (q ∧
r))
-
¬(¬p ∨ q) ∨ ¬(¬p
∨ r) ∨ ¬p ∨
(q ∧
r)
-
(p ∧
¬q) ∨ (p ∧
¬r) ∨ ¬p ∨
(q ∧
r)
-
¬q ∨ ¬p
∨ (p ∧
¬r) ∨ (q ∧
r)
-
¬q ∨ ¬p
∨ ¬r ∨ (q ∧
r)
-
¬q ∨ ¬p
∨ ¬r ∨ ¬q ∨
r
-
Nécessaire,
pour
tous p, q, r
m5) On peut démontrer la formule suivante :
-
((p →
q) ∨
(p
→
r))
→
(p → (q
∨
r))
-
¬(¬p ∨ q ∨ ¬p
∨ r) ∨ ¬p ∨
q ∨
r
-
¬(¬p ∨ q ∨ r) ∨ ¬p
∨ q ∨
r
-
on pose t ↔ (¬p
∨ q ∨ r)
-
¬t
∨ t
-
Nécessaire,
pour
tous p, q, r
Règles de conversion et raisonnement par l’absurde
n) La formule "p infère q" est équivalente à la formule "la négation de q infère la négation de p", c'est-à-dire à la contraposée de l'implication.
1.
(p → q) ↔ (¬q → ¬p)
2. (¬p ∨ q) ↔ (q ∨ ¬p)
3. ((¬p ∨ q) ∧ (q ∨ ¬p)) ∨ (¬(¬p ∨ q) ∧ ¬(q ∨ ¬p))
4. ((¬p ∨ q) ∧ (q ∨ ¬p)) ∨ (¬p ∧ ¬q ∧ ¬q ∧ p)
5. ((¬p ∨ q) ∧ (q ∨ ¬p)) ∨ ¬q
6. (¬p ∨ q ∨ ¬q) ∧ (q ∨ ¬p ∨ ¬q)
7. Nécessaire ∧ Nécessaire
8. Nécessaire pour tous p,q
Cette formule n1. que nous venons de démontrer peut aussi s’écrire sous la forme :
1. (q → p) ↔ (¬p → ¬q)
2. (¬p → ¬q) ↔ (q → p)
3. En restreignant la précédente formule à l’implication directe on obtient la formule
(¬p → ¬q) → (q → p), qui est l’axiome W3 de Wajsberg (1931)
o) La formule "p infère la négation de q" est équivalente à la formule "q infère la négation de p".
1.
(p → ¬q) ↔ (q → ¬p)
2. (¬p ∨ ¬q) ↔ (¬q ∨ ¬p)
3. ((¬p ∨ ¬q) ∧ (¬q ∨ ¬p)) ∨ (¬(¬p ∨ ¬q) ∧ ¬(¬q ∨ ¬p))
4. (¬p ∨ ¬q) ∨ (p ∧ q)
5. ¬p ∨ (¬q ∨ (p ∧ q))
6. ¬p ∨ ((¬q ∨ p) ∧ (¬q ∨ q))
7. ¬p ∨ (¬q ∨ p)
8. Nécessaire ∨ ¬q
9. Nécessaire pour tous p,q
p1) La
formule
(¬p
∧ ¬q)
∨ ¬p ∨ (q ∧ ¬p)
est
équivalente à (¬p
∨ ¬q)
∧
¬p ∧ (q
∨ ¬p)
-
(¬p
∧ ¬q)
∨ ¬p ∨ (q ∧ ¬p)
-
((¬p
∧ ¬q)
∨ (q ∧ ¬p))
∨ ¬p
-
((¬p
∨ (q ∧ ¬p))
∧ (¬q
∨
(q ∧ ¬p)))
∨ ¬p
-
((¬p
∨ q)
∧ (¬p ∨ ¬p)
∧ (¬q
∨
q)
∧ (¬q
∨
¬p))
∨ ¬p
-
((¬p
∨ q)
∧ ¬p ∧ (¬q
∨
¬p))
∨ ¬p
-
((p
→ q) ∧ (q
→ ¬p)
∧ ¬p)
∨ ¬p
-
(((p
→ q) ∧ (q
→ ¬p))
∨ ¬p)
∧
(¬p
∨ ¬p)
-
((¬p
∨ q ∨ ¬p)
∧ (¬q
∨ ¬p
∨
¬p))
∧
¬p
-
(¬p
∨ ¬q)
∧
¬p ∧ (q
∨ ¬p)
-
donc
la formule 1. est équivalente à la 9.
p2) La formule : "p infère q" et simultanément "p infère la négation de q", ou p, est une tautologie.
1.
((p → q) ∧ (p → ¬q)) ∨ p
2. ((¬p ∨ q) ∧ (¬p ∨ ¬q)) ∨ p
3. (¬p ∨ q ∨ p) ∧ (¬p ∨ ¬q ∨ p)
4. Nécessaire ∧ Nécessaire
5. Nécessaire, pour tous p,q
p3) La formule "la négation de p infère q" et simultanément "q infère p" est équivalente logiquement à p.
1.
((¬p → q) ⋀ (q → p)) ↔ p
2. (¬p → q) ⋀ (q → p)
3. (p ∨ q) ⋀ (¬q ∨ p)
4. (p ⋀ (¬q ∨ p)) ∨ (q ⋀ (¬q ∨ p))
5. (p ⋀ (¬q ∨ p)) ∨ (q ⋀ p)
6. (p ⋀ ¬q) ∨ p ∨ (q ⋀ p)
7. ((p ∨ (q ⋀ p)) ⋀ (¬q ∨ (q ⋀ p))) ∨ p
8. ((p ∨ (q ⋀ p)) ⋀ (¬q ∨ p)) ∨ p
9. (p ⋀ (¬q ∨ p)) ∨ (q ⋀ p ⋀ (¬q ∨ p)) ∨ p
10. (p ⋀ (¬q ∨ p)) ∨ (q ⋀ p) ∨ p
11. (p ⋀ (¬q ∨ p)) ∨ ((q ∨ p) ⋀ p)
12. (p ⋀ (q → p)) ∨ (p ⋀ (¬q → p))
13. p ⋀ ((q → p) ∨ (¬q → p))
14. p ⋀ (¬q ∨ p ∨ q ∨ p)
15. p , pour tous p,q
p4) La formule « p est équivalent à q » et simultanément « p est équivalent à la négation de q » est une contradiction.
1. (p ↔ q) ∧ (p ↔ ¬q)
2. ((p ∧ q) ∨ (¬q ∧ ¬p)) ∧ (p ↔ ¬q)
3. ((p ∧ q) ∨ (¬q ∧ ¬p)) ∧ ((p ∧ ¬q) ∨ (q ∧ ¬p))
4. ((p ∧ q) ∨ NOR(p,q)) ∧ ((p ∧ ¬q) ∨ (q ∧ ¬p))
On vérifie par la table de vérité que la relation 4. est une contradiction :
p5)
La formule « p infère q » et simultanément « p
infère la négation de q » est équivalente logiquement à la
négation de p.
(p
→ q) ∧
(p → ¬q) ↔ ¬p
-
(p →
q) ∧ (p → ¬q)
-
(¬p ∨ q) ∧ (¬p
∨ ¬q)
-
(¬p ∧ (¬q
∨ ¬p))
∨ (q ∧ (¬q
∨ ¬p))
-
(¬p
∧ ¬q)
∨ (¬p ∧ ¬p)
∨ (q ∧ ¬q)
∨ (q ∧ ¬p)
-
(¬p
∧ ¬q)
∨ ¬p ∨ (q ∧ ¬p)
-
((¬p
∧ ¬q)
∨ (q ∧ ¬p))
∨ ¬p
-
((¬p
∨ (q ∧ ¬p))
∧ (¬q
∨
(q ∧ ¬p)))
∨ ¬p
-
((¬p
∨ q)
∧ (¬p ∨ ¬p)
∧ (¬q
∨
q)
∧ (¬q
∨
¬p))
∨ ¬p
-
((¬p
∨ q)
∧ ¬p ∧ (¬q
∨
¬p))
∨ ¬p
-
((p
→ q) ∧ (q
→ ¬p)
∧ ¬p)
∨ ¬p
-
(¬p
∧ ¬p)
∨ ¬p (par
p3)
-
¬p
, pour
tous p,q
q) Axiome
III.4 que Sioson (1964) a introduit dans le cadre de la logique
trivalente
-
(p → q) → (¬(q
∧
r)
→
¬(p
∧
r))
-
¬(¬p ∨ q) ∨ ((q
∧
r)
∨
¬(p
∧
r))
-
(p ∧
¬q) ∨ (q
∧
r)
∨
¬p
∨ ¬r
-
¬q ∨
¬p
∨ q ∨ ¬r
-
Nécessaire pour tous p, q
Expressions de l’implication en termes d’alternative et de conjonction
r) La formule p infère q est équivalente à la négation de la formule "p et simultanément négation de q".
1.
(p → q) ↔ (¬(p ∧ ¬q))
2. (¬p ∨ q) ↔ (¬p ∨ q)
3. Nécessaire pour tous p,q
s) La négation de la formule p infère q est équivalente à la formule "p et simultanément négation de q".
1.
(p ∧ ¬q) ↔ (¬(p → q))
2. (p ∧ ¬q) ↔ (¬(¬p ∨ q))
3. (p ∧ ¬q) ↔ (p ∧ ¬q)
4. Nécessaire pour tous p,q
t) La formule si p et simultanément q, alors r, est équivalente à si p, alors q infère r.
1.
((p ∧ q) → r) ↔ (p → (q → r))
2. (¬(p ∧ q) ∨ r)) ↔ (¬p ∨ (¬q ∨ r))
3. ((¬p ∨ ¬q ∨ r) ∧ (¬p ∨ ¬q ∨ r)) ∨ (¬(¬p ∨ ¬q ∨ r) ∧ ¬(¬p ∨ ¬q ∨ r))
4. (¬p ∨ ¬q ∨ r) ∨ (¬(¬p ∨ ¬q ∨ r))
5. Nécessaire pour tous p,q
u) La formule "p infère q et simultanément p infère la négation de q" est équivalente à l'opération p NOR q.
(p → q) ⋀ (p → ¬q) ↔ (p NOR q)
Démonstration :
1. (p → q) ⋀ (p → ¬q)
2. (¬p ∨ q) ⋀ (¬p ∨ ¬q)
3. (¬p ⋀ (¬p ∨ ¬q)) ∨ (q ⋀ (¬p ∨ ¬q))
4. ¬p ∨ (¬p ⋀ ¬q) ∨ (q ⋀ ¬p)
5. ¬p ∨ ((¬p ∨ (q ⋀ ¬p)) ⋀ (¬q ∨ (q ⋀ ¬p)))
6. ¬p ∨ ((¬p ∨ (q ⋀ ¬p)) ⋀ ¬q ⋀ ¬p)
7. ¬p ∨ ((q ⋀ ¬p) ⋀ ¬q ⋀ ¬p)
8. (¬p ∨ (q ⋀ ¬p)) ⋀ (¬p ∨ ¬q)
9. (¬p ∨ q) ⋀ ¬p ⋀ (¬p ∨ ¬q)
10. (¬p ∨ q) ⋀ ¬p ⋀ ¬q
11. ((¬p ⋀ ¬q) ∨ (q ⋀ ¬q)) ⋀ ¬p
12. ¬p ⋀ ¬q
13. ¬(p ∨ q)
14. p NOR q , pour tous p,q
v) La
valeur de vérité de la formule « p infère q et simultanément
la négation de p infère q » est équivalente à la valeur de
vérité de q.
((p
→ q) ⋀ (¬p → q)) ↔ q
Démonstration :
-
(p → q) ⋀ (¬p → q)
-
(¬p ∨ q) ⋀ (p ∨ q)
-
(¬p ⋀ (p ∨ q)) ∨ (q ⋀ (p ∨ q))
-
(¬p ⋀ q) ∨ (q ⋀ (p ∨ q))
-
(¬p ⋀ q) ∨ q (par
absorption)
-
q (par absorption)
-
q, pour tous p, q
w) Première transposition de l'axiome Gödel-Löb de la logique modale en logique tétravalente :
1.
Nécessité(Nécessité(p) → p) → Nécessité(p)
2. ¬(Nécessité(¬Nécessité(p) ∨ p)) ∨ Nécessité(p)
3. Contingence(Contingence(p) ∨ p) ∨ Nécessité(p)
4. Contingence(p) ∨ Nécessité(p)
5. Contingent ∨ Nécessaire
6. Nécessaire, pour tous p
x) La Possibilité et l'Impossibilité d'une proposition ne sont pas logiquement équivalentes.
Ceci revient à démontrer que la formule Possibilité(p) ↔ Impossibilité(p) est une contradiction.
1. Possibilité(p) ↔ Impossibilité(p)
2. (Possibilité(p) ∧ Impossibilité(p)) ∨ (¬Possibilité(p) ∧ ¬Impossibilité(p))
3. (Possible ∧ Impossible) ∨ (Impossible ∧ Possible)
4. Contingent, pour tous p.
y) Nous avons vu ci-avant que la valeur de vérité de la proposition p est logiquement équivalente à la formule "si la négation de p alors p".
On démontre de même l'équivalence suivante, qui n'est qu'un cas particulier de la propriété considérée :
(¬(p → q) → (p → q)) ↔ (p → q)
Démonstration :
1. ¬(p → q) → (p → q)
2. ¬(¬p ∨ q) → (¬p ∨ q)
3. ¬p ∨ q ∨ ¬p ∨ q
4. ¬p ∨ q
5. (p → q) , pour tous p,q
Tautologies reposant sur les opérations unaires
z1) Certaines tautologies sont directement le reflet de la métaphysique à l'origine de la conception de notre logique.
Il est Nécessaire que le Nécessaire implique le Possible, ou que le Nécessaire implique l'Impossible.
1. (Nécessité(p) → Possibilité(p)) ∨ (Nécessité(p) → Impossibilité(p))
2. ¬Nécessaire ∨ Possible ∨ ¬Nécessaire ∨ Impossible
3.
Possible ∨ Impossible
4. Nécessaire , pour tous p.
Remarquons que la tautologie est conservée si on utilise dans la formule soit le OU exclusif (XOR), soit le NAND.
1. (Nécessité(p) → Possibilité(p)) ∨ (Nécessité(p) → Impossibilité(p))
2. (¬Nécessaire ∨ Possible)
∨ (¬Nécessaire ∨ Impossible)
3. Possible
∨ Impossible
4. (Possible ∧ ¬Impossible) ∨ (¬Possible ∧ Impossible)
5. Possible ∨ Impossible
6. Nécessaire , pour tous p
z2) Affirmer que le Nécessaire implique le Possible, et simultanément que le Nécessaire implique l'Impossible est une contradiction.
1. (Nécessité(p) → Possibilité(p))
∧ (Nécessité(p) → Impossibilité(p))
2. (¬Nécessaire ∨ Possible) ∧ (¬Nécessaire ∨ Impossible)
3. Possible ∧ Impossible
4. Contingent , pour tous p.
z3) Il est Nécessaire que le Possible implique le Contingent, ou que l'Impossible implique le Contingent.
1. (Possibilité(p) → Contingence(p)) ∨ (Impossibilité(p) → Contingence(p))
2. (¬Possibilité(p) ∨ Contingence(p)) ∨ (¬Impossibilité(p) ∨ Contingence(p))
3. Possible ∨ Impossible
4. Nécessaire , pour tous p
z4) Affirmer que le Possible implique le Contingent, et simultanément que l'Impossible implique le Contingent, est une contradiction.
1. (Possibilité(p) → Contingence(p)) ∧ (Impossibilité(p) → Contingence(p))
2. (¬Possibilité(p) ∨ Contingence(p)) ∧ (¬Impossibilité(p) ∨ Contingence(p))
3. Impossible ∧ Possible
4. Contingent , pour tous p
z5) On remarque les tautologies suivantes : Le Contingent implique le Possible, ainsi que l'Impossible, ainsi que le Nécessaire ; le Possible (idem pour l'Impossible) implique le Nécessaire ; ceci est à rapprocher des tautologies FAUX → FAUX et FAUX → VRAI.
De plus, affirmer que le Nécessaire implique le Possible (ou l'Impossible, ou le Contingent) est une contradiction ; ceci est à rapprocher de la contradiction VRAI → FAUX.
z6) La Nécessité est équivalente à la formule "la Possibilité et l'Impossibilité".
1. (Possibilité(p) ∧ Impossibilité(p)) ↔ Nécessité(p)
2. ((Possibilité(p) ∧ Impossibilité(p)) ∧ Nécessité(p)) ∨ (¬(Possibilité(p) ∧ Impossibilité(p)) ∧ ¬Nécessité(p))
3. Contingent ∨ (Nécessaire ∧ Contingent)
4. Nécessaire , pour tous p
Syllogismes à 4 propositions
1.
(((p → q) ∧ (r → s)) ∧ (¬q ∨ ¬s)) → (¬p ∨ ¬r)
2. ¬((¬p ∨ q) ∧ (¬r ∨ s) ∧ (¬q ∨ ¬s)) ∨ ¬p ∨ ¬r
3. ¬(¬p ∨ q) ∨ ¬(¬r ∨ s) ∨ ¬(¬q ∨ ¬s) ∨ ¬p ∨ ¬r
4. (p ∧ ¬q) ∨ (r ∧ ¬s) ∨ (q ∧ s) ∨ ¬p ∨ ¬r
5. ((p ∨ ¬p) ∧ (¬q ∨ ¬p)) ∨ ((r ∨ ¬r) ∧ (¬s ∨ ¬r)) ∨ (q ∧ s)
6. ¬q ∨ ¬p ∨ ¬s ∨ ¬r ∨ (q ∧ s)
7. ¬p ∨ ¬s ∨ ¬r ∨ ((¬q ∨ q) ∧ (¬q ∨ s))
8. ¬p ∨ ¬s ∨ ¬r ∨ ¬q ∨ s
9. Nécessaire ∨ ¬p ∨ ¬r ∨ ¬q
10. Nécessaire, pour tous p,q,r,s
ab) Dilemme constructif
1.
(((p → q) ∧ (r → s)) ∧ (p ∨ r)) → (q ∨ s)
2. ¬((¬p ∨ q) ∧ (¬r ∨ s) ∧ (p ∨ r)) ∨ q ∨ s
3. ¬(¬p ∨ q) ∨ ¬(¬r ∨ s) ∨ ¬(p ∨ r) ∨ q ∨ s
4. (p ∧ ¬q) ∨ (r ∧ ¬s) ∨ (¬p ∧ ¬r) ∨ q ∨ s
5. ((p ∨ q) ∧ (¬q ∨ q)) ∨ ((r ∨ s) ∧ (¬s ∨ s)) ∨ (¬p ∧ ¬r)
6. q ∨ p ∨ s ∨ r ∨ (¬p ∧ ¬r)
7. q ∨ s ∨ r ∨ ((¬p ∨ p) ∧ (¬r ∨ p))
8. q ∨ s ∨ r ∨ ¬r ∨ p
9. Nécessaire ∨ q ∨ s ∨ p
10. Nécessaire, pour tous p,q,r,s
Perspectives
Tout d’abord nous avons montré que toutes les formules connues en logique bivalente booléenne restent valables dans notre logique tétravalente. Tous les résultats mathématiques et scientifiques produits à partir de la logique bivalente booléenne conservent ainsi leur valeur. Cependant, la logique bivalente booléenne ne forme qu’un sous-ensemble de ce qu’il est possible de formaliser par la logique tétravalente booléenne.
Sur le plan de la recherche en logique de la démontrabilité, le
théorème de Löb et l'axiome de Gödel-Löb pourraient être reformulés à partir de la logique tétravalente, au lieu d'utiliser la logique modale classique.
Zbigniew Stachniak a montré en 1989 que toute logique définie par une collection K finie de matrices généralisées finies, et augmentée d’un algorithme qui détermine effectivement les valeurs admissibles des valeurs de vérité, était décidable. Cet ensemble K est appelé une sémantique calculatoire (computational semantics). Notre logique tétravalente booléenne est dans ce cas.
Les applications de la logique tétravalente seront très nombreuses. Son développement dans l’écosystème scientifique pourra s’inspirer de celui existant pour la logique modale classique. En informatique théorique on pourra ainsi appliquer la
transformation de Tseytin aux formules issues de la logique tétravalente. Le principe est de décrire dans un schéma un circuit logique de traitement, où les portes représentent les fonctions logiques AND, NOR, NOT etc que nous avons formalisées en logique tétravalente. La transformation de Tseytin permet ensuite de générer des formules
CNF, qui sont nécessaires à la résolution du problème de satisfiabilité booléen (appelé
SAT en théorie de la complexité qui vise à résoudre les problèmes dits NP-complets), ici par l’approche
CNF-SAT. On utilise à cet effet un logiciel
solveur SAT. Le recours aux logiques à valeurs multiples pour la résolution du problème de satisfiabilité booléen a débuté dans les années 1990. En 2005, Ansotegui et Manyà ont montré que ce recours s’accompagnait de nets accroissements de performances du solveur SAT.
On pourra de même appliquer la logique tétravalente aux problèmes de décision dits de « satisfiabilité modulo des théories » (
SMT).
En logique modale classique, on utilise divers langages informatiques de programmation (comme Molog, Modal Prolog, Modal Logic Programming...) pour simuler le fonctionnement de ces logiques particulières sur un ordinateur standard. On pourra adapter facilement ces langages pour simuler un fonctionnement en logique tétravalente.
Les portes logiques des schémas évoqués ci-avant pourront dans une autre étape être matérialisées sous une nouvelle forme, celle de circuits électroniques imprimés ou intégrés.
Références
• Alan Rose, Systems of logic
whose truth-values form lattices, Mathematische Annalen, (December
1951) Volume 123, Issue 1, 152–165 ; en français : Sur les définitions de l’implication et de la négation dans certains
systèmes de logique dont les valeurs forment des treillis, Comptes rendus
hebdomadaires des séances de l’Académie des Sciences, 246 (1958) 2091–2094.
• Michaël
Dunn, Relevance logic and
entailment, in D. Gabbay
& F. Guenthner (eds), Handbook of Philosophical Logic, 1ère éd., vol. 3,
Dordrecht, P. C. Reidel, (1986)
• G.G. Granger, Sciences et réalité, Ed. Odile Jacob (2001)
• Zbigniew Stachniak, Many-valued Computational Logics, Journal of Philosophical Logic, 18 : 257-274 (1989)
• François Rivenc, Introduction à la logique pertinente,
P.U.F. (2005)
• R. Hähnle. Advanced many-valued
logic. in D. Gabbay, F. Guenthner, (Eds), Handbook of Philosophical Logic,
volume 2. Kluwer, second edition (2001)
• C. Ansotegui, F. Manyà, Mapping
Many-Valued CNF Formulas to Boolean CNF Formulas, Proceedings of the 35th
International Symposium on Multiple-Valued Logics – ISMVL’05 (2005)
• Grzegorz Malinowski, Many-Valued
Logic, in A Companion to Philosophical Logic, Chap. 34, Ed. Dale Jacquette, Blackwell
Publishing Ltd (2006)
• George
Epstein, Multiple-Valued
Logic Design: an Introduction (29 sept. 2017)
Annexe sur la négation de De Morgan
Nous avons écarté en préalable le cas numéro 1 du treillis de De Morgan à quatre éléments. En effet, l'utilisation de la complémentation de De Morgan implique de sérieuses limitations au calcul formel propositionnel du premier ordre en logique tétravalente.
Voici pourquoi. Cette annexe exemplifie les propos de François Rivenc,
Introduction à la logique pertinente, Pp. 65-67.
La table de vérité de l’opération complémentation de De Morgan (DDM) notée ¬° est maintenant la série de définitions suivantes :
f¬°
|
complémentation DDM
|
| Nécessaire |
Contingent |
| Possible |
Possible |
| Impossible |
Impossible |
| Contingent |
Nécessaire |
Possible et Impossible sont deux points fixes par cette complémentation DDM.
Nous pouvons vérifier par la table de vérité précédente que la formule ¬°(¬°(p)) = p reste une tautologie.
Notre proposition pour la définition de l’opération ∧ comme donnant, par principe, l’intersection entre les valeurs de vérité des deux propositions, ou le résultat de vérité minimum, reste valable. Nous n'avons pas utilisé la négation pour l'élaborer. Sa table de vérité reste ainsi inchangée.
On remarque cependant que la complémentation DDM de la formule "p et simultanément la complémentation DDM de p", soit ¬°(p ∧ ¬°p), n’est plus une tautologie pour tous p.
p
|
¬°(p)
|
¬°(p ∧ ¬°p)
|
| Nécessaire |
Contingent |
Nécessaire |
| Possible |
Possible |
Impossible |
| Impossible |
Impossible |
Possible |
| Contingent |
Nécessaire |
Nécessaire |
De même, notre proposition pour la définition de l’opération ∨ reste valable. Nous n'avons pas utilisé la négation pour l'élaborer. Sa table de vérité reste ainsi inchangée.
On remarque cependant que la formule "p ou simultanément la complémentation DDM de p", soit (p ∨ ¬°p), n’est plus une tautologie pour tous p.
p
|
¬°(p)
|
(p ∨
¬°p)
|
| Nécessaire |
Contingent |
Nécessaire |
| Possible |
Possible |
Possible |
| Impossible |
Impossible |
Impossible |
| Contingent |
Nécessaire |
Nécessaire |
L’utilisation de la complémentation de De Morgan implique que le treillis 4 devient un treillis complémenté avec :
- un plus petit élément noté soit 0 soit Contingent, aussi appelée plus basse valeur de vérité ;
- un plus grand élément noté soit 1 soit Nécessaire, aussi appelée plus haute valeur de vérité ;
- et deux points fixes.
Les propriétés de ce treillis logique distributif sont :
- Idempotence
- Commutativité
- Associativité
- Distributivité
- Absorption
- Eléments neutres, bornes supérieure et inférieure
Les démonstrations sont les mêmes que ci-avant, puisqu’elles ne dépendent que des tables de vérité pour les relations ∧ et ∨ -lesquelles sont restées invariantes- et puisqu’elles n’utilisent pas la négation.
D’autres propriétés fondamentales du treillis ne sont plus respectées dans le cadre du recours à la complémentation DDM car leurs démonstrations utilisent les formules (a ⋁ ¬°a) ou ¬°(a ⋀ ¬°a) qui ne sont plus des tautologies pour tous p,q.
Les propriétés du treillis qui ne sont plus respectées dans le cadre du recours à la complémentation DDM sont les suivantes :
- les formules de simplification ne sont plus valides
- le théorème du consensus n’est plus valide
Il est aisé de définir ensuite les opérations NAND°, NOR°, XNOR°, →°, ↔°, etc... toutes utilisant la complémentation DDM. On montre avec les tables de vérité des deux premières opérations que les deux relations de De Morgan sont toujours valides, pour tous p,q :
¬°(p ⋀ q) = ¬°p ∨ ¬°q
Cependant, la plupart des propriétés que nous avions démontrées dans le cadre de la logique tétravalente booléenne, en particulier celles autour des notions d'implication et d'équivalence, ne sont plus des tautologies avec l'utilisation de la complémentation DDM. En effet toutes leurs démonstrations utilisent les formules (a ⋁ ¬°a) ou ¬°(a ⋀ ¬°a) qui ne sont plus des tautologies pour tous p,q. Plus de syllogisme disjonctif, plus d'affaiblissement, plus de règles d'inférences, plus de règles de conversion et de raisonnement par l’absurde... les logiciens ont alors introduit une condition d’intention supplémentaire ( a ≠ –a ) pour définir la négation de De Morgan dans les treillis intentionnels.
______________________
[dernière mise à jour de cet article : 18/11/2018]
