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