Логика предикатов. Построение опровергающей модели.

[lxbrwn]

Очень интересная преподавательская методичка не дает мне покоя.
Суть темы: дается двухместный предикат. Нужно либо «построить вывод», либо «построить опровергающую модель».
Решение, как я понял, сводится к поиску некоторого случая, когда истинность формулы не подтверждается.
Вопрос: как же это делается?
Очень хотелось бы подробные комментарии на счет таблиц снизу. Для меня не совсем понятно, как предикат может быть ложным или истинным вообще.

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: не приведены попытки решения, формулы не оформлены $\TeX$ом, текст на картинке

lxbrwn
Приведите попытки решения, укажите конкретные затруднения.
Текст с картинки наберите буковками с клавиатуры, для удобства цитирования и отсутствия лишнего. Картинку сносите - в ней нет необходимости.
Наберите все формулы и термы $\TeX$ом.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
См. также тему Что такое карантин, и что нужно делать, чтобы там оказаться.
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.