Логика. Н. В. МихалкинЧитать онлайн книгу.
не сдает», истинно в том случае, если одно простое суждение (например, «студент сдает экзамен…») истинно, а другое («студент не сдает экзамен…») – ложно. Ложным может быть и первое, а второе истинным.
Если оба простых одновременно принять за истинные или за ложные, то объединяющее их сложное суждение будет ложным. То есть члены строгой дизъюнкции – альтернативы, они не могут быть одновременно истинными.
– соединительно-разделительные (нестрого дизъюнктивные), когда связка «или» употребляется в соединительно-разделительном значении (символ v) и может быть заменен союзом «и».
Например: «Успех в науке достигается или одаренностью, или упорным трудом».
Истинность разделительного суждения определяется истинностью его составляющих (дизъюнктов).
Соединительно-разделительное суждение ложно, если ложны все составляющие его простые суждения. Соединительно-разделительное суждение истинно, если истинно хотя бы одно из составляющих его простых суждений (а их может быть и больше двух).
Так, суждение «Студент на семинаре по логике демонстрирует хорошую теоретическую подготовку или проявляет умение решать практические задачи» ложно только тогда, когда оба простые суждения («Студент… демонстрирует хорошую теоретическую подготовку» и «Студент… проявляет умение решать практические задачи») ложны, а в остальных случаях – истинно.
В естественном языке разделительное суждение может быть выражено:
– дизъюнктивным соединением нескольких субъектов («S1 ∨ S2 есть Р»; например, «Сегодня Сазонов или Джунадаев дежурные по группе»);
– дизъюнктивным соединением нескольких предикатов («S есть P1 ∨ P2»; например, «Многие выпускники нашего вуза теперь работают в Верховном или в Высшем Арбитражном Судах России»);
– присутствием дизъюнктивной связки и в сложном субъекте и в сложном предикате одновременно («S1 ∨ S2 есть P1 ∨ P2»;
«Студенты Павленко или Мирзоев сегодня должны быть либо на семинаре по основам философии, либо пересдавать задолженность по логике»).
Среди сложных суждений выделяют также импликативные (условные), тождественные (эквивалентные), отрицательные.
• импликативное (условное) – сложное высказывание, состоящее из двух простых, связанных по схеме: «Если…, то…» и отражающих зависимость каких-либо признаков предмета от определенных условий, отношения между предметами. Первая часть такого суждения (вводимая словом «если») – основание, условие (анте-ценд – предыдущее высказывание); вторая (начинающаяся словом «то») – следствие условного высказывания (консеквент – последующее высказывание).
Например: «Если методы исследования верны и проверены, то исследователь может найти истину» («А → В»),
Импликативное (условное) суждение ложно лишь в одном случае – когда основание истинно, а следствие ложно. Например, суждение «Если уголовное дело расследовано тщательно, то вероятность возникновения ошибок в ходе судебного разбирательства невысока» ложно