В логике правило замены [1] [2] [3] — это правило преобразования , которое можно применять только к определенному сегменту выражения . Логическая система может быть построена так, что она использует либо аксиомы , либо правила вывода , либо и то, и другое в качестве правил преобразования логических выражений в системе. В то время как правило вывода всегда применяется ко всему логическому выражению, правило замены может применяться только к определенному сегменту. В контексте логического доказательства логически эквивалентные выражения могут заменять друг друга. Правила замены используются в логике высказываний для манипулирования предложениями .
Общие правила замены включают законы де Моргана , коммутацию , ассоциацию , распределение , двойное отрицание , транспозицию , материальную импликацию , логическую эквивалентность , экспорт и тавтологию .
Вышеизложенные правила можно суммировать в следующей таблице. [4] В столбце « Тавтология » показано, как интерпретировать обозначение данного правила.