Логика: краткий теоретический курс. Веревичев И.И. - 29 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

28
Временная модальность выражает основные хронологические
характеристики описываемых событий: “вчера”, “сегодня”, “завтра” или “в
прошлом, “в настоящем”, “ в будущем”. Например: “Вчера я сильно устал”.
Сложными модальностями можно назвать различные комбинации из
перечисленных выше видов модальностей. Например: “Хорошо, что сегодня
логику изучают студенты многих факультетов”.
СЛОЖНЫЕ СУЖДЕНИЯ
1. Виды сложных суждений
Сложными называются суждения, состоящие из двух или более простых
суждений. Структура сложных суждений зависит от способа соединения их
частей. В качестве логической связок (союзов) используют определенные
логические отношения: конъюнкцию, дизъюнкцию, импликацию и другие. К
основным видам сложных суждений относят следующие:
а) соединительные;
б) разделительные;
в) условные;
г) смешанные.
2. Отрицание суждений
Символическая запись суждения называется его логической формулой.
Простые суждения принято обозначать латинскими буквами p, q, r, s …, а их
отрицания: ┐p, ┐q, ┐r, ┐s…Отрицание суждения (инверсия) есть логическая
операция, меняющая значение смысла суждения – истинность на ложность
или ложность на истинность. Отрицание суждения может вводиться как
внешним способом «Неверно, что Иванов – отличник», так и внутренним
«Иванов – не отличник».
Для единичного атрибутивного суждения операция отрицания означает
замену логической связки в суждении на противоположную по качеству. Для
общих и частных атрибутивных суждений логическое отрицание означает
одновременное изменение их качества и количества. Более наглядно специфику
логического отрицания атрибутивных суждений иллюстрируют отношения
контрадикторности на логическом квадрате:
┐Аи → Ол; ┐Ал → Ои; ┐Еи →Iл; ┐Ел→Iи;
┐Iи → Ел; ┐Iл→ Еи; ┐Ои→ Ал; ┐Ол→Аи.
Исходя из анализа структур атрибутивных суждений можно утверждать,
что двойное отрицание (а также любое четное их количество) одного и того же
атрибутивного суждения равносильно его утверждению: ┐(┐р) = р. Например,
отрицанием суждения «Все преступления – общественно опасные деяния» (Аи)
является суждение «Некоторые преступления не являются общественно
опасными деяниями» (Ол = ┐Аи), а новым его отрицанием (┐Ол = ┐(┐Аи))
снова станет суждение (Аи): «Неверно, что некоторые преступления не
являются общественно опасными деяниями». Таким образом, любое суждение
эквивалентно суждению, содержащему его собственное двойное отрицание.

Страницы