Консультация онлайн # 202159

Раздел: Математика
Автор вопроса: ficha (Посетитель)
Дата: 15.02.2022, 13:20 Консультация неактивна
Поступило ответов: 0
Здравствуйте! У меня возникли сложности с таким вопросом:
формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций с использованием двух моделей формализации.

2-Baroko.
Все P суть М
Некоторые S не суть M
Следовательно, некоторые S не суть P



Ответов еще не поступило.

Мини-форум консультации # 202159


Нет сообщений в мини-форуме
Возможность оставлять сообщения в мини-форумах консультаций доступна только после входа в систему.
Воспользуйтесь кнопкой входа вверху страницы, если Вы зарегистрированы или пройдите простую процедуру регистрации на Портале.