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 |
EXISTSQUANTIFIER() |
static java.lang.String |
FORALLQUANTIFIER() |
static java.lang.String |
PARENTHESES_LEFT() |
static java.lang.String |
PARENTHESES_RIGHT() |
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 TAUTOLOGY()
public static java.lang.String CONTRADICTION()
public static java.lang.String PARENTHESES_LEFT()
public static java.lang.String PARENTHESES_RIGHT()