public class LogicalSymbols
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private static java.lang.String |
classical_negation |
private static java.lang.String |
contradiction |
Constructor and Description |
---|
LogicalSymbols() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
CLASSICAL_NEGATION() |
static java.lang.String |
CONJUNCTION() |
static java.lang.String |
CONTRADICTION() |
static java.lang.String |
DISJUNCTION() |
static java.lang.String |
EQUALITY() |
static java.lang.String |
EQUIVALENCE() |
static java.lang.String |
EXISTSQUANTIFIER() |
static java.lang.String |
FORALLQUANTIFIER() |
static java.lang.String |
IMPLICATION() |
static java.lang.String |
INEQUALITY() |
static java.lang.String |
NECESSITY() |
static java.lang.String |
PARENTHESES_LEFT() |
static java.lang.String |
PARENTHESES_RIGHT() |
static java.lang.String |
POSSIBILITY() |
static void |
setClassicalNegationSymbol(java.lang.String sym) |
static void |
setContradictionSymbol(java.lang.String sym) |
static java.lang.String |
TAUTOLOGY() |
private static java.lang.String classical_negation
private static java.lang.String contradiction
public static void setClassicalNegationSymbol(java.lang.String sym)
public static void setContradictionSymbol(java.lang.String sym)
public static java.lang.String CLASSICAL_NEGATION()
public static java.lang.String DISJUNCTION()
public static java.lang.String CONJUNCTION()
public static java.lang.String FORALLQUANTIFIER()
public static java.lang.String EXISTSQUANTIFIER()
public static java.lang.String IMPLICATION()
public static java.lang.String EQUIVALENCE()
public static java.lang.String TAUTOLOGY()
public static java.lang.String CONTRADICTION()
public static java.lang.String PARENTHESES_LEFT()
public static java.lang.String PARENTHESES_RIGHT()
public static java.lang.String NECESSITY()
public static java.lang.String POSSIBILITY()
public static java.lang.String EQUALITY()
public static java.lang.String INEQUALITY()