# Proving if Equivalent without proof tables

• February 6th 2011, 04:38 PM
kensington
Proving if Equivalent without proof tables
Heyy i would really appriciate some hints or help for this question ( Attachment)
Attachment 20703

Do I have the right idea for this, please let me know

(PvQ) ==> R (is the same as saying) ~R ==> ~P ^ ~Q (De Morgan's Theorem)

(P==>R)^(Q==R) (is the same as saying (~R==>~P)^(~R==>~Q)

~R ==>~P ^ ~Q is the same as saying (~R==>~P)^(~R==>~Q)

Any help is much appreciated
Or would i make a proof table and say " refering to the proof table.."?

Thanks
• February 6th 2011, 04:44 PM
dwsmith
Quote:

Originally Posted by kensington
Heyy i would really appriciate some hints or help for this question ( Attachment)
Attachment 20703

Do I have the right idea for this, please let me know

(PvQ) ==> R (is the same as saying) ~R ==> ~P ^ ~Q (De Morgan's Theorem)

(P==>R)^(Q==R) (is the same as saying (~R==>~P)^(~R==>~Q)

~R ==>~P ^ ~Q is the same as saying (~R==>~P)^(~R==>~Q)

Any help is much appreciated
Or would i make a proof table and say " refering to the proof table.."?

Thanks

$P\Rightarrow Q\equiv \sim P\lor Q$

$(P\lor Q)\Rightarrow R\equiv \sim(P\lor Q)\lor R\equiv (\sim P\land\sim Q)\lor R\equiv (\sim P\lor R)\land (\sim Q\lor R)\equiv (P\Rightarrow R)\land (Q\Rightarrow R)$