Правило замены - Rule of replacement

В логика, а правило замены^[1][2][3] это правило трансформации который может применяться только к определенному сегменту выражение. А логическая система может быть сконструирован так, чтобы использовать либо аксиомы, правила вывода, или оба как правила преобразования для логические выражения в системе. В то время как правило вывода всегда применяется ко всему логическому выражению, правило замены может применяться только к определенному сегменту. В контексте логическое доказательство, логически эквивалентный выражения могут заменять друг друга. Правила замены используются в логика высказываний манипулировать предложения.

Общие правила замены включают законы де Моргана, коммутация, ассоциация, распределение, двойное отрицание,^[а] транспозиция, материальное значение, материальная эквивалентность, вывоз, и тавтология.

Примечания

1. не допущен в интуиционистская логика

Рекомендации

1. Copi, Irving M .; Коэн, Карл (2005). Введение в логику. Прентис Холл.
2. Херли, Патрик (1991). Краткое введение в логику 4-е издание. Wadsworth Publishing.
3. Мур и Паркер^{[требуется полная цитата ]}