Introduction to logic

posted by .

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)

Respond to this Question

First Name
School Subject
Your Answer

Similar Questions

  1. 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 …
  2. 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 …
  3. Logic

    Are there advantages of modern symbolic logic over classical logic (categorical syllogisms)?
  4. 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, …
  5. 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 truth-functional
  6. Programming Logic

    How do I write case logic pseudocode and visual logic nested if-then-else flow charts for atm check balances, making remote photo capture check deposits, and perform balance transfers?
  7. 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 …
  8. 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 …
  9. 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?
  10. 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

More Similar Questions