Results 1 to 6 of 6

Math Help - Basic Truth Table help required

  1. #1
    Newbie
    Joined
    Dec 2010
    Posts
    7

    Basic Truth Table help required

    With this information:

    J ^ ( J => M ) ^ ( M => H) => M ^ H

    J: I have a job
    M: I have money
    H: I am happy

    I need to do a truth table, to show that the argument is valid. Now, I completed the truth table, however I got a mix of T's and F's, which suggests the argument is not valid - thus why i am asking on here for help.

    Basically, I would really apprechiate abit of help as to which order I should complete the colomns.

    Thanks
    Attached Thumbnails Attached Thumbnails Basic Truth Table help required-truthtable.png  
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Mar 2010
    From
    Florida
    Posts
    3,093
    Thanks
    5
    Post what you get between each operator.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Dec 2010
    Posts
    7
    Well, I can fill in the first three colomns fine (as far as I know) but from then on, im not sure which order I fill them in in.
    Attached Thumbnails Attached Thumbnails Basic Truth Table help required-truthtable.png  
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Mar 2010
    From
    Florida
    Posts
    3,093
    Thanks
    5
    If you can do the last column, you should be able to do the first column and the 3. Work from left to right too.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Super Member

    Joined
    May 2006
    From
    Lexington, MA (USA)
    Posts
    11,803
    Thanks
    692
    Hello, Desir0!

    We need more brackets in the statement.


    . . \bigg[J \wedge (J \to M ) \wedge (M \to H)\bigg] \to ( M \wedge H)

    \text{I need to do a truth table to show that the argument is valid.}
    \text{Now I completed the truth table, however, I got a mix of T's and F's,}
    \text{which suggests the argument is not valid.}

    \text{I would like help as to which order I should complete the columns.}

    . . \begin{array}{|c|c|c||c|c|c|c|c|c|c|c|c|c|c|c|c|}<br />
J&M&H & \bigg[J & \wedge & (J & \to & M) & \wedge & (M & \to & H)\bigg] & \to & (M & \wedge & H) \\ \\[-4mm] \hline\hline<br />
T&T&T & T&T&T&T&T&T&T&T&T  &T& T&T&T \\<br />
T&T&F & T&T&T&T&T&F&T&F&F &T& T& F&F \\<br />
T&F&T & T&F&T&F&F&F&F&T&T &T& F&F&T \\<br />
T&F&F & T&F&T&F&F&F&F&T&F &T& F&F&F \\<br />
F&T&T & F&F&F&T&T&F&T&T&T &T& T&T&T \\<br />
F&T&F & F&F&F&T&T&F&T&F&F &T& T&F&F \\<br />
F&F&T & F&F&F&T&F&F&F&T&T &T& F&F&T \\<br />
F&F&F & F&F&F&T&F&F&F&T&F &T& F&F&F \\ \hline\hline<br />
&&& 1 & 10 & 2 & 8 & 3 & 11 & 4 & 9 & 5 & 13 & 6 & 12 & 7 \\ \hline<br />
\end{array}


    Follow Math Help Forum on Facebook and Google+

  6. #6
    Newbie
    Joined
    Dec 2010
    Posts
    7
    Quote Originally Posted by dwsmith View Post
    If you can do the last column, you should be able to do the first column and the 3. Work from left to right too.
    Yeah, Just did that now. Got the same results i was getting before. In the final colomn i got t,f,f,t,t,f,f,t ... which is evidently not correct

    Quote Originally Posted by Soroban View Post
    Hello, Desir0!

    We need more brackets in the statement.



    . . \begin{array}{|c|c|c||c|c|c|c|c|c|c|c|c|c|c|c|c|}<br />
J&M&H & \bigg[J & \wedge & (J & \to & M) & \wedge & (M & \to & H)\bigg] & \to & (M & \wedge & H) \\ \\[-4mm] \hline\hline<br />
T&T&T & T&T&T&T&T&T&T&T&T  &T& T&T&T \\<br />
T&T&F & T&T&T&T&T&F&T&F&F &T& T& F&F \\<br />
T&F&T & T&F&T&F&F&F&F&T&T &T& F&F&T \\<br />
T&F&F & T&F&T&F&F&F&F&T&F &T& F&F&F \\<br />
F&T&T & F&F&F&T&T&F&T&T&T &T& T&T&T \\<br />
F&T&F & F&F&F&T&T&F&T&F&F &T& T&F&F \\<br />
F&F&T & F&F&F&T&F&F&F&T&T &T& F&F&T \\<br />
F&F&F & F&F&F&T&F&F&F&T&F &T& F&F&F \\ \hline\hline<br />
&&& 1 & 10 & 2 & 8 & 3 & 11 & 4 & 9 & 5 & 13 & 6 & 12 & 7 \\ \hline<br />
\end{array}


    Wow! Looks like you've knocked it on the head! Can't thank you enough
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. How would I do this truth table?
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: November 25th 2011, 02:41 AM
  2. Truth Table
    Posted in the Discrete Math Forum
    Replies: 9
    Last Post: July 21st 2010, 09:59 AM
  3. Truth table
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 20th 2010, 05:25 AM
  4. Truth table
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: November 25th 2009, 12:36 PM
  5. Truth Table
    Posted in the Math Topics Forum
    Replies: 3
    Last Post: October 21st 2008, 05:49 PM

Search Tags


/mathhelpforum @mathhelpforum