Class Summary |
Clause |
Une clause est une disjonction de littéraux. |
Formula |
L'ensemble des formules (ou formules bien formées) de la logique propositionnelle
est le plus petit ensemble de mots construits sur l'alphabet tel que :
si A est une formule atomique, alors A est une formule,
si A est une formule, alors ¬A est une formule,
et si A et B sont des formules,
alors A ∨ B , A ∧ B , A ⇒ B
et A ⇔ B sont des formules. |
LogicalConnector |
Un connecteur logique est une fonction de vérité représentée par une table qui donne
la valeur de vérité d'une formule logique à partir des valeurs de vérité des
formules atomiques qui la composent. |
NegativeLiteral |
|
PropositionalVariable |
En logique propositionnelle, une variable propositionnelle représente une proposition,
c'est-à-dire une entité ayant pour valeurs possibles vrai ou faux. |
TruthSymbol |
Un symbole de vérité est soit la tautologie,
soit la contradiction,
formules atomiques respectivement interprétées à vrai et faux dans tous les cas. |