Uses of Class
argutia.logic.LogicalConnector

Packages that use LogicalConnector
argutia.logic   
 

Uses of LogicalConnector in argutia.logic
 

Fields in argutia.logic declared as LogicalConnector
static LogicalConnector LogicalConnector.AND
          La conjonction, notée usuellement ∧.
static LogicalConnector LogicalConnector.EQUIVALENCE
          L'équivalence, notée usuellement ⇔.
static LogicalConnector LogicalConnector.IMPLICATION
          L'implication, notée usuellement ⇒.
static LogicalConnector LogicalConnector.NOT
          La négation, notée usuellement ¬.
static LogicalConnector LogicalConnector.OR
          La disjonction, notée usuellement ∨.
 
Argutia JavaDoc
23 décembre 2007