Package org.tweetyproject.logics.fol.syntax
package org.tweetyproject.logics.fol.syntax

ClassDescriptionThis class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.The classical conjunction of firstorder logic.A contradictory formula.The classical disjunction of firstorder logic.This class models an equality predicate, meaning a predicate of arity 2 that maps to the identity relation.The equivalence of firstorder logic.The exclusive disjunction (XOR) in firstorder logic.Existsquantified firstorder logic formula.An atom in firstorder logic, i.e.This class models a firstorder knowledge base, i.e.The common abstract class for formulas of firstorder logic.This class captures the signature of a specific firstorder language.ForAllquantified firstorder logic formula.The implication of firstorder logic.This class models an inequality predicate, meaning a predicate of arity 2 that maps to the complement of the identity relation.This abstract class captures the common functionalities of both formulas and terms.The classical negation of firstorder logic.This class captures the common functionalities of the special formulas tautology and contradiction.A tautological formula.