Interface Proposition<T>

All Known Subinterfaces:
Predicate<T>, Quantifier<T>
public interface Proposition<T>
Represents a logical proposition.

A proposition is a statement that has a truth value.

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

  • Method Summary

    Modifier and Type
    Method
    Description
    TruthValue<T>
    evaluate()
    Evaluates this proposition to determine its truth value.

  • Method Details

    • evaluate

      TruthValue<T> evaluate()
      Evaluates this proposition to determine its truth value.
      Returns:
      the truth value