LogicalSymbols (Tweety (Commons Logic) 1.16 API)

java.lang.Object
- net.sf.tweety.logics.commons.LogicalSymbols

```
public class LogicalSymbols
extends Object
```
This class provides some String constants for logical symbols and allows to modify them at runtime. This functionality is currently used to switch between different constants for classical negation and contradiction.

Author:

Matthias Thimm, Sebastian Homann

Constructor Summary

Constructors
Constructor Description

LogicalSymbols()

Method Summary

Modifier and Type	Method	Description
`static String`	`CLASSICAL_NEGATION()`
`static String`	`CONJUNCTION()`
`static String`	`CONTRADICTION()`
`static String`	`DISJUNCTION()`
`static String`	`EQUALITY()`
`static String`	`EQUIVALENCE()`
`static String`	`EXISTSQUANTIFIER()`
`static String`	`FORALLQUANTIFIER()`
`static String`	`IMPLICATION()`
`static String`	`INEQUALITY()`
`static String`	`NECESSITY()`
`static String`	`PARENTHESES_LEFT()`
`static String`	`PARENTHESES_RIGHT()`
`static String`	`POSSIBILITY()`
`static void`	`setClassicalNegationSymbol(String sym)`
`static void`	`setContradictionSymbol(String sym)`
`static String`	`TAUTOLOGY()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- LogicalSymbols
```
public LogicalSymbols()
```

Method Detail

setClassicalNegationSymbol

public static void setClassicalNegationSymbol(String sym)

setContradictionSymbol

public static void setContradictionSymbol(String sym)

CLASSICAL_NEGATION

public static String CLASSICAL_NEGATION()

DISJUNCTION
```
public static String DISJUNCTION()
```

CONJUNCTION
```
public static String CONJUNCTION()
```

FORALLQUANTIFIER

public static String FORALLQUANTIFIER()

EXISTSQUANTIFIER

public static String EXISTSQUANTIFIER()

IMPLICATION
```
public static String IMPLICATION()
```

EQUIVALENCE
```
public static String EQUIVALENCE()
```

TAUTOLOGY
```
public static String TAUTOLOGY()
```

CONTRADICTION
```
public static String CONTRADICTION()
```

PARENTHESES_LEFT

public static String PARENTHESES_LEFT()

PARENTHESES_RIGHT

public static String PARENTHESES_RIGHT()

NECESSITY
```
public static String NECESSITY()
```

POSSIBILITY
```
public static String POSSIBILITY()
```

EQUALITY
```
public static String EQUALITY()
```

INEQUALITY
```
public static String INEQUALITY()
```