Attributes
- Companion
- class
- Source
- ImpRightRule.scala
- Graph
-
- Supertypes
-
trait Producttrait Mirrorclass ConvenienceConstructorclass Objecttrait Matchableclass AnyShow all
- Self type
-
ImpRightRule.type
Members list
Type members
Inherited types
The names of the product elements
The name of the type
Value members
Concrete methods
Convenience constructor for →:r. Each of the aux formulas can be given as an index or a formula. If it is given as a formula, the constructor will attempt to find an appropriate index on its own.
Convenience constructor for →:r. Each of the aux formulas can be given as an index or a formula. If it is given as a formula, the constructor will attempt to find an appropriate index on its own.
Value parameters
- impConclusion
-
Index of the conclusion of the implication or the conclusion itself.
- impPremise
-
Index of the premise of the implication or the premise itself.
- subProof
-
The subproof.
Attributes
- Source
- ImpRightRule.scala
Convenience constructor for →:r that, given a proposed main formula A → B, will attempt to create an inference with this main formula.
Convenience constructor for →:r that, given a proposed main formula A → B, will attempt to create an inference with this main formula.
Value parameters
- mainFormula
-
The formula to be inferred. Must be of the form A → B.
- subProof
-
The subproof.
Attributes
- Source
- ImpRightRule.scala
Inherited methods
Attributes
- Inherited from:
- ConvenienceConstructor
- Source
- ConvenienceConstructor.scala
Inherited fields
Attributes
- Inherited from:
- ConvenienceConstructor
- Source
- ConvenienceConstructor.scala