Uses of Package
argutia.logic

Packages that use argutia.logic
argutia.logic   
argutia.logic.argumentationFramework   
argutia.logic.resolution   
argutia.logic.sets   
argutia.logic.syntax.node   
 

Classes in argutia.logic used by argutia.logic
Atom
          Un atome, ou formule atomique, est un symbole de vérité ou une variable propositionnelle.
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.
Literal
           
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.
 

Classes in argutia.logic used by argutia.logic.argumentationFramework
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.
 

Classes in argutia.logic used by argutia.logic.resolution
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.
Literal
           
 

Classes in argutia.logic used by argutia.logic.sets
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.
 

Classes in argutia.logic used by argutia.logic.syntax.node
Atom
          Un atome, ou formule atomique, est un symbole de vérité ou une variable propositionnelle.
 
Argutia JavaDoc
23 décembre 2007