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

Logic questions

  1. Aug 1, 2008 #1
    Can anybody help me with the following arguments:

    1) If 2+2=5 then 2+3=6 but,2+2=/=5 hence 2+3=/=6

    2) If 2+2=4 then 2+3=6 but, 2+2=4 hence 2+3=6

    3) if 2+2=5 then 2+3=6 but 2+3=/=6 hence 2+2=/=5

    4) if 2+2=4 then 2+3=6 but, 2+3=/=6 hence 2+2=/=4

    Which of the above are valid and which are not.

    An explanation will help a lot.

  2. jcsd
  3. Aug 1, 2008 #2
    1) Incorrect
    2) Correct
    3) Correct
    4) Correct

    You can do these by truth tables (without using Natural deduction) let say you have A and B as two predicates then,

    A B A=>B

    T T T
    T F F
    F T T
    F F T

    Now try ~A and ~B and you should end up with ~B=>~A iff A=>B. In English if you make a statement saying if it rains then it is wet, then if it is dry, it has not rained.

    Hope this helps
  4. Aug 1, 2008 #3


    User Avatar
    Science Advisor
    Homework Helper

    Did you learn about truth tables? Can you write down the truth table for A => B and see how that helps you (dis)prove them?

    By the way, this is a good exercise. It points out an important mistake made by many people, who start to learn writing down proofs.
  5. Aug 1, 2008 #4
    What people do before the truth tables or what other formalistic commodities where discovered????? Where in the dark?? MUST ilearn now whatever you call it logic to evaluate those arguments??? I KNOW that an argument is valid when the premises of the argument supports the truthfulness of the result,therefor No1 argument is valid
  6. Aug 1, 2008 #5
    I am sorry to say that truth tables and natural deduction sounds Chinese to me.
    Isnt there another way to evaluate those arguments???
  7. Aug 1, 2008 #6
    No one argument basically says that if it has rained then it is wet, and then it observes that it has not rained. Now you cant say that it is not wet, because rain is not the only thing that causes things to get wet. For truth tables go on http://en.wikipedia.org/wiki/Truth_table . Make sure you look at the examples, they are pretty simple. Some tips,
    If A then B is the same as saying A=>B (that is A implies B)
    and iff is if and only if which says A=>B and B=>A.

    No1 is definitely false, no doubt about it. If you don't understand why, think about it. Rather I should say its not a tautology (which means its not always true).
  8. Aug 1, 2008 #7
    Surely if it rains is going to get wet .Those things are interrelated,but the sentences in my examples are not.To oppose your argument i can produce the following argument.
    If i am reach i can buy Kennedy Airport,but since i am not reach i cannot buy the said airport
  9. Aug 1, 2008 #8


    User Avatar
    Science Advisor
    Homework Helper

    That's logically false :)
    You could get a bank to loan you money and still buy it.
    It would be different if you said:
    "If and only if (i.e. precisely if, i.e. either both, or neither) I am rich, I can buy Kennedy airport."
    Then from "I am not rich" you can draw the conclusion that you can't buy it. But it follows from the "only if" part, not the "If" part.
  10. Aug 1, 2008 #9
    Mention The Bank I Will Pay Them A Visit Tomorrow
  11. Aug 1, 2008 #10
    And again you did not answerer my question what people did before all those logical commodities were discovered
  12. Aug 1, 2008 #11
    I am sorry to say i do not understand
  13. Aug 1, 2008 #12
    Implication that is A=>B (If A then B) is true if A is false, regardless of if B is false or not. So if you are not rich then the statement is true regardless if you can buy the airport. The statement would be false if you are rich but you cannot buy the airport.

    If you say, I am rich if and only if I can buy the airport, then if you are not rich, you cannot buy the airport.
  14. Aug 1, 2008 #13

    .[/QUOTE]If you say, I am rich if and only if I can buy the airport, then if you are not rich, you cannot buy the airport.[/QUOTE]

    I am sorry i DID NOT say that
  15. Aug 1, 2008 #14
    That is what i said
  16. Aug 1, 2008 #15
    It is only true if you say "if and only if" not just "if".
  17. Aug 1, 2008 #16


    User Avatar
    Science Advisor

    Would you also agree then that

    "If I am rich I can buy a cup of coffee but I am not rich so I cannot buy a cup of coffee"?
  18. Aug 1, 2008 #17
    Hallsofivy, i agree...it's all relative!
  19. Aug 2, 2008 #18
    A cup of coffee is not the Kennedy Airport
  20. Aug 2, 2008 #19
    I am sorry for the mistake in spelling. it is "rich" instead of "reach"
  21. Aug 2, 2008 #20


    User Avatar
    Science Advisor

    And your point is what? I was under the impression we were talking about airports. Are you now saying that we were only talking about airports?

    The discussion at the point where you wrote "If I am rich I can buy the Kennedy Airport" implied "if I am not rich I cannot buy the Kennedy Airport" while everyone had been telling you that "if A then B" does NOT imply "if not A then not B". My point was that your example is not general.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook