Логические отношения между сложными высказываниями.

Сложные суждения – аналогично простым – находятся в определенных отношениях между собой. Общим здесь является то, что они тоже могут быть сравнимыми и несравнимыми, совместимыми и несовместимыми, причем и для них характерны отношения именно по их истинности или ложности.

Сравнимые сложные суждения характеризуются тем, что они включают в себя одинаковые исходные суждения и различаются логическими союзами – конъюнкцией, дизъюнкцией, и т. д. (включая отрицание).

Несравнимые сложные суждения отличаются тем, что составляющие его суждения полностью или частично разные. Например: “Прокуроры и судьи имеют юридическое образование” (Р) “Прокуроры и судьи стоят на страже законности” (Q). Здесь общие субъекты, но разные предикаты.

Эквивалентность. В таком отношении находятся те сложные суждения, которые при одних и тех же значениях истинности составляющих имеют одинаковые значения. Если истинно Р, то истинно Q, и если ложно Р, то ложно и Q. Но не может быть так, что Р истинно, а Q ложно, и так, что Р ложно, а Q истинно.

Подчинение. Это отношение между сложными суждениям характеризуется тем, что при истинности подчиняющего подчиненное ему всегда истинно. Если Р истинно, то и Q истинно, если Р ложно, то Q может быть как истинным, так и ложным. Но не может быть так, что Р истинно, а Q ложно.

Противоречие. Характерным для этого отношения между сложными суждениями является то, что их значения могут лишь исключать друг друга: они не могут быть одновременно истинными и не могут быть одновременно ложным. Если Р истинно, то Q – ложно; если Р – ложно, то Q – истинно и т. д.

Противоположность. Она проявляется в том, что оба сложных суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Если Р истинно, то Q ложно, если Р ложно, то Q может быть истинным и ложным. Но Р и Q не могут быть вместе истинными.

Подпротивоположность Она выражается в том, что два сложных суждения одновременно могут быть истинными, но не могут быть одновременно ложными.

Отношение независимости. Два сложных суждения могут одновременно быть и ложными и истинными.

Не нашли, что искали? Воспользуйтесь поиском: