Сравнимые – это суждения, которые имеют одинаковые пропозиционные переменные (составляющие) и различаются логическими связками, включая отрицание. Напр., сравнимыми являются следующие два суждения: «Норвегия или Швеция имеют выход в Балтийское море» (р ∨ q); «Ни Норвегия, ни Швеция не имеют выхода в Балтийское море» (⌉ р ∧ ⌉q).
Сложные сравнимые суждения могут быть совместимыми и несовместимыми.
Совместимыми являются такие сравнимые суждения, которые одновременно могут быть истинными. Различают три вида совместимости сложных суждений: эквивалентность, частичная совместимость и подчинение.
1. Эквивалентные – это суждения, которые принимают одни и те значения, т. е. одновременно являются либо истинными, либо ложными.
Отношение эквивалентности позволяет выражать одни сложные суждения через другие – конъюнкцию через дизъюнкцию или импликацию, и наоборот.
1. Выражение конъюнкции через дизъюнкцию: ⌉(А ∧ 6) ≡ ⌉ А ∨ ⌉В.
2. Выражение дизъюнкции через конъюнкцию: ⌉(А ∨ В) ≡ ⌉ А ∧ ⌉ В.
3. Выражение импликации через конъюнкцию: А → В ≡ (А ∧ ⌉ В)].
4. Выражение импликации через дизъюнкцию: А → В ≡ ⌉ А ∨ В].
2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным.
16) Отрицание суждений.
17) Умозаключение как форма логического мышления. Основные виды умозаключений. Понятие логического следования.
Умозаключение – это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.
Напр.: «Судья не может участвовать в рассмотрении дела, если он является потерпевшим (1). Судья Н. – потерпевший (2). Значит, он не может участвовать в рассмотрении дела (3)».
В этом умозаключении 1-е и 2-е суждения являются посылками, 3-е суждение – заключением.
При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование. Слова «следовательно» и близкие ему по смыслу («значит», «поэтому» и т. п.) под чертой обычно не пишутся. В соответствии с этим приведенный пример примет следующий вид:
Судья не может участвовать в рассмотрении дела, если он является потерпевшим.
Дата добавления: 2015-01-05; просмотров: 132 | Поможем написать вашу работу | Нарушение авторских прав |