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

\( \underline{\text { условие: }} \) Записать следующее рассуждение на языке предикатов и доказать его справедливость, используя метод резолюций. Посылка: “ни один первокурсник не любит второкурсников. Все живущие в Васюкахвторокурсники". Заключение: "Ни один первокурсник не любит никого из живущих в Васюках".