5

Translate these sentences into FOL. ask if need moreinformation! thank youTranslate the following into FOL using the symbols from Table1.2 (p. 30). Note that all of...

Question

Translate these sentences into FOL. ask if need moreinformation! thank youTranslate the following into FOL using the symbols from Table1.2 (p. 30). Note that all of your translations will involvequantifiers, though this may not be obvious from the Englishsentences. (Some of your translations will also require theidentity predicate.)1. People are not pets.2. Pets are not people.3. Scruffy was not fed at either 2:00 or 2:05. [Remember, Fed isa ternary predicate.]4. Claire fed Folly at some time be

Translate these sentences into FOL. ask if need more information! thank you Translate the following into FOL using the symbols from Table 1.2 (p. 30). Note that all of your translations will involve quantifiers, though this may not be obvious from the English sentences. (Some of your translations will also require the identity predicate.) 1. People are not pets. 2. Pets are not people. 3. Scruffy was not fed at either 2:00 or 2:05. [Remember, Fed is a ternary predicate.] 4. Claire fed Folly at some time between 2:00 and 3:00. 5. Claire gave a pet to Max at 2:00. 6. Claire had only hungry pets at 2:00. 7. Of all the students, only Claire was angry at 3:00. 8. No one fed Folly at 2:00. 9. If someone fed Pris at 2:00, they were angry. 10. Whoever owned Pris at 2:00 was angry five minutes later



Answers

Translate in two ways each of these statements into logical expressions using predicates, quantifiers, and logical connectives. First, let the domain consist of the students in your class and second, let it consist of all people.
a) Everyone in your class has a cellular phone.
b) Somebody in your class has seen a foreign movie.
c) There is a person in your class who cannot swim.
d) All students in your class can solve quadratic equations.
e) Some student in your class does not want to be rich.

Hey, it's clear. So when you read here, so we're gonna translate the statements. So for part eight, we're gonna let the dummy be all people in the world in a of X means access Perfect. So no one means that there does not exist a person. So we're going to the accidental quantification. And we said before that he of X means excess perfect. So he put you next for part B, we have We're gonna let the domain be all people in the world and a of X means access Perfect. So not everyone means no all people sober than he's a universal quantification and the not sign for any of X for part C we're gonna let the domain be all people in the world A of X means access, perfect And be of axe means X is your friend. So all means that we're gonna be using the universal quantification. And if X is your friend, that X has to be perfect. Which is that it then said, um, symbol. So we're gonna use the universal quantification X We have x 50 of X then a of X for party. We're gonna let the domain be all the people in the world a vaccine specs is perfect And be of X means X is your friend. So at least one means that there exists a person. This means that we're gonna use the existential quantification and the person X has to be your friend and has to be perfect. So we're gonna use excess and still want X existential quantification a Becks and be a sex for part e We're gonna let the domain be all the people in the world you have X means excess perfect And be of X means X is your friend. So everyone means that we're gonna use a universal quantification And the peat the people X has to be your friend and has to be perfect The ring is the universal pontification x me of x and be of X part F We're gonna let the domain be all the people in the world they have X means excess perfect and B if X means X is your friend. So not everyone means that we're gonna use the universal quantification, but we're gonna negate that. So someone means that there exists a person which means that we're gonna use the existential quantification. So not universal. Be, uh, ex or existential, not a FX

Hey, it's Claire. So when you read here, so we're gonna translate these statements into logical expressions in two ways. So for part, a assess, someone in your class can speak Hindi. So if we translate it, we used the existential quantification x p of x, where we could write it. Us You have X and a FX. We're gonna let p of x b x speaks Hindi and AM xB X is in your class moving on to part B. We have everyone in your class is friendly We're gonna let Q of X b excess friendly and a of x b X is in your class. We're going to use the universal quantification. So one way to wrote it can be this another way is using FX and that if then Q For part c, we're gonna let r of X B excess born in California and in a of xB X is in your class. They're gonna use existential quantification. So that's and we're gonna ease, not sign. We have X not or a sex for a party. We have a student in your class house, your student in your class husband In a movie, there's let s of X B ex husband in a movie and a of X B access in your class. So we're gonna use the axe. Essential quantification There is a student means this an X has to be in your class and has to be in a movie. So us of acts, which means ex husband in a movie, another waiter at it. This using a M X, which is excess in your class, and SFX finally for E It says no student in your class has taken a course and logic programming. Let t of xB X has taken a course in logic programming and a of xB X is in your class, so we're gonna use the not symbol. So no student means this using the existential quantification, and we're gonna put T FX An X has to be in your class and house to have taken a course in logic programming. So not this is another way to write it. We're going to use t of X and a of X

Hey, it's Claire so enumerate here. So we're gonna translate the statements into three different ways. So for party, it says a student in your class has lived in Vietnam. So we're gonna let a F X means excess in your school and p f X means excess lived in Vietnam and p of x comma. Y means X has lived and why? So we're gonna let the first I mean be the people in your school in the second domain be all the people in the world. So three ways to write it is using the existential quantification of p of x, the axe essential quantification f x and P f x on the existential quantification Can't square so enumerate here. So we're gonna translate these statements into three different ways. So for party, it says, a student in your class has lived in Vietnam. So we're gonna let a F X means excess in your school and p of X means excess lived in Vietnam NP FX and P of X comma Vietnam. I'll just put via for sure short he of X comma y means X has lived and why? So we're gonna let the first domain be the people in your school in the second domain, be all the people in the world. So three ways to write it is using the existential quantification of P of X, the axe essential quantification f x and P f x on the existential quantification For part B, we have there is a student in your school who cannot speak. Indeed. So we're gonna let be of xB X is in your class que of x means that ex btk Lindy. Thank you. Have X comma y means x weeks. Why? So let's let the first domain be the people in your class in the second domain be all the people in the world. So we're gonna use existential quantification, not Q of X, which means that ex speaks Hindi existential quantification be of X. That means that X is in your class and not speak. That's effects and p of X comma Vietnam. I'll just put via for sure, short for part B. We have There is a student in your school who cannot speak. Indeed. So we're gonna let be of X B access in your class, que of x means that ex btk Lindy. Thank you have X comma y in the instinctual quantification P of X and not a queue of X comma didn t for Parton's X weeks. Why? So let's let the first domain be the people in your class in the second domain be all the people in the world. So we're gonna use the existential quantification, not Q of X, which means that ex speaks Hindi existential quantification be of X. That means that X is in your class and not speak. That's a C. We have a student in your school, knows Jabba Prologue and C plus plus. So we're gonna make a of ex mean exes in your school s of ex mean ex knows Java tea of X means ass nose prologue and you have X means x no c plus plus unless make s of X comma. Y mean ex knows why. So let's let the first domain be the people in your school and the second domain be all the people in the world. So one way we could write it is using the substantial quantification mass of X and he of X. You have X Henschel quantification p of X and not a queue of X comma didn t for a part. See, we have a student in your school knows Jabba Prologue and C plus plus So we're gonna make a of ex mean exes in your school s of ex mean x. Another way is a f x using the existential quantification e f x means X is in your school and SFX and t a X and you have x on another reader. It it iss using any of bucks and s of X comma knows Java tea of X means ass nose prologue and you have X means x no c plus plus unless make s of X comma. Y mean ex knows why. So let's let the first domain be the people in your school and the second domain be all the people in the world. So one way we could write it is using the substantial quantification mass of X and he of X. Then you have X Java and s of X comma pro law and s uh, X comma c++ Another way is a f x using the existential quantification e f x means X is in your school. And as of x and t a X and you have X on another reader. It it iss using E of X and s of ex common for a party we have. Everyone in your class enjoys Thai food, so we're gonna let the first domain be the people in your class and the second domain be all the people in the world. So a of X means excess in your class v of X means X enjoys Thai food and V of X comma wines. Ex enjoys Why so this is the universal quantification which is unlike the other previous examples that we did P of X, the universal quantification and java and s of X comma pro law and s uh, X comma c++ for a party. We have everyone in your class in jokes. Is this if then we have X, which means that ex enjoys Thai food, the universal quantification of a of X, then the, uh, X comma Thai food. Then we have always Thai food, so we're gonna let the first domain be the people in your class and the second domain be all the people in the world. So a f X means excess in your class V of X means X enjoys Thai food and V of X comma linings. Ex enjoys. Why? So this is the universal quantification which is unlike the other previous examples that we did p of x, the universal quantification. You have a key, which means that someone in your class does not play hockey. So the day of X B exits in your class w of X means x plays hockey and w of x comma y means x, please. Why? So we're gonna let the first timing be the people in your class and the second domain be all the people in the world. So I'm gonna use the existential quantification, not w of x e m x, and not dumb. You have X Is this if then we have X, which means that ex enjoys Thai food, the universal quantification of a of X then the, uh X comma Thai food. Then we have E, which means that someone in your class does not play hockey. Finally, we have that substantial quantification am ex, not end, not W of X comma hockey

He has clear. So when you read here, so we have when the express deals using quantum fires and formed the negation of the statement and, um expressed in negation and simple English. So for a MIA, some old dogs can learn new tricks. Bring it on. Let's let the Domaine de Dogs and P F X means X can learn any trips tricks so eased existential quantification effects. And the negation is by Did Morgan's Law of Corn Effect qualifiers? So in the gate? Yep. Ex. This is equivalent to the universe soul quantification of negating your bets. And this means that all dogs cannot learn new tricks for Part B. We have no rabbit knows calculus, so we're gonna let the domain be Rabbits and cue effects means X knows calculus. So no rabbit, um, no stock lists can be re written as all rabbits do not, so we can rewrite the given statements as the universal kind of, um, quantification of the negation of Quebec's. And we used to Morgan's law for quantify Kat qualifiers and a double negation law. Q X is equivalent to intimidation of Q tracks since double negation laws, and this means that there is a rabbit that knows calculus for part C. It says every bird can fly. Sort of. The domain is birds and r of X means acts can fly. So we're gonna use the universal quantification of our ex. And the negation is the Morgans Love Corner, um, qualifiers using the universe. So what we got from part, eh is equivalent to existential quantification. That's the negation of our effects, nor are affects. So this means that there is a bird that cannot fly for a party. We have, um there is no dog back and talk so good. A meanness, dogs and SFX means sex can talk. So we're going to rewrite the given statement. Um, we're gonna rewrite the given statement, and we do this. We have the existential of SLX, and we're going to use the double negation law. And this means that there is a dog that can talk. Finally, for part E, we have There is no one in the class and those French and Russian so don't mean as people in the class t of X means X knows French, and you have X means X knows Russians. So we're gonna use nor the ex essential quantification of TV. I'll extend you have X, which is French and Russian, respectively. And the negation is the double negation law. You of X is equivalent to that substantial quantification of tea FX and P of X, and this means that there is someone in the class who knows French and Russian.


Similar Solved Questions

5 answers
When a three dimensional vector is used in the study of atmospheric sciences, what is 2?
When a three dimensional vector is used in the study of atmospheric sciences, what is 2?...
5 answers
Questlon05p2(9.4)How many gramsof oxygen can be produced from 4.80 grams of potassiumchlorate by the following reaction? 2KCIO3ls} 2KCls) 302417.20 EL8B0.81681258
Questlon 05p2 (9.4)How many gramsof oxygen can be produced from 4.80 grams of potassiumchlorate by the following reaction? 2KCIO3ls} 2KCls) 30241 7.20 E L8B 0.8168 1258...
5 answers
4kInn - In4+7 - 1_ (2k = 1) (2k + 1) k=1
4k Inn - In4+7 - 1_ (2k = 1) (2k + 1) k=1...
5 answers
Compute the following for the function defined below: Simplify your answers_ f(x) 2x2 = Sx + 7(a) fla-2)(b) f(xth)(c) f(x+h) f(x)
Compute the following for the function defined below: Simplify your answers_ f(x) 2x2 = Sx + 7 (a) fla-2) (b) f(xth) (c) f(x+h) f(x)...
1 answers
Classify each series as absolutely convergent, conditionally convergent, or divergent. $$\sum_{k=1}^{\infty} \sin \frac{k \pi}{2}$$
Classify each series as absolutely convergent, conditionally convergent, or divergent. $$\sum_{k=1}^{\infty} \sin \frac{k \pi}{2}$$...
5 answers
How many protons , neutrons, and electrons are in the following isotope of 61 cobalt
How many protons , neutrons, and electrons are in the following isotope of 61 cobalt...
4 answers
What is the probability that exactly Veicies aTITe during MoM exacty of them have Cqu pment Toatiom Suppuxe_ that the number of vehicles arriving during any day is independent the corresponding nuInber for any other day; Out J consec utive 6-ou days that the station open what is the expected nuInber rehicles that arrive with an equipment o ation_
What is the probability that exactly Veicies aTITe during MoM exacty of them have Cqu pment Toatiom Suppuxe_ that the number of vehicles arriving during any day is independent the corresponding nuInber for any other day; Out J consec utive 6-ou days that the station open what is the expected nuInbe...
3 answers
When including an interaction between two explanatory variablesin a multiple regression....a) it can only model 2 variables at a time.b) it is possible that only the interaction will besignificant and not the variables.c) it is required that at least one of the variablesinvolved be left in the model.
When including an interaction between two explanatory variables in a multiple regression.... a) it can only model 2 variables at a time. b) it is possible that only the interaction will be significant and not the variables. c) it is required that at least one of the variables involved be left in ...
5 answers
3. For what values of k (if any) does y = 5 + 3ekr satisfy the differential equationdy 10 _ 2y dx
3. For what values of k (if any) does y = 5 + 3ekr satisfy the differential equation dy 10 _ 2y dx...
5 answers
Provide one possible scenario about the effect of a 3bpinsertion in the middle of the promoter forthe white gene for each of the followinga) Effect on white mRNA b) Effect on white proteinc) Effect on eye colord) Effect on another gene expressione) Effect on other tissues
Provide one possible scenario about the effect of a 3bp insertion in the middle of the promoter for the white gene for each of the following a) Effect on white mRNA b) Effect on white protein c) Effect on eye color d) Effect on another gene expression e) Effect on other tissues...
5 answers
Each 12 0 hours of 1 no What Work the cherprobabilivy 1 that thus 20 H 2 getting will (usually) get at least 2 360 e-mails e-mails?
each 12 0 hours of 1 no What Work the cherprobabilivy 1 that thus 20 H 2 getting will (usually) get at least 2 360 e-mails e-mails?...
5 answers
(20) There are couple of good/helpful reasons why the body initiates fever EXPLAIN WHY/HOW fever can be beneficial/adaptive, assuming it doesnt 'get high that it harms us . points}
(20) There are couple of good/helpful reasons why the body initiates fever EXPLAIN WHY/HOW fever can be beneficial/adaptive, assuming it doesnt 'get high that it harms us . points}...
5 answers
Nome:Unif 7: GeomettyDale:Per:Homework 4: Parallel Lines Transversals This is & 2-page documentiDlrecllons: Classily each angle palr and Indicate whether thoy are congruent % supplementayy 23and 25 and 2822 and Z522 and _8Zland 2722 and Z6Dtrectlons:_Fnd each angle measure Gien: 0A5 maiCiven;n"ra| =74Ti3mm2?Im25RanFeiaAn9.Civen:b; IrzB 125"Given:m) =9"z27n3Grcn-Mfln
Nome: Unif 7: Geometty Dale: Per: Homework 4: Parallel Lines Transversals This is & 2-page documenti Dlrecllons: Classily each angle palr and Indicate whether thoy are congruent % supplementayy 23and 25 and 28 22 and Z5 22 and _8 Zland 27 22 and Z6 Dtrectlons:_Fnd each angle measure Gien: 0A5 ma...
5 answers
Question 2 (20 points You are free t0 choose the values of resistors Calculate the voltage across each resistor and the current through each resistor Show that the sum power dissipated by each resistor equa the power supplied by the source The final answers must be presented table. You can use the one provided Or make your ownK)v 10 VVoltageCuTTeniPowerVRIVRZ[RZPRZVR;IR}PRI
Question 2 (20 points You are free t0 choose the values of resistors Calculate the voltage across each resistor and the current through each resistor Show that the sum power dissipated by each resistor equa the power supplied by the source The final answers must be presented table. You can use the o...

-- 0.018142--