Доказать или опровергнуть данные клаузы, используя анализ таблицы истинности; метод от противного и метод резолюций.
• ╞ ;
• ╞ .
Ввести необходимые обозначения и записать каждое из высказываний как формулу исчисления предикатов. Обосновать справедливость (ложность) заключения при помощи диаграмм Эйлера-Венна.
Ни одно животное не бессмертно. Кошки – животные. Значит, некоторые кошки не бессмертны.
Пусть предметная область , «x делится на y». Рассмотреть все варианты одновременной квантификации переменных двухместного предиката . Определить истинность получаемых выражений.
