Is this proof correct? (natural deduction) – math.stackexchange.com

I'm working through The Science of Programming by David Gries. This question is #18 in section 3.3. Prove $((P \land \lnot Q) \to Q) \to (P \to Q)$ Using the natural deduction system here is my ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Google Facebook Twitter More

• Digg
• Linkedin
• Stumbleupon
• Delicious
• Tumblr
• BufferApp
• Pocket
• Evernote

Unknown