Homework Help: Introduction to logic

Posted by Tim on Friday, February 27, 2009 at 10:25pm.

I need help on Quantifier logic problems?
Using the symbolization key given, symbolize each sentence in QL.

Universal Discourse: animals
Dx: x is a puppy
Hx: x is lost
Tx: is a Terrier
Fxy: x can run faster than y
r: Tim

1.No puppy can run faster than Tim.
2. No animal is faster than itself
3. Some puppies are Terriers and some are not.
4. There is a puppy who is not a Terrier but is faster than any Terrier
5. For every puppy, there is some animal that is faster.

Here is my attempt:I'm uncertain about question 1 and 4 and I need more clarification on those.
1. ~∀x(Dx --> Frx)
2. ~∃xFxx
3. ∃x[(Dx & Tx) & (Dx & ~Tx)]
4. ∃x[(Dx & ~Tx) & ∀yFxy]
5. x(Dx--> ∃yFxy)

Introduction to logic - SraJMcGin, Friday, February 27, 2009 at 11:34pm
Here is one place to begin:

http://www.google.com/search?q=Quantifier+logic+problem+tutorial&ie=utf-8&oe=utf-8&aq=t&rls=org.mozilla:en-US:official&client=firefox-a

Sra

Answer this Question

Related Questions

discrete math - Express the quantification: Existential(!)x P(x) using universal...
Logic - Are there advantages of modern symbolic logic over classical logic (...
discrete mathematics - problem has to do with three valued logic, ie the values ...
Informal Logic - Write two arguments in English,one in the form of modus poens ...
Logic and Design - I need help with pseudocode, and any help regarding forming ...
Logic and Design - What logic is used when pseudocoding compound conditions?
informal logic - Write two arguments in English, one in the form of modus poens ...
PHI 103 - 1. What is Symbolic Logic 2. Why Study Logic
Physics - What is the logic behind logic NOR gate?
College - Identify the advantages of modern symbolic logic over classical logic...

For Further Reading

First Name:
School Subject:
Answer: