argutia.logic
Class TruthSymbol
java.lang.Object
argutia.logic.syntax.SyntacticUnit
argutia.logic.syntax.ConfigurableSyntacticUnit
argutia.logic.TruthSymbol
- All Implemented Interfaces:
- AffichableAvecStyle, Atom, Literal
@Immutable
public class TruthSymbol
- extends ConfigurableSyntacticUnit
- implements Atom
Un symbole de vérité est soit la tautologie,
soit la contradiction,
formules atomiques respectivement interprétées à vrai et faux dans tous les cas.
- Author:
- Geoffroy AUBRY
- Test Case:
TruthSymbolTest
Constructor Summary |
private |
TruthSymbol(String resourceBundleKey)
Construit un symbole de vérité. |
RB_TRUTH_SYMBOLS_TAUTOLOGY
@ResourceBundle.Prefix(value="argutia.argutia")
public static final String RB_TRUTH_SYMBOLS_TAUTOLOGY
- See Also:
TAUTOLOGY
,
Constant Field Values- Constant Field Value:
"truth_symbols.tautology"
RB_TRUTH_SYMBOLS_CONTRADICTION
@ResourceBundle.Prefix(value="argutia.argutia")
public static final String RB_TRUTH_SYMBOLS_CONTRADICTION
- See Also:
CONTRADICTION
,
Constant Field Values- Constant Field Value:
"truth_symbols.contradiction"
TAUTOLOGY
public static final TruthSymbol TAUTOLOGY
- La tautologie, notée usuellement ⊤,
est une formule atomique vraie dans tous les cas.
CONTRADICTION
public static final TruthSymbol CONTRADICTION
- La contradiction, notée usuellement ⊥,
est une formule atomique fausse dans tous les cas.
TruthSymbol
private TruthSymbol(String resourceBundleKey)
- Construit un symbole de vérité.
- See Also:
ConfigurableSyntacticUnit.ConfigurableSyntacticUnit(String)
- Implementation Notes:
- Se contente d'appeler le constructeur parent :
ConfigurableSyntacticUnit.ConfigurableSyntacticUnit(String)
.
- Parameters:
resourceBundleKey
- clef permettant de retrouver les propriétés
d'un MyResourceBundle
concernées par le symbole de vérité (dénomination, orthographe, ...).
getOppose
public TruthSymbol getOppose()
- Retourne la contradiction si c'est
la tautologie et inversement.
- Specified by:
getOppose
in interface Literal
- Test Case:
TruthSymbolTest.testGetOppose()
- Returns:
- la contradiction si c'est
la tautologie et inversement.
Argutia JavaDoc
23 décembre 2007