Мат. логика, предикаты

[Chuuya~]

Добрый вечер.
Помогите, пожалуйста, разобраться с одной задачей.
Задание: построить таблицу истинности формулы в данной интерпретации.

Формула, таблица и моё решение

Так вот, мне сказали, что последний столбец неверен. Где здесь может быть ошибка? У меня уже никаких идей, а то, что я нагуглил, не очень-то похоже на данную задачу.

@темы: Математическая логика

Comments

[Chuuya~]

Так. Вроде разобрался, но меня всё равно терзают сомнения... Правильно ли это?

Таблица

[Гость]

Правильно ли это?

Преподаватель, скорее всего, ожидал такого ответа.