|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use TruthSymbol | |
---|---|
argutia.logic |
Uses of TruthSymbol in argutia.logic |
---|
Fields in argutia.logic declared as TruthSymbol | |
---|---|
static TruthSymbol |
TruthSymbol.CONTRADICTION
La contradiction, notée usuellement ⊥, est une formule atomique fausse dans tous les cas. |
static TruthSymbol |
TruthSymbol.TAUTOLOGY
La tautologie, notée usuellement ⊤, est une formule atomique vraie dans tous les cas. |
Methods in argutia.logic that return TruthSymbol | |
---|---|
TruthSymbol |
TruthSymbol.getOppose()
Retourne la contradiction si c'est la tautologie et inversement. |
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||