TextBook Логіка
3.2. Найпростіші правила виведення
За алгоритмом, описаним у попередньому параграфі, можна побудувати всі можливі правила для кожного з логічних термінів. Ці правила (за спостереженнями автора) самостійно формулюють уже діти середнього шкільного віку, а мислять, несвідомо їх використовуючи, мабуть, уже діти дошкільного віку. Сформулюємо їх найдоступніше, тобто в такому вигляді, в якому вони стануть очевидними не тільки кожному дорослому, а й дитині. (У символьному вигляді правила наведені як відношення логічного випливання).
1. Правило для диз'юнкції
2. Правило для антикон'юнкції
3. Правило для сильної диз'юнкції
4. Правило для імплікації
5. Правило для реплікації
6. Правило для еквіваленції
Правило транзитивності імплікації
Правило контрапозиції
Наступний розділ:
3.3. Відношення логічного випливання та правила виведення
В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора І.Дуцяк на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „3.2. Найпростіші правила виведення“ на сторінці 1. Приємного читання.