Package argutia.logic

Interface Summary
Atom Un atome, ou formule atomique, est un symbole de vérité ou une variable propositionnelle.
Literal  
 

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 AB, AB, AB et AB 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.
 

Argutia JavaDoc
23 décembre 2007