argutia.logic
Class LogicalConnector
java.lang.Object
argutia.logic.syntax.SyntacticUnit
argutia.logic.syntax.ConfigurableSyntacticUnit
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
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 :
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 :
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 :
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 :
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 :
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