Class ProbabilisticConditional

    • Constructor Detail

      • ProbabilisticConditional

        public ProbabilisticConditional​(PlFormula conclusion,
                                        Probability probability)
        Creates a new probabilistic conditional with a tautological premise and given conclusion and probability.
        Parameters:
        conclusion - the conclusion (a formula) of this conditional.
        probability - a probability.
      • ProbabilisticConditional

        public ProbabilisticConditional​(PlFormula premise,
                                        PlFormula conclusion,
                                        Probability probability)
        Creates a new probabilistic conditional with the given premise, conclusion, and probability.
        Parameters:
        premise - the premise (a formula) of this conditional.
        conclusion - the conclusion (a formula) of this conditional.
        probability - a probability.
      • ProbabilisticConditional

        public ProbabilisticConditional​(Conditional conditional,
                                        Probability probability)
        Creates a new probabilistic conditional using the given conditional and probability.
        Parameters:
        conditional - a conditional.
        probability - a probability.