Class Formula

java.lang.Object
org.episteme.core.mathematics.logic.predicate.Formula
public class Formula extends Object
Represents a logical formula in First-Order Logic.
Since:
1.0
Author:
Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

  • Constructor Details

    • Formula

      public Formula(String expression)

  • Method Details

    • getExpression

      public String getExpression()

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • isValid

      public boolean isValid()
      Checks if the formula is syntactically valid (parentheses balance).
      Returns:
      true if valid