Package com.logic.api
package com.logic.api
-
ClassDescriptionThe
IFOLFormula
interface defines a first-order logic formula.TheIFormula
interface represents a logical formula in either propositional logic or first-order logic.TheINDProof
interface represents a natural deduction (ND) proof.TheIPLFormula
interface represents a propositional logic expression.TheLogicAPI
class provides utility methods for parsing and verifying logical expressions and natural deduction proofs.