6.5.16 Исчисление предикатов

Условие: Предикат \( P(x, y) \) задан таблично, т.е. дана таблица значений этого предиката для каждой пары \( (x, y) \) значений независимых переменных \( x, y \). \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 & 0 & 1 & 1 & 1 \\ 4 & 0 & 1 & 0 & 0 & 0 & 0 \\ \hline \end{tabular} Проверить истинность следующего высказывания: \( \exists y \forall x P(x, y) \).