|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
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 ∨. |
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||