Results 1 to 5 of 5

Math Help - Tautology, truth table

  1. #1
    Newbie
    Joined
    Feb 2009
    Posts
    20

    Tautology, truth table

    Alright so I have to make a truth table of the following to prove its a Tautology, meaning the whole value of the table is true. I have an issue of sometimes thinking things are correct when I am really messing up on the table somewhere. Let me show you what the problem is, and my solution. If someone could double check this for me that would be very awesome. Forgive me if my coding isnt right... please let me know.
    -> = implies but I think u all know this lol.

    (~q ^ (p -> q )) -> ~p

    Code:
    p  q   p->q   ~q      ~q ^ (p->q)   ~p     
    
    T  T    T      F           F        F             T 
    T  F    F      T           F        F             T    
    F  T    T      F           F        T             T     
    F  F    T      T           T        T             T
    Last edited by premierplayer; February 23rd 2009 at 09:54 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,607
    Thanks
    1574
    Awards
    1
    The table is correct. You may want to all a bit to the headings.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Feb 2009
    Posts
    20
    Quote Originally Posted by Plato View Post
    The table is correct. You may want to all a bit to the headings.
    yeah I just got sick of typing out. I have it all written out but the table itself did look good to me. I just wanted to double check. Thanks!
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Banned
    Joined
    Feb 2009
    Posts
    18
    Quote Originally Posted by premierplayer View Post
    Alright so I have to make a truth table of the following to prove its a Tautology, meaning the whole value of the table is true. I have an issue of sometimes thinking things are correct when I am really messing up on the table somewhere. Let me show you what the problem is, and my solution. If someone could double check this for me that would be very awesome. Forgive me if my coding isnt right... please let me know.
    -> = implies but I think u all know this lol.

    (~q ^ (p -> q )) -> ~p

    Code:
    p  q   p->q   ~q      ~q ^ (p->q)   ~p     
     
    T  T    T      F           F        F             T 
    T  F    F      T           F        F             T    
    F  T    T      F           F        T             T     
    F  F    T      T           T        T             T
    Premierplayer.some times you do not have to write the whole truth table to show that the proposition is a tautology as the following proof of the above shows:

    Assume that : (~q^(p---->q))---->~p is false,then according to the definition of the conditional statement,

    (~q^(p--->q)) must be true and ~p false ,or p true.

    But if (~q^(p---->q)) is true ,then according now to the definition of conjunctive statement , ~q must be true and also (p--->q) must be true

    If however ~q is true ,then q is false.

    So far we have proved p true and q false,thus P---->q ,false.A CONTRADICTION .Hence the above statement is a tautology
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Feb 2009
    Posts
    20
    yeah I was asked to do a truth table for this one. I know that you can use proofs as well. Thank you for your help.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. If p then Q truth table
    Posted in the Geometry Forum
    Replies: 3
    Last Post: October 7th 2011, 06:02 PM
  2. Prove a tautology without truth tables.
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: September 7th 2010, 06:37 AM
  3. Please help with truth table?
    Posted in the Geometry Forum
    Replies: 2
    Last Post: May 26th 2010, 09:16 AM
  4. Truth table
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 17th 2009, 05:27 PM
  5. Truth Table
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 5th 2009, 10:24 AM

Search Tags


/mathhelpforum @mathhelpforum