Class RelationalConditional

java.lang.Object
org.tweetyproject.logics.commons.syntax.RelationalFormula
org.tweetyproject.logics.rcl.syntax.RelationalConditional
All Implemented Interfaces:
Formula, Rule<FolFormula,FolFormula>, ClassicalFormula, ComplexLogicalFormula, Conjunctable, Disjunctable, Invertable, LogicStructure, ProbabilityAware, QuantifiedFormula, SimpleLogicalFormula
Direct Known Subclasses:
RelationalProbabilisticConditional

public class RelationalConditional extends RelationalFormula implements Rule<FolFormula,FolFormula>
Instances of this class represent relational conditionals.
Premise and conclusion of this conditional must confirm to a fol language without quantifiers and without functions (@see org.tweetyproject.logics.firstorderlogic.lang.FolLanguageNoQuantifiersNoFunctions)
Author:
Matthias Thimm TODO dont use relation formula cause it is a Quantified formula that not support or and etc.
  • Constructor Details

    • RelationalConditional

      public RelationalConditional(FolFormula premise, FolFormula conclusion)
      Creates a new conditional with the given premise and conclusion.
      Parameters:
      premise - a fol formula.
      conclusion - a fol formula.
    • RelationalConditional

      public RelationalConditional(FolFormula conclusion)
      Creates a new conditional with the given conclusion and a tautological premise.
      Parameters:
      conclusion - a fol formula.
  • Method Details