net.sf.tweety.logics.pl.syntax
Classes
AssociativePropositionalFormula
Conjunction
Contradiction
Disjunction
Negation
Proposition
PropositionalFormula
PropositionalPredicate
PropositionalSignature
SpecialFormula
Tautology