Chop Logic Core - v1.6.0
    Preparing search index...

    Function isImplicationEliminationApplicable

    • Checks if implication elimination (modus ponens) is applicable to two given formulas.

      This function verifies that:

      • Exactly two formulas in the input array
      • One of the formulas is an implication.
      • The other formula is structurally equal to the antecedent of the implication.

      Parameters

      • formulas: PropFormula[]

        An array of propositional formulas to check.

      Returns boolean

      True if implication elimination can be applied, false otherwise.

    Settings

    Member Visibility