Консультация № 202159
15.02.2022, 13:20
0.00 руб.
0 0 0
Здравствуйте! У меня возникли сложности с таким вопросом:
формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций с использованием двух моделей формализации.

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


Обсуждение

Форма ответа