Carlos F.
asked 10/10/20Quantified Logic Translation
Using the given the symbolization key, translate the following sentences.
UD: | people |
Bx: | x is a baker. |
Jx: | x is a judge. |
Px: | x can make pâte à choux. |
Ux: | x lives under the sea. |
Sxy: | x is suspicious of y. |
m: | Mel |
n: | Nadiya |
p: | Paul |
- Some people are suspicious of everyone.
- Mel is suspicious of everyone who is suspicious of her.
- If a person is suspicious of themself, then everyone is suspicious of them.
More
1 Expert Answer
1) There exists x in UD such that for very y in UD Sxy
2) For any x in UD, if SxM then SMx
3) For any x in UD, if Sxx then Syx for all y in UD
4) If there exists y in UD such that Syz for all z in UD
then there is t in UD such that Sty
Carlos F.
would 3 look somewhat like this: Ax(Sxx->AySyx) or could you tell me where im going wrong here
Report
10/10/20
Still looking for help? Get the right answer, fast.
Ask a question for free
Get a free answer to a quick problem.
Most questions answered within 4 hours.
OR
Find an Online Tutor Now
Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.
Carlos F.
There is someone who is suspicious of anyone who is suspicious of everyone. (forgot that one, but you don't have to answer it)10/10/20