Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Решить вопрос о правильности того или иного модуса ПКС можно семантическим методом и синтаксическим методом. Семантический метод состоит в рассмотрении модельных схем, отвечающих истинности как суждений-посылок, так и заключения. Рассмотрим в качестве примера модус oao третьей фигуры. Семантический анализ показывает, что множество модельных схем данного модуса по трём переменным S, P, M состоит из четырёх рядов модельных схем (рис. 27):
Рис. 27
Все суждения-заключения приведённых рядов модельных схем являются истинными, т. е. логически следуют из истинных же суждений-посылок.
Дата публикования: 2015-09-17; Прочитано: 591 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!