2015-03-27
1606
Формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций с использованием двух моделей.
Модель 1.
Модель 2.
Варианты заданий.
| № п/п | Номер фигуры силлогизма – название фигуры |
| 1 – Celarent | |
| 1 – Darii | |
| 1 – Ferio | |
| 2 – Cesare | |
| 2 – Camestres | |
| 2 – Festino | |
| 2 – Baroko | |
| 3 – Darapti | |
| 3 – Disamis | |
| 3 – Felapton |
[1] Задания подготовлены А.М. Гревцевым
