Using the truth table for the predicate $P$ over the domain $D=\{a,b,c\}$, where the first argument is the row of our truth table and the second is the column. For example, $P(b,c) = F$, whereas $P(c,b) = T$.

enter image description here

Evaluate the truth values of the following predicate logic statement.

$$\exists x \forall y, P(y,x)$$

  • $\begingroup$ What exactly is the difficulty with this? Try to express the statement in English. $\endgroup$ – Graham Kemp Mar 4 at 2:02

Edit: Putting your statement into words: "exists a column such that its intersection with all rows is True". No column meets the condition, so the statement is False.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy