Логика: Шпаргалка

Напр., «Хищение наказывается исправительными работами или тюремным заключением». Два субъекта и два предиката (S´ илиS″ есть P' или P″). Напр., «Ссылка или высылка могут применяться в качестве основной или дополнительной санкции».

27. ВИДЫ ДИЗЪЮНКЦИИ

Нестрогая и строгая дизъюнкция

Поскольку связка «или» употребляется в естественном языке в двух значениях – соединительно-разделительном и исключающе-разделительном, то следует различать два типа разделительных суждений: 1) нестрогую (слабую) дизъюнкцию и 2) строгую (сильную) дизъюнкцию.

Нестрогая дизъюнкция – суждение, в котором связка «или» употребляется в соединительно-разделительном значении (символ ∨). Напр.: «Холодное оружие может быть колющим или режущим» – символически р

 ∨ q.Связка «или» в данном случае разделяет, поскольку отдельно существуют такие виды оружия, и соединяет, ибо есть оружие, одновременно и колющее, и режущее.

Нестрогая дизъюнкция будет истинна при истинности хотя бы одного члена дизъюнкции и ложна, если оба ее члена будут ложны.

Строгая дизъюнкция – суждение, в котором связка «или» употребляется в разделительном значении (символ – двойная дизъюнкция). Напр.: «Деяние может быть умышленным или неосторожным», символически.

Члены строгой дизъюнкции, называемые альтернативами, не могут быть одновременно истинными. Если деяние совершено умышленно, то его нельзя считать неосторожным, и, наоборот, деяние, совершенное по неосторожности, не может быть отнесено к умышленным.

Строгая дизъюнкция будет истинна при истинности одного и ложности другого члена; она будет ложна, если оба члена истинны или оба ложны. Таким образом, суждение строгой дизъюнкции будет истинным при истинности одной альтернативы и ложным как при одновременной ложности, так и одновременной истинности альтернатив.

Разделительная связка в языке обычно выражается с помощью союзов «или», «либо». С целью усиления дизъюнкции до альтернативного значения нередко употребляют удвоенные союзы: вместо выражения «р или q»

употребляют «или р, или q», а вместе «р либо q» – «либо р, либо q». Поскольку в грамматике отсутствуют однозначные союзы для нестрогого и строгого разделения, то вопрос о типе дизъюнкции в юридических и других текстах должен решаться содержательным анализом соответствующих суждений.

Полная и неполная дизъюнкция

Полным или закрытым называют дизъюнктивное суждение, в котором перечислены все признаки или все виды определенного рода.

Символически это суждение можно записать следующим образом: < р ∨ q ∨r >.Напр.: «Леса бывают лиственные, хвойные или смешанные». Полнота этого разделения (в символической записи обозначается знаком < … >) определяется тем, что не существует помимо указанных, других видов лесов.

Неполным, или открытым, называют дизъюнктивное суждение, в котором перечислены не все признаки или не все виды определенного рода. В символической записи неполнота дизъюнкции может быть выражена многоточием: р ∨q 

∨r ∨ … В естественном языке неполнота дизъюнкции выражается словами: «и т. д.», «и др.», «и тому подобное», «иные» и др.

28. ЭКВИВАЛЕНТНЫЕ СУЖДЕНИЯ. ЛОГИЧЕСКИЕ ОТНОШЕНИЯ МЕЖДУ НЕСОВМЕСТИМЫМИ СУЖДЕНИЯМИ

Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если… то…». Напр.: «Если и только если человек награжден орденами и медалями (р), то он имеет право на ношение соответствующих орденских планок (q)».

Логическая характеристика этого суждения состоит в том, что истинность утверждения о награждении (р) рассматривается как необходимое и достаточное условие истинности утверждения о наличии права на ношение орденских планок (q).Точно так же истинность утверждения о наличии права на ношение орденских планок (q)является необходимым и достаточным условием истинности утверждения о том, что данное лицо награждено соответствующими орденом или медалью (р). Такую обоюдную зависимость символически можно выразить двойной импликацией р ↔ q, которая читается: «Если и только если р, то q». Эквивалентность выражают и другим знаком: р ≡ q.