Uses of Class
argutia.logic.TruthSymbol

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.
 
Argutia JavaDoc
23 décembre 2007