org.qedeq.kernel.se.base.module
Interface ModusPonens

All Superinterfaces:

Reason

All Known Implementing Classes:

ModusPonensBo, ModusPonensVo

public interface ModusPonens
extends Reason

Usage of Modus Ponens.

  A -> B
    A
  ------
    B
 

Author:

Michael Meyling

Method Summary

ModusPonens	getModusPonens() Get this reason.
java.lang.String	getReference1() Get reference to formula.
java.lang.String	getReference2() Get reference to formula.

Methods inherited from interface org.qedeq.kernel.se.base.module.Reason

getName, getReferences

Method Detail

getModusPonens

ModusPonens getModusPonens()

Get this reason.

Returns:

This reason.

getReference1

java.lang.String getReference1()

Get reference to formula. Usually this a formula of type A -> B

Returns:

Reference to previously proved formula.

getReference2

java.lang.String getReference2()

Get reference to formula. Usually this a formula of type A

Returns:

Reference to previously proved formula.