LogicalSymbols (Tweety (Commons Logic) 1.12 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 and Description

LogicalSymbols()

Constructors
Constructor and Description
`LogicalSymbols()`

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method and 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()
```

Class LogicalSymbols

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

LogicalSymbols

Method Detail

setClassicalNegationSymbol

setContradictionSymbol

CLASSICAL_NEGATION

DISJUNCTION

CONJUNCTION

FORALLQUANTIFIER

EXISTSQUANTIFIER

IMPLICATION

EQUIVALENCE

TAUTOLOGY

CONTRADICTION

PARENTHESES_LEFT

PARENTHESES_RIGHT

NECESSITY

POSSIBILITY

EQUALITY

INEQUALITY