Package | Description |
---|---|
net.sf.tweety.logics.pl.syntax |
Modifier and Type | Class and Description |
---|---|
class |
Conjunction
This class represents a conjunction in propositional logic.
|
class |
Disjunction
This class represents a disjunction in propositional logic.
|