Class HypotheticalSyllogism

java.lang.Object

org.episteme.core.mathematics.logic.proof.HypotheticalSyllogism

All Implemented Interfaces:

InferenceRule

public class HypotheticalSyllogism
extends Object
implements InferenceRule

Hypothetical Syllogism inference rule.

From A → B and B → C, infer A → C.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Constructor Summary

Constructors

Constructor	Description
HypotheticalSyllogism()

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

HypotheticalSyllogism

public HypotheticalSyllogism()

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