1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Logic, how to write this?

  1. Jul 8, 2013 #1
    1. The problem statement, all variables and given/known data
    This question may sound weird, but please bear with me.

    Let's say that you are a dog, and you think to yourself.
    "All cats have four legs, I have four legs, therefore I am a cat."
    Obciously this is wrong because even though all cats have four legs, there are more creatures that have four legs.

    But how would we write this in terms of logic? That is in terms of statements and the connectives → ,[itex]\wedge,\vee[/itex]?

    3. The attempt at a solution
    My attempt is that I define a predicte:
    F(x) = "x have four legs".
    The predicate C(x) is "x is a cat".

    Then I say that statement A is:
    [itex]\forall[/itex]x[C(x)→ F(x)]
    statement B is:
    F(I), that is "I have four legs".
    Statement D is:
    C(I) "I am a cat"

    Now how can I see technically that
    A[itex]\wedge[/itex]B → D is false?
    This last step I can't get to.
  2. jcsd
  3. Jul 8, 2013 #2


    User Avatar
    Homework Helper

    You can't see that it is false because you can't prove the theorem (or do not have the axiom) ~C(I). You have not included the knowledge that I am a dog and no dog is a cat. If you add these, you can prove ~C(I).
  4. Jul 8, 2013 #3
    Ok, is this considered formally correct?
    F(x) is "x have four legs".
    C(x) is "x is a cat"
    D(X) is "x is a dog"

    statement A:[itex]\forall[/itex]x[C(x)→ F(x)] is TRUE
    statement B: F(I), that is "I have four legs". is TRUE
    statement E: [itex]\forall[/itex]x[D(X)→[itex]\neg[/itex]C(x)] is TRUE, this is what you said.

    Now the proposition is:
    A[itex]\wedge[/itex]B[itex]\wedge[/itex]D(I) → C(I)

    Now I am a little stuck. I see that statement E says that D(I)→[itex]\neg[/itex]C(I), but what happens when we do not have D(I), but A[itex]\wedge[/itex]B[itex]\wedge[/itex]D(I)?
    I guess it may be stupid, but can we just say that if we have statements Q, P, H and
    then: Q[itex]\wedge[/itex]H →[itex]\neg[/itex]P?
  5. Jul 8, 2013 #4


    User Avatar
    Science Advisor

    Your "argument" would be
    If P then Q
    Therefore P.

    where P= "is a cat", Q= "has four legs".

    This is called "affirming the consequent".
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted