Results 1 to 3 of 3

Math Help - Tautologies

  1. #1
    Newbie
    Joined
    Apr 2010
    Posts
    17

    Tautologies

    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.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    5
    Awards
    2
    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?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Apr 2010
    Posts
    17
    The former, not the latter. It's ok. I figured it out, I think. Thanks for replying though.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Proof for Tautologies uisng equations
    Posted in the Discrete Math Forum
    Replies: 13
    Last Post: October 11th 2011, 03:35 AM
  2. Replies: 8
    Last Post: July 6th 2011, 02:47 PM
  3. Tautologies
    Posted in the Algebra Forum
    Replies: 1
    Last Post: December 10th 2007, 04:38 AM

Search Tags


/mathhelpforum @mathhelpforum