Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Truth table Implication

  1. Jun 28, 2009 #1
    The truth table for

    [itex]A\Rightarrow B[/itex]

    Means If A then B else Not B?

    But the truth table is supposedly looking like this:

    [itex]

    \begin{array}{ccc}
    A & B & A\Rightarrow B \\
    T & T & T \\
    T & F & F \\
    F & T & T \\
    F & F & T
    \end{array}
    [/itex]

    Only problem I have is A=F and B=T? Why is this ?
     
  2. jcsd
  3. Jun 28, 2009 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Re: Implication

    I like to think of it as "innocent until proven guilty"! [itex]A\Rightarrow B[/itex] means "if A is true then B is true". It doesn't say what happens if A is false. So we can logically take it either way and we choose to say it is true.

    Suppose your professor tells you "If you get an "A" on every test, I will give you an "A" for the course" and then

    1) You get an "A" on every test and you get an "A" for the course. Was he telling the truth? Of course he was.

    2) You get an "A" on every test and you do NOT get an "A" for the course. Was he telling the truth? No, of course not.

    3) You, say, fail every test and do NOT get an "A" for the course. Was he telling the truth? Actually, you can't know since you haven't "tested" what would have happened if you had gotten an "A" on every test. But I could see no reason for accusing your professor of lying.

    4) You get an A on every test except one (on which you get a "B") and you get an "A" for the course. Was he telling the truth? Again, he didn't say what would happen if you didn't get an "A" on every test- and it would be very foolish of you to go to your professor and complain! Again, he is "innocent until proven guilty".
     
  4. Jun 29, 2009 #3
    Re: Implication

    The other one,

    [tex]
    \begin{array}{ccc}
    A & B & A ? B \\
    T & T & T \\
    T & F & F \\
    F & T & F \\
    F & F & T
    \end{array}
    [/tex]

    also has a name, it is called [tex]A \Leftrightarrow B[/tex] or "A if and only if B". This one really is "if A then B else not B"
     
  5. Jun 30, 2009 #4
    Re: Implication

    thanks
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Truth table Implication
  1. Transform tables (Replies: 3)

  2. Integral table (Replies: 2)

  3. Table problem (Replies: 1)

Loading...