Introduction to logic
posted by Tim .
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
Here is one place to begin:
http://www.google.com/search?q=Quantifier+logic+problem+tutorial&ie=utf8&oe=utf8&aq=t&rls=org.mozilla:enUS:official&client=firefoxa
Sra
Respond to this Question
Similar Questions

discrete math
Express the quantification: Existential(!)x P(x) using universal quantifications, existential quantification and logical expressions. For sake of typing this question, I'm going to let "E" be the existential quantifier, "A" be the … 
Logic and Design
I need help with pseudocode, and any help regarding forming these programs in Visual Logic would be helpful as well. Question 1: You have been asked to design the logic that will display each of the following lines to a screen. John … 
Logic
Are there advantages of modern symbolic logic over classical logic (categorical syllogisms)? 
discrete mathematics
problem has to do with three valued logic, ie the values 1, 1/2, 0 interpreted as true, unknown, and false. i need to establish the connectives for the 3 valued logic, construct truth tables for the negation, conjunction, disjunction, … 
logic
ic Logic Write two arguments in English, one in the form of modus ponens and one in the form of modus tollens. Then, write the arguments in symbols using sentence letters and truthfunctional 
Programming Logic
How do I write case logic pseudocode and visual logic nested ifthenelse flow charts for atm check balances, making remote photo capture check deposits, and perform balance transfers? 
Phil103 Informal Logic
1. Question : "~ P v Q" is best read as Student Answer: Not P and Q INCORRECT It is not the case that P and it is not the case that Q CORRECT It is not the case that P or Q It is not the case that P and Q Instructor Explanation: The … 
PHI103: Informal Logic
1) In the truth table for an invalid argument, Student Answer: on at least one row, where the premises are all true, the conclusion is true. CORRECT on at least one row, where the premises are all true, the conclusion is false. on … 
PRINCIPLES OF PROGRAMMING LOGIC
HOW CAN I DRAW A FLOWCHART THAT WILL PRODUCE THE FOLLOWING OUTPUT REPORT, ITEM, PRICE, QUANTITY AND SUBTOTAL USING MAINLINE LOGIC? 
programming logic and design
need help on creating a logic for a program that accepts input values for the projected cost of a vacation and the number of months until vacation