6.5.16 Predicate Calculus

Condition: Predicat \ (p (x, y) \) set in table, i.e. A table of values of this predicate for each pair \ ((x, y) \) values of independent variables \ (x, y \) is given. \begin{tabular}{|c|c|c|c|c|c|c|} \hline\( x / y \) & 1 & 2 & 3 & 4 & 5 & 6 \\ \hline 1 & 1 & 0 & 0 & 1 & 1 & 0 \\ 2 & 0 & 1 & 0 & 1 & 1 & 0 \\ 3 & 1 & 1 & 1 & 1 & 1 \\ 4 & 0 & 1 & 0 & 0 & 0 \\ \ \ \ hline \ End {Tabular} Check the truth of the next statement: \ (\ Exists Y \ Forall X P (X, Y) \).