Проверить умозаключение методом семантических таблиц и методом резолюций

Сообщение было отмечено Eveigh как решение

Решение

"Все первокурсники встречаются со всеми второкурсниками". Это неудачное и двусмысленное высказывание. Наверное, не имеется в виду, что каждый первокурсник встречается с каждым отдельным второкурсником. Возможно, говорится, что каждый первокурсник встречается с каким-то второкурсником и наоборот. Теперь это легко перевести в формулу. Пусть P(x) означает, что x — первокурсник, V(x) — что x — второкурсник, а Vs(x, y) означает, что x и y встречаются. Тогда высказывание можно записать ∀x (P(x) -> ∃y (V(y) /\ Vs(x, y))) /\ ∀x (V(x) -> ∃y (P(x) /\ Vs(x, y))).

Похожие высказывания рассматриваются в книге Непейводы: формулы 4.5 и 4.23.

0