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