Class ModusPonens

java.lang.Object

org.episteme.core.mathematics.logic.proof.ModusPonens

All Implemented Interfaces:

InferenceRule

public class ModusPonens
extends Object
implements InferenceRule

Implementation of the Modus Ponens inference rule.

From P and P -> Q, infer Q.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Constructor Summary

Constructors

Constructor	Description
ModusPonens()

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

ModusPonens

public ModusPonens()

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