WikiDer > Правило замены
| Правила трансформации |
|---|
| Исчисление высказываний |
| Правила вывода |
| Правила замены |
| Логика предикатов |
В логика, а правило замены[1][2][3] это правило трансформации который может применяться только к определенному сегменту выражение. А логическая система может быть сконструирован так, чтобы использовать либо аксиомы, правила вывода, или оба как правила преобразования для логические выражения в системе. В то время как правило вывода всегда применяется ко всему логическому выражению, правило замены может применяться только к определенному сегменту. В контексте логическое доказательство, логически эквивалентный выражения могут заменять друг друга. Правила замены используются в логика высказываний манипулировать предложения.
Общие правила замены включают законы де Моргана, коммутация, ассоциация, распределение, двойное отрицание,[а] транспозиция, материальное значение, материальная эквивалентность, вывоз, и тавтология.
Примечания
- ^ не допущен в интуиционистская логика
Рекомендации
- ^ Copi, Irving M .; Коэн, Карл (2005). Введение в логику. Прентис Холл.CS1 maint: ref = harv (связь)
- ^ Херли, Патрик (1991). Краткое введение в логику 4-е издание. Wadsworth Publishing. Cite имеет пустой неизвестный параметр:
| соавторы =(помощь) - ^ Мур и Паркер[требуется полная цитата]
 | Этот логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |