Математическая логика и теория алгоритмов

23. С помощью метода резолюций установить, правильны ли следующие силлогизмы (модусы) Аристотеля; Barbari, Ferio, Baroco. Напомним, что гласные, участвующие в приведенных названиях сил­ логизмов, определяют вид силлогизма (см. § 11). . 24. Вводя подходящие обозначения, записать в виде формул предложения, участвующие в следующих выводах и выяснить, в каких случаях конъюнкция посылок логически влечет заключение. Резуль­ таты проиллюстрировать диаграммами Эйлера-Венна: 1) некоторые а суть в. Ни одно б не есть не С, Следовательно, некоторые а суть С; 2) все а суть в. Ни один с не есть не в. Следовательно, ни один С не есть 3) некоторые а суть не в. Все не с суть в. Следовательно, неко­ торые ^4 суть С; 4) все а суть в. Ни один с не есть в. Следовательно, все а суть не С; 5) некоторые не в суть не а. Ни одно не в не есть С. Следова­ тельно, некоторые не а суть не в.