TextBook Логіка
Розділ 6. Складне судження
3) А <-> В = (А —> В) Л (В —> А) - подвійна імплікація через імплікацію та кон'юнкцію.
4) Скориставшись еквівалентністю (1), отримаємо: А <-> В = (~А V В) Л (~В V А).
5) Скориставшись правилом де Моргана (2Ь), отримаємо: А <-> В н ~ (А Л ~В) Л ~(В Л -А).
Відношення еквівалентності дозволяє перетворювати одні (складні) висловлювання на інші (прості).
4. Особливості імплікації
5. Відношення логічного слідування
Наступний розділ:
МОДУЛЬ 3. УМОВИВІД
Сторінки
В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Н.Г.Мозгова на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „Розділ 6. Складне судження“ на сторінці 2. Приємного читання.