Index

A C G H I L P S
All Classes and Interfaces|All Packages

A

appearsFreeVariable(ASTVariable) - Method in interface com.logic.api.IFOLFormula

Determines whether the specified variable is a free variable in this formula.

C

checkNDProblem(INDProof, Set<IFormula>, IFormula) - Static method in class com.logic.api.LogicAPI

Validates a complete natural deduction (ND) proof against a set of premises and an expected conclusion.

com.logic.api - package com.logic.api

G

getAST() - Method in interface com.logic.api.IFormula

Retrieves the underlying logical expression represented by this formula.

getAST() - Method in interface com.logic.api.INDProof

Returns the abstract syntax tree (AST) representation of the natural deduction proof.

getConclusion() - Method in interface com.logic.api.INDProof

Retrieves the conclusion of this natural deduction proof.

getHypotheses() - Method in interface com.logic.api.INDProof

Returns an iterator over the hypotheses used in this proof.

getPremises() - Method in interface com.logic.api.INDProof

Returns an iterator over the premises of this proof.

getTruthTable() - Method in interface com.logic.api.IPLFormula

Generates and returns the truth table for the propositional expression.

H

hasGenerics() - Method in interface com.logic.api.IFormula

Determines whether this formula contains any generic (arbitrary) elements.

height() - Method in interface com.logic.api.INDProof

Computes the height (depth) of the proof tree.

I

IFOLFormula - Interface in com.logic.api

The IFOLFormula interface defines a first-order logic formula.

IFormula - Interface in com.logic.api

The IFormula interface represents a logical formula in either propositional logic or first-order logic.

INDProof - Interface in com.logic.api

The INDProof interface represents a natural deduction (ND) proof.

interpret(Map<ASTLiteral, Boolean>) - Method in interface com.logic.api.IPLFormula

Evaluates the propositional logic expression based on a given interpretation of the literals.

IPLFormula - Interface in com.logic.api

The IPLFormula interface represents a propositional logic expression.

isABoundedVariable(ASTVariable) - Method in interface com.logic.api.IFOLFormula

Determines whether the specified variable is a bounded variable in this formula.

isAnUnboundedVariable(ASTVariable) - Method in interface com.logic.api.IFOLFormula

Determines whether the specified variable is an unbounded variable in this formula.

isASentence() - Method in interface com.logic.api.IFOLFormula

Checks whether this first-order logic formula is a sentence.

isAVariable(ASTVariable) - Method in interface com.logic.api.IFOLFormula

Determines whether the specified variable exists in this formula (either bounded or unbounded).

isEquivalentTo(IPLFormula) - Method in interface com.logic.api.IPLFormula

Checks if this propositional expression is logically equivalent to another expression.

isFreeVariable(ASTVariable) - Method in interface com.logic.api.IFOLFormula

Checks whether a variable is free (not bounded) in the formula.

iterateBoundedVariables() - Method in interface com.logic.api.IFOLFormula

Returns an iterator over all bounded variables in this formula.

iterateFunctions() - Method in interface com.logic.api.IFOLFormula

Returns an iterator over all function symbols used in this first-order logic formula.

iterateGenerics() - Method in interface com.logic.api.IFormula

Returns an iterator over the generic (arbitrary) elements present in this formula.

iterateLiterals() - Method in interface com.logic.api.IPLFormula

Iterates through all literals in the propositional logic expression.

iteratePredicates() - Method in interface com.logic.api.IFOLFormula

Returns an iterator over all predicate symbols used in this first-order logic formula.

iterateTerms() - Method in interface com.logic.api.IFOLFormula

Returns an iterator over all terms present in this formula.

iterateUnboundedVariables() - Method in interface com.logic.api.IFOLFormula

Returns an iterator over all unbounded (free) variables in this formula.

iterateVariables() - Method in interface com.logic.api.IFOLFormula

Returns an iterator over all variables in this formula, including both bounded and unbounded variables.

L

LogicAPI - Class in com.logic.api

The LogicAPI class provides utility methods for parsing and verifying logical expressions and natural deduction proofs.

P

parseFOL(String) - Static method in class com.logic.api.LogicAPI

Parses a first-order logic (FOL) formula and checks if it is well-formed.

parseNDFOLProof(String) - Static method in class com.logic.api.LogicAPI

Parses and validates a natural deduction (ND) proof for first-order logic (FOL).

parseNDPLProof(String) - Static method in class com.logic.api.LogicAPI

Parses and validates a natural deduction (ND) proof for propositional logic (PL).

parsePL(String) - Static method in class com.logic.api.LogicAPI

Parses a propositional logic (PL) formula and checks if it is well-formed.

S

size() - Method in interface com.logic.api.INDProof

Computes the total number of steps (nodes) in the proof.

A C G H I L P S
All Classes and Interfaces|All Packages