|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use Atom | |
---|---|
argutia.logic | |
argutia.logic.syntax.node |
Uses of Atom in argutia.logic |
---|
Classes in argutia.logic that implement Atom | |
---|---|
class |
PropositionalVariable
En logique propositionnelle, une variable propositionnelle représente une proposition, c'est-à-dire une entité ayant pour valeurs possibles vrai ou faux. |
class |
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. |
Uses of Atom in argutia.logic.syntax.node |
---|
Fields in argutia.logic.syntax.node with type parameters of type Atom | |
---|---|
List<Atom> |
CNFNode.Couple.negatifs
|
List<Atom> |
CNFNode.Couple.positifs
|
Constructor parameters in argutia.logic.syntax.node with type arguments of type Atom | |
---|---|
CNFNode.Couple(List<Atom> positifs,
List<Atom> negatifs)
|
|
CNFNode.Couple(List<Atom> positifs,
List<Atom> negatifs)
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||