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

Следования

Сложные суждения, как и простые, могут быть сравнимыми и несравнимыми.

Несравнимые — это суждения, которые не имеют общих пропозициональных переменных. Например, р А q и m А n.

Сравнимые — это суждения, которые имеют одинаковые пропо-зиционные переменные (составляющие) и различаются логическими связками, включая отрицание. Например, сравнимыми являются следующие два суждения: «Норвегия или Швеция имеют выход в Балтийское море» (р v q); «Ни Норвегия, ни Швеция не имеют выхода в Балтийское море» (

1 р А 1 q)

Отношение совместимости.

К совместимым относятся такие сравнимые суждения, которые одновременно могут быть истинными. Как и в случае простых суждений, различают три вида совместимости сложных суждений:

эквивалентность, частичная совместимость и подчинение.

1. Эквивалентные — это суждения, которые принимают одни и те значения, т.е. одновременно являются либо истинными, либо ложными. «=_ 3 тире в круге»

2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными. «V в круге»

3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным. (---»стрелка в круге)

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

Отношение несовместимости.

Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна — противоположность, другая — противоречие.

Противоположность — отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.

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

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