1. Engineering
  2. Computer Science
  3. let px be the statement x has pet a unicorn...

Question: let px be the statement x has pet a unicorn...

Question details

Let P(x) be the statement “x has pet a unicorn”, and let S(x, y) be the statement “x and y have shared a pizza”, where the domain for the variables x and y consists of all students in the class. Express the following statements in predicate logic.

(a) Alice has shared a pizza with everyone except Carol.

(b) Everyone in the class who has pet a unicorn has shared a pizza with at least one other student in the class.

(c) There are two students in the class who have not shared a pizza with anyone.

(d) There are two students in the class who between them have shared a pizza with everyone else in the class.

(e) If everyone in the class shares a pizza with someone, then no one pets a unicorn.

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution