Сложные суждения. Виды сложных суждений.
Конъюктивное суждение – суждение, состоящее из нескольких простых суждений, связанных логической связкой «и».
Правило – истинно тогда и только тогда, когда истинны все составляющие суждения
Грамматически союзы – а, но, да, а также, как и, хотя и, однако, несмотря их, одновременно, не только … но и, в то время как, зато.
Дизъюнкция
А. простая (нестрогая) дизъюнкция – суждение, в котором связка «или» употребляется в соединительно-разделительном значении.
Правило – истинно тогда и только тогда, когда истинно хотя бы одно из составляющих его суждения
Б. строгая дизъюнкция – суждение, в котором связка «или» употребляется в разделительном значении
Правило – истинно тогда и только тогда, когда составляющие его суждения имеют разные истинностные значения.
Грамматические союзы – или, либо, то ли.. то ли
Импликация – суждение, состоящее из 2 простых, связанных логической связкой «если … то»
Правило – ложно тогда, когда основание истинное, а следствие ложно
Грамматические союзы – тогда,когда ; там где, постольку поскольку, так как, при наличии… следует, в случае … следует, следовательно, при условии… наступает.
Эквиваленция
Грамматические союзы – если и только если …, то…; лишь при условии что …, то; в том и только в том случае, когда …, тогда.
Правило – истинно тогда и только тогда, когда составляющие его суждения имеют одинаковые истинностные значения (оба истинны, оба ложны).
ИЗ Модульного теста
А. по правилам логического квадрата частично совместимые суждения не могут быть одновременно ложными
Б. субъект всегда нераспределен в частных суждениях
В. предикат всегда распределен в отрицательных суждениях
Г. субъект всегда распределен в общих суждениях
Д, качественная характеристика – логическая связка
Е. количественная характеристика – квантор (кванторное слово)
Ж. субъект – понятие о предмете суждения
З. предикат – понятие о признаке предмета
И. если сложное суждение ложно, тогда и только тогда, когда ложны все составляющие его суждения, то это СЛАБАЯ ДИЗЪЮНКЦИЯ
-
p
q
p q
p v q
p
qp
qp
qи
и
и
и
л
и
и
и
л
л
и
и
л
л
л
и
л
и
и
и
л
л
л
л
л
л
и
и
Умозаключение –
это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
СТРУКТУРА УМОЗАКЛЮЧЕНИЯ
Посылка - исходные суждения, из которых выводится новое суждение.
Заключение – новое суждение
Вывод – логический переход от посылки к заключению
ОПЕРАЦИИ
1. Превращение – суждение, в котором заключение является суждением, противоположным посылке, с предикатом, противоречащим предикату посылки
1. А в Е
А - Все S есть Р _________ Е - Ни одно S не есть не-Р
2.Е в А е - Все S не есть Р а- Все S есть не-Р
3.I превращается в О.
I - Некоторые S есть Р О - Некоторые S не есть не-Р
4.О превращается в I.
О - Некоторые S не есть Р I - Некоторые S есть не-Р