Results 1 to 6 of 6

Math Help - Basic Truth table validity - Need assistance

  1. #1
    Newbie
    Joined
    Nov 2012
    From
    England
    Posts
    3

    Basic Truth table validity - Need assistance

    Hello, I've been working on truth tables recently and have come across the phrase 'validity', For the last day or so I've been trying to figure out how to calculate the validity of truth tables and I've come up with this below. (p.s I was unsure if this is the right forum section or not, so if not I'm sorry for that.)

    if A > C & B > C, then (A or B) > C

    | A | C | A > C |.... B.......|.......... B > C ........... |.. A > C & B > C ..| .....(A or B) > C
    ---------------------------------- -------------------------- ----------------------- ------
    | T | T |.....T....| .. .T. .. |..............T...............| .............T............. .| ..............T..............
    | T | F |.....F....| .. .T. .. |..............F................| ..............F..............| ..............F...........
    | F | T |.....T....| .. .F. .. |..............T................| ..............T..............| ..............T...........
    | F | F |.....T....| .. .F. .. |..............T................| ..............T..............| ..............T..........

    I believe this to be a valid truth table, because when the premise is true, the final expression is true, and when the premise is false, so is the final expression. Can anyone confirm/deny and explain why.
    many thanks to all that reply.
    Last edited by Blind1992; November 22nd 2012 at 01:35 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,417
    Thanks
    718

    Re: Basic Truth table validity - Need assistance

    You can use the [code]...[/code] tags for alignment because they preserve spaces.

    "Valid" can be said about formulas, not truth tables.

    A truth table for a formula with 3 variables should have 8 rows.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Nov 2012
    From
    England
    Posts
    3

    Re: Basic Truth table validity - Need assistance

    Basic Truth table validity - Need assistance-untitled.png


    sorry yes I updated it, that was an error on my part.

    edit::Updated the table, had some errors
    Attached Thumbnails Attached Thumbnails Basic Truth table validity - Need assistance-untitled.png  
    Last edited by Blind1992; November 22nd 2012 at 01:53 PM. Reason: Updated the table
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,417
    Thanks
    718

    Re: Basic Truth table validity - Need assistance

    A -> C is F for A = T and C = F (4th row). The formula A > C & B > C > C requires parentheses. First, why is there "> C" in the end? Without parentheses, if & binds stronger than > and > associates to the right (which is the usual convention) A > C & B > C is parsed as A > ((C & B) > C). Check the value of (A > C) & (B > C) when A = C = F, B = T and when A = C = T and B = F.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Nov 2012
    From
    England
    Posts
    3

    Re: Basic Truth table validity - Need assistance

    Basic Truth table validity - Need assistance-untitled1.png

    Yup I just spent a while going back over it, I think I've finally got it cracked, is this now correct? thanks for your time
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,417
    Thanks
    718

    Re: Basic Truth table validity - Need assistance

    The truth table is correct. For the argument to be valid, it is not necessary to for the conclusion to be false when the premise is false; it is only necessary for the conclusion to be true when the premise is true. Here, the formulas (A > C) & (B > C) and (A or B) > C are, in fact, equivalent, so their truth values always coincide.

    I also recommend understanding why these formulas are equivalent using deduction rather than truth tables. Going left to right, we assume A > C, B > C and (A or B). If A, then we get C using A > C, and if B, we get C using B > C. You can similarly go right to left.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Truth Table
    Posted in the Algebra Forum
    Replies: 4
    Last Post: October 2nd 2012, 05:16 PM
  2. Basic Truth Table help required
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: December 10th 2010, 06:41 PM
  3. Truth Table
    Posted in the Discrete Math Forum
    Replies: 9
    Last Post: July 21st 2010, 09:59 AM
  4. Truth Table
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 5th 2009, 10:24 AM
  5. Validity Using Euler Circles and Truth Tables
    Posted in the Advanced Statistics Forum
    Replies: 2
    Last Post: July 30th 2008, 03:53 PM

Search Tags


/mathhelpforum @mathhelpforum