Class EqualityRule

java.lang.Object

org.episteme.core.mathematics.logic.proof.EqualityRule

All Implemented Interfaces:

InferenceRule

public class EqualityRule
extends Object
implements InferenceRule

A simple inference rule for equality substitution. If a = b and P(a), then P(b).

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Constructor Summary

Constructors

Constructor	Description
EqualityRule()

Method Summary

Modifier and Type	Method	Description
boolean	isValid(List<Formula> premises, Formula conclusion)	Checks if the conclusion can be validly inferred from the premises using this rule.

Methods inherited from class Object

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

Constructor Details

EqualityRule

public EqualityRule()

Method Details

isValid

public boolean isValid(List<Formula> premises,
 Formula conclusion)

Description copied from interface: InferenceRule

Checks if the conclusion can be validly inferred from the premises using this rule.

Specified by:

isValid in interface InferenceRule

Parameters:

premises - the list of premise formulas

conclusion - the asserted conclusion

Returns:

true if the inference is valid