Package org.tweetyproject.logics.fol.syntax

package org.tweetyproject.logics.fol.syntax

Classes

Class	Description
AssociativeFolFormula	This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.
Conjunction	The classical conjunction of first-order logic.
Contradiction	A contradictory formula.
Disjunction	The classical disjunction of first-order logic.
EqualityPredicate	This class models an equality predicate, meaning a predicate of arity 2 that maps to the identity relation.
Equivalence	The equivalence of first-order logic.
ExclusiveDisjunction	The exclusive disjunction (XOR) in first-order logic.
ExistsQuantifiedFormula	Exists-quantified first-order logic formula.
FolAtom	An atom in first-order logic, i.e.
FolBeliefSet	This class models a first-order knowledge base, i.e.
FolFormula	The common abstract class for formulas of first-order logic.
FolSignature	This class captures the signature of a specific first-order language.
ForallQuantifiedFormula	For-All-quantified first-order logic formula.
Implication	The implication of first-order logic.
InequalityPredicate	This class models an inequality predicate, meaning a predicate of arity 2 that maps to the complement of the identity relation.
LogicStructure	This abstract class captures the common functionalities of both formulas and terms.
Negation	The classical negation of first-order logic.
SpecialFormula	This class captures the common functionalities of the special formulas tautology and contradiction.
Tautology	A tautological formula.