Philosophy Stack Exchange is a question and answer site for those interested in the study of the fundamental nature of knowledge, reality, and existence. It only takes a minute to sign up.
Sign up to join this community
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
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.
