Question

Suppose that the domain of the predicate P (x) consists of 1, 2, 3, 4, and 5. Write

out each of the following predicate logic formulas in propositional logic formulas using disjunctions, conjunctions, negations, or their combinations.

Answer 1

For example:

$P(1)\lor P(2)$

$P(3)\land P(4)$

$\neg P(5)$

$(P(1)\lor P(2))\land \neg P(5)$