Question

Write the truth table for x and y where X = it is sunny Y= today is monday

Answer 1

 $\huge\underline{\underline{\bf \bigstar ANSWER \bigstar}}$

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

┏─━─━─━∞◆∞━─━─━─┓

✭✮ӇЄƦЄ ƖƧ ƳƠƲƦ ƛƝƧƜЄƦ✮✭

┗─━─━─━∞◆∞━─━─━─┛

${\huge{\mathtt{\red{Thank\:you}}}}$

Answer 2

$\huge\underline\bold{\purple{\fbox{♡ANSWER♡}}}$

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

$\huge\underline\bold{\red{\fbox{ ♡Thank \:You♡}}}$