Упражнение 12. Установите, являются ли данные формулы тождественно - истинными (или логическими

Установите, являются ли данные формулы тождественно - истинными (или логическими законами).

1. a → (a b);

2. b → (a b);

3. (a → b) → (b → a);

4. a b a;

5. (a b) → b;

6. (a → b) → ( b → a).

7. ((a → b) a)→ b.

8. ((a → b) b) → a.

9. a a.

10. ((a b) a) → b.

Пример: (а ∩ b) (b ∩ a) – является логическим законом

a	b	a∩b	b∩a	(а ∩ b) (b ∩ a)
и	и	и	и	и
и	л	л	л	и
л	и	л	л	и
л	л	л	л	и

ЛОГИЧЕСКИЕ ОТНОШЕНИЯ МЕЖДУ СЛОЖНЫМИ СУЖДЕНИЯМИ

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

Несравнимые – это суждения, которые не имеют общих составляющих (пропозициональных) переменных. Например, р ∩ g и m ∩ n.

Сравнимые – это суждения, которые имеют одинаковые составляющие (пропозициональные) переменные и различаются логическими связками, включая отрицание. Например, сравнимыми являются следующие два суждения: «Украина или Болгария имеют выход в Черное море» (р U g); «Ни Украина, ни Болгария не имеют выхода в черное море» (┐р ∩ ┐g).

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

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

Эквивалентные – это суждения, которые принимают одни и те значения, т. е. одновременно являются либо истинными, либо ложными.

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

- выражение конъюнкции через дизъюнкцию: ┐ (а ∩ b) ↔ ┐a U ┐b.

- выражение дизъюнкции через конъюнкцию: ┐(а U b) ↔ ┐a ∩ ┐b.

- выражение импликации через конъюнкцию: ┐(a → b) ↔ (a ∩ ┐b).

- выражение импликации через дизъюнкцию: а → b ↔ ┐a U b.

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

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

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

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

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

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

Чтобы получить сложное суждение, противоречащее исходному, последнее нужно подвергнуть отрицанию. Например, для g противоречащим будет ┐g; для конъюнкции р ∩ g противоречием будет ее отрицание - ┐(р ∩ g).

Дата добавления: 2015-10-29