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

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

19:39 No Comments
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

Unknown

0 Comment to "Is this proof correct? (natural deduction) – math.stackexchange.com"

Post a Comment

Subscribe to: Post Comments (Atom)