Package org.episteme.core.mathematics.logic.proof

package org.episteme.core.mathematics.logic.proof

Related Packages

Package	Description
org.episteme.core.mathematics.logic

Class	Description
EqualityRule	A simple inference rule for equality substitution.
HypotheticalSyllogism	Hypothetical Syllogism inference rule.
InferenceRule	Interface for inference rules in formal logic.
ModusPonens	Implementation of the Modus Ponens inference rule.
ModusTollens	Modus Tollens inference rule.
Proof	Represents a formal proof consisting of a sequence of steps.
ProofStep	Represents a single step in a formal proof.
ProofVerifier	Verifier for formal proofs.