Quantified Logic Translation
Using the given the symbolization key, translate the following sentences.
|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.|
- 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.