Задание 6.

Формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций с использованием двух моделей.

Модель 1.

Модель 2.

Варианты заданий.

№ п/п	Номер фигуры силлогизма – название фигуры
	1 – Celarent
	1 – Darii
	1 – Ferio
	2 – Cesare
	2 – Camestres
	2 – Festino
	2 – Baroko
	3 – Darapti
	3 – Disamis
	3 – Felapton

 

[1] Задания подготовлены А.М. Гревцевым