Package org.tweetyproject.logics.pl.syntax


package org.tweetyproject.logics.pl.syntax
  • Classes
    Class
    Description
    This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
    This class represents a conjunction in propositional logic.
    A contradictory formula.
    This class represents a disjunction in propositional logic.
    This class models equivalence of propositional logic.
    This class represents an exclusive disjunction (XOR) in propositional logic.
    This class models the implication of propositional logic.
    This class models classical negation of propositional logic.
    This class represents a knowledge base of propositional formulae.
    This class represents the common ancestor for propositional formulae.
    A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero.
    This class captures the signature of a specific propositional language.
    This class represents a simple proposition in propositional logic.
    This class captures the common functionalities of the special formulas tautology and contradiction.
    A tautological formula.