Question

write the truth table for X and Y where
X= it is sunny
Y= today is Monday​

Answer 1

Answer:

Explanation:

N-Ary predicate : predicate which takes several variables

• P(x, y) = x > y (DOI: integers)

• P(Q, B): Q is the author of the book B (DOI: all authors / books)

• Everyone has exactly one best friend:

B(X, Y ): Y is the best friend of X

(∀x) (∃y) B(X, Y ) ∧ [ (∀Z) B(X, Z) → (Z = Y ) ]

For any person X, there exists a person Y , such that:

(1) Y is the best friend of X

(2) For any person Z, if Z is the best friend of X, then Z is actually Y