Can a proof for

Premise (P→Q) ... Goal (¬P∨Q)

be derived using only the following rules? Conjunction Introduction Conjunction Elimination Left Conjunction Elimination Right Disjunction Introduction Left Disjunction Introduction Right Disjunction Elimination Conditional Introduction Conditional Elimination Negation Introduction Falsum Introduction Negation Elimination Falsum Elimination


1 Answer 1


Yes.   Indeed, it may be proven by using the rules: Conditional Elimination, Left Disjunction Introduction, Right Disjunction Elimination, Falsum Introduction, Negation Introduction, and Negation Elimination; although not in that order.   Also you will need to raise and discharge some assumptions along the way, as needed.

Not the answer you're looking for? Browse other questions tagged .