Incorrect Answer.
Incorrect Answer.
1 p  q  r |
premise | |||
| 2 p q |
e 1 |
-elimination cannot be applied,
since the formula p q r is an implication
and the rule -elimination requires a
conjunction as its argument. This proof does not
type check!