- #1
Ackbach
Gold Member
MHB
- 4,155
- 93
Here is this week's POTW:
-----
Construct a formal proof of the following propositional statement: $(P\to (Q\to R)) \leftrightarrow ((P\land Q)\to R)$. Here $\to$ means "implies", $\leftrightarrow$ means "if and only if", and $\land$ means "and". Make sure to mention what deductive system you are using (Copi's 19 Rules, Natural Deduction, etc.).
-----
Remember to read the http://www.mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to http://www.mathhelpboards.com/forms.php?do=form&fid=2!
-----
Construct a formal proof of the following propositional statement: $(P\to (Q\to R)) \leftrightarrow ((P\land Q)\to R)$. Here $\to$ means "implies", $\leftrightarrow$ means "if and only if", and $\land$ means "and". Make sure to mention what deductive system you are using (Copi's 19 Rules, Natural Deduction, etc.).
-----
Remember to read the http://www.mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to http://www.mathhelpboards.com/forms.php?do=form&fid=2!