Saturday

April 19, 2014

April 19, 2014

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

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:34pmHere 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

**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 ...

Phil103 Informal Logic - 1. Question : "~ P v Q" is best read as Student Answer...

Programming Logic - How do I write case logic pseudocode and visual logic nested...

logic - ic Logic Write two arguments in English, one in the form of modus ponens...

PHI103: Informal Logic - 1) In the truth table for an invalid argument, Student ...

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 ...

informal logic - Write two arguments in English, one in the form of modus poens ...