public class LogicalSymbols extends Object
| Constructor and Description |
|---|
LogicalSymbols() |
| Modifier and Type | Method and Description |
|---|---|
static String |
CLASSICAL_NEGATION() |
static String |
CONJUNCTION() |
static String |
CONTRADICTION() |
static String |
DISJUNCTION() |
static String |
EXISTSQUANTIFIER() |
static String |
FORALLQUANTIFIER() |
static String |
PARENTHESES_LEFT() |
static String |
PARENTHESES_RIGHT() |
static void |
setClassicalNegationSymbol(String sym) |
static void |
setContradictionSymbol(String sym) |
static String |
TAUTOLOGY() |
public static void setClassicalNegationSymbol(String sym)
public static void setContradictionSymbol(String sym)
public static String CLASSICAL_NEGATION()
public static String DISJUNCTION()
public static String CONJUNCTION()
public static String FORALLQUANTIFIER()
public static String EXISTSQUANTIFIER()
public static String TAUTOLOGY()
public static String CONTRADICTION()
public static String PARENTHESES_LEFT()
public static String PARENTHESES_RIGHT()
Copyright © 2018. All rights reserved.