Class ProofStep

java.lang.Object

org.episteme.core.mathematics.logic.proof.ProofStep

public class ProofStep
extends Object

Represents a single step in a formal proof.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Constructor Summary

Constructors

Constructor	Description
ProofStep(Formula formula, String justification)	Creates a new proof step with no premises (e.g., an axiom).
ProofStep(Formula formula, String justification, List<ProofStep> premises)	Creates a new proof step.

Method Summary

Modifier and Type	Method	Description
Formula	getFormula()
String	getJustification()
List<ProofStep>	getPremises()
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

ProofStep

public ProofStep(Formula formula,
 String justification,
 List<ProofStep> premises)

Creates a new proof step.

Parameters:

formula - the formula asserted at this step

justification - description of the justification (e.g., "Axiom", "Modus Ponens")

premises - list of previous steps used as premises for this step

ProofStep

public ProofStep(Formula formula,
 String justification)

Creates a new proof step with no premises (e.g., an axiom).

Parameters:

formula - the formula asserted

justification - description of the justification

Method Details

getFormula

public Formula getFormula()

getJustification

public String getJustification()

getPremises

public List<ProofStep> getPremises()

toString

public String toString()

Overrides:

toString in class Object