Using the key given, symbolize the following sentences in FOL. PS3.1a @x((A(x) AL(x,1)) A (A(x) AL(p,...

 

Transcribed Image Text:

Using the key given, symbolize the following sentences in FOL. PS3.1a @x((A(x) AL(x,1)) A (A(x) AL(p, x))) Submit No asteroid larger than Sila is larger than Phobos. PS3.1b The sun is smaller than none of the planets 1. Submit The sun is smaller than none of the planets larger than Mars. x is an asteroid. A(x) o the sun M(x) x is a moon. m Mars P(x) x is a planet. p Phobos O(x, y) x orbits y. d Deimos. L(x, y) x is larger than y. j Jupiter T(x) x has an atmosphere. Sila n Nunam Using the key given, symbolize the following sentences in FOL. PS3.1a @x((A(x) AL(x,1)) A (A(x) AL(p, x))) Submit No asteroid larger than Sila is larger than Phobos. PS3.1b The sun is smaller than none of the planets 1. Submit The sun is smaller than none of the planets larger than Mars. x is an asteroid. A(x) o the sun M(x) x is a moon. m Mars P(x) x is a planet. p Phobos O(x, y) x orbits y. d Deimos. L(x, y) x is larger than y. j Jupiter T(x) x has an atmosphere. Sila n Nunam

Answer rating: 100% (QA)

e If a moon orbits Jupiter it is larger than Nunam Mx x is a m... View the full answer