Incorrect Answer.
In order for the proof rule
e to apply to lines 1 and 2, we need that the formula in line 2, q, equals the premise of the implication in line 1, p. Evidently, this does not type check.
Back to Question.
Incorrect Answer.
e to
apply to lines 1 and 2, we need that the formula in line 2, q, equals
the premise of the implication in line 1, p. Evidently, this does not
type check.