argutia.logic
Class LogicalConnector

java.lang.Object
  extended by argutia.logic.syntax.SyntacticUnit
      extended by argutia.logic.syntax.ConfigurableSyntacticUnit
          extended by argutia.logic.LogicalConnector
All Implemented Interfaces:
AffichableAvecStyle
@Immutable
public class LogicalConnector
extends ConfigurableSyntacticUnit

Un connecteur logique est une fonction de vérité représentée par une table qui donne la valeur de vérité d'une formule logique à partir des valeurs de vérité des formules atomiques qui la composent.

Author:
Geoffroy AUBRY
Field Summary
static LogicalConnector AND
          La conjonction, notée usuellement ∧.
static LogicalConnector EQUIVALENCE
          L'équivalence, notée usuellement ⇔.
static LogicalConnector IMPLICATION
          L'implication, notée usuellement ⇒.
static LogicalConnector NOT
          La négation, notée usuellement ¬.
static LogicalConnector OR
          La disjonction, notée usuellement ∨.
 
Constructor Summary
private LogicalConnector(String resourceBundleKey)
          Construit un connecteur logique.
 
Method Summary
 
Methods inherited from class argutia.logic.syntax.ConfigurableSyntacticUnit
getResourceBundleKey, iterator, toString, toStyledString
 
Methods inherited from class argutia.logic.syntax.SyntacticUnit
equals, hashCode
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Field Detail

OR

public static final LogicalConnector OR
La disjonction, notée usuellement ∨.

Informations:
La fonction booléenne associée au connecteur ∨ est donnée par la table de vérité suivante :
xyx ∨ y
VVV
VFV
FVV
FFF

AND

public static final LogicalConnector AND
La conjonction, notée usuellement ∧.

Informations:
La fonction booléenne associée au connecteur ∧ est donnée par la table de vérité suivante :
xyx ∧ y
VVV
VFF
FVF
FFF

NOT

public static final LogicalConnector NOT
La négation, notée usuellement ¬.

Informations:
La fonction booléenne associée au connecteur ¬ est donnée par la table de vérité suivante : <
x¬x
VF
FV

IMPLICATION

public static final LogicalConnector IMPLICATION
L'implication, notée usuellement ⇒.

Informations:
La fonction booléenne associée au connecteur ⇒ est donnée par la table de vérité suivante :
xyx ⇒ y
VVV
VFF
FVV
FFV

EQUIVALENCE

public static final LogicalConnector EQUIVALENCE
L'équivalence, notée usuellement ⇔.

Informations:
La fonction booléenne associée au connecteur ⇔ est donnée par la table de vérité suivante :
xyx ⇔ y
VVV
VFF
FVF
FFV
Constructor Detail

LogicalConnector

private LogicalConnector(String resourceBundleKey)
Construit un connecteur logique.

See Also:
Representations#add(ConfigurableSyntacticUnit)
Parameters:
resourceBundleKey - clef du connecteur logique dans le ResourceBundle.
Argutia JavaDoc
23 décembre 2007