|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
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 A ∨ B , A ∧ B , A ⇒ B
et A ⇔ B 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 A ∨ B , A ∧ B , A ⇒ B
et A ⇔ B 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 A ∨ B , A ∧ B , A ⇒ B
et A ⇔ B 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 A ∨ B , A ∧ B , A ⇒ B
et A ⇔ B 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. |
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||