Package net.sf.tweety.logics.pl.syntax

Class Summary

Class	Description
AssociativePropositionalFormula	This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
Conjunction	This class represents a conjunction in propositional logic.
Contradiction	A contradictory formula.
Disjunction	This class represents a disjunction in propositional logic.
Negation	This class models classical negation of propositional logic.
Proposition	This class represents a simple proposition in propositional logic.
PropositionalFormula	This class represents the common ancestor for propositional formulae.
PropositionalPredicate	A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero.
PropositionalSignature	This class captures the signature of a specific propositional language.
SpecialFormula	This class captures the common functionalities of the special formulas tautology and contradiction.
Tautology	A tautological formula.