Оглавление
Правило замены
-
Основы логики
- Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операций
- Ассоциативность, коммутативность, распределительная способность, двойное отрицание и законы Де Моргана
- Перестановка и существенное значение
- Экспорт и тавтология
- Универсальное и экзистенциальное обобщение
-
Правила замены
- Правило замены применяется только к определенному сегменту логического выражения
- Используется в пропозициональной логике для манипуляций с пропозициями
- Включает законы де Моргана, коммутацию, ассоциацию, распределение, двойное отрицание, транспозицию и другие
-
Обобщение правил замены
- Правила замены обобщены в таблице с указанием интерпретации обозначений
-
Дополнительная информация
- Статья является заглушкой и предлагает помощь в расширении Википедии
Полный текст статьи: