Interface InferenceRule

All Known Implementing Classes:
EqualityRule, HypotheticalSyllogism, ModusPonens, ModusTollens
public interface InferenceRule
Interface for inference rules in formal logic.
Since:
1.0
Author:
Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    isValid(List<Formula> premises, Formula conclusion)
    Checks if the conclusion can be validly inferred from the premises using this rule.

  • Method Details

    • isValid

      boolean isValid(List<Formula> premises, Formula conclusion)
      Checks if the conclusion can be validly inferred from the premises using this rule.
      Parameters:
      premises - the list of premise formulas
      conclusion - the asserted conclusion
      Returns:
      true if the inference is valid