Interface Quantifier<T>

All Superinterfaces:
Proposition<T>
public interface Quantifier<T> extends Proposition<T>
Represents a quantifier in predicate logic.

Examples: Universal (∀), Existential (∃).

Since:
1.0
Author:
Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

  • Method Summary

    Modifier and Type
    Method
    Description
    Proposition<T>
    getBody()
    Returns the formula (body) bound by the quantifier.
    String
    getType()
    Returns the type of quantifier.
    Term
    getVariable()
    Returns the variable being quantified.

    Methods inherited from interface Proposition

    evaluate

  • Method Details

    • getVariable

      Term getVariable()
      Returns the variable being quantified.
      Returns:
      the variable term

    • getBody

      Proposition<T> getBody()
      Returns the formula (body) bound by the quantifier.
      Returns:
      the body proposition

    • getType

      String getType()
      Returns the type of quantifier.
      Returns:
      "FORALL" or "EXISTS"