Translate English Sentence to Predicate Logic

• Report rights infringement
• published: 23 Mar 2015
• views: 12352

translate, into, predicate logic, translation, examples, english phrases, algebraic expressions, predicate calculus, english sentence, Translate English to Logical Predicates, Discrete Mathematics, GATE LECTURE cse it mca, translating english to predicate logic first order logic translation predicate logic translation examples predicate logic translation practice predicate logic in artificial intelligence predicate logic tutorial predicate logic ppt Searches related to predicate logic translation examples english to predicate logic translation predicate logic translation exercises translation practice quantificational logic and answers predicate logic examples in artificial intelligence predicate logic examples with solutions predicate logic examples ppt first order predicate logic examples predicate logic examples predicate logic examples in artificial intelligence predicate logic examples with solutions predicate logic exercises predicate logic tutorial predicate logic exercises with answers predicate logic examples ppt first order predicate logic examples predicate logic examples proofs few examples of how we translate from English into the language of predicate logic. predicate logic translation practice, translate into predicate logic, predicate logic translation examples, predicate logic examples with solutions Every student in this class has studied calculus students and parent anxious about result diamond and rubies are precious Which one of the first order predicate calculus statements given below correctly expresses the following English statement? Tigers and lions attack if they are hungry or threatened. (A) ∀x[(tiger(x) ∧ lion(x)) → {(hungry(x) ∨ threatened(x)) → attacks(x)}] (B) ∀x[(tiger(x) ∨ lion(x)) → {(hungry(x) ∨ threatened(x)) ∧ attacks(x)}] (C) ∀x[(tiger(x) ∨ lion(x)) → {attacks(x) → (hungry(x) ∨ threatened(x))}] (D) ∀x[(tiger(x) ∨ lion(x)) → {(hungry(x) ∨ threatened(x)) → attacks(x)}] 1.Express the statement "Every student in the class has studied calculus" using predicates and quantifiers. Show variables (givens). S(x )is a student in the class. C(x) is some one who has studied calculus. ∀x(S(x)→C(x)) 3.UsingP(x),Q(x),andR(x),expressthefollowingargumentwiththedomain consistingofallcreatures: "Allfrogshop." "Somefrogsdon'tfly." "Somecreaturesthathopcannotfly" ∀x(P(x)→Q(x)) ∃x(P(x)∧¬R(x)) ∃x(Q(x)∧¬R(x)) Translate each of the following English sentences into formal language — that is, using the symbols ∀, ∃, ∈, etc. Then write the negation of each statement in English, then translate the negation into formal language. In your formal language statements, you may only use the domains P = {all people} and Z = {all integers}. Be sure to define all of the predicates you invent. (a) All computer science majors take CSE12 Answer: M(x) = “x is a computer science major,” C(x) = “x takes CSE12” ∀p ∈ P M(x) → C(x) There is a computer science major who doesn’t take CSE12. ∃x ∈ P M(x)∧ ∼ C(x) (b) Some baseball players pitch well and hit well. Answer: B(x) = “x is a baseball player,” T(x) = “x pitches well,” H(x) = “x hits well” ∃x ∈ P B(x) ∧ T(x) ∧ H(x) Every baseball player does not pitch well or does not hit well. ∀x ∈ P ∼ B(x)∨ ∼ T(x)∨ ∼ H(x) (c) An integer is even if it is divisible by two. Answer: E(x) = “x is even,” D(x) = “x is divisible by two” ∀x ∈ Z D(x) → E(x) There is an integer that is divisible by two and is not even. ∃x ∈ Z D(x)∧ ∼ E(x) Let the predicate P(m, i) mean “Musician m plays instrument i,” let M = {all musicians}, and I = {all instruments}. For each of the following statements, write the meaning of the statement in English, write the negation of the statement formally using symbols, and then write the meaning of the negation in English. Note: Do not negate a logic statement just by putting a ∼ symbol in front; the ∼ may only appear immediately in front of the predicate. The same thing applies for your English sentences — you may not simply put “it is not the case” or something similar in front of the sentence. (a) ∀m ∈ M ∃i ∈ I P(m, i) Answer: All musicians play some instrument. ∃m ∈ M ∀i ∈ I ∼ P(m, i) There is a musician who does not play an instrument. (b) ∃m ∈ M ∀i ∈ I P(m, i) Every instrument is played by some musician. There is an instrument that no musician plays. (d) ∃i ∈ I ∀m ∈ M P(m, i) Answer: There is an instrument that all musicians play. Every instrument has a musician who does not play it. All musicians play all instruments. There is a musician who does not play some instrument. No musicians play any instruments. Translate each of the following into formal language using the sets and predicates given.