I had a question regarding tautologies. I have three different compound wff's for P and Q (P ^ Q) (P -> Q) ((P ^ (Q -> P)). For all of these, I'm supposed to construct compound wff's for all of these so that they'll be tautologies. I'm not really sure how to do that. I've tried a lot of randome statements to see if I can get them to work, but I haven't had any luck. Is there a specific strategy to doing this? Any help would be appreciated.
Jul 12th 2010, 02:18 AM
I'm not sure I understand the problem statement. Are you assuming that the three compound wff's you've been given are true? And then you have to concoct three wff's of any sort that are tautologies? Or are you supposed to alter the three that you've been given in order to make them tautologies?
Jul 13th 2010, 01:26 PM
The former, not the latter. It's ok. I figured it out, I think. Thanks for replying though.