noNamespace
element MP

Documentation

The rule Modus Ponens (or for short MP) is the sole rule of inference in propositional calculus. For rule version 0.01.00.

Properties

This component is not nillable.

Model

<MP
  ref1 = xs:string
  ref2 = xs:string>

</MP>

ref1

Identifies a previous a proof line, axiom, definition or proposition. Must be of the form A -> B.

Type:

xs:string

Use:

optional

Form:

unqualified

ref2

Identifies a previous a proof line, axiom, definition or proposition. Must be same as B in ref1

Type:

xs:string

Use:

optional

Form:

unqualified

Source

<xs:element name="MP" substitutionGroup="REASONTYPE">
  <xs:complexType>
    <xs:attribute name="ref1" type="xs:string">
    </xs:attribute>
    <xs:attribute name="ref2" type="xs:string">
    </xs:attribute>
  </xs:complexType>
</xs:element>