В логике , правило замены [1] [2] [3] является правило преобразования , которое может быть применено только к определенному сегменту в выражении . Логическая система может быть построена так , что она использует либо аксиомы , правила вывода , или оба , как правила преобразования для логических выражений в системе. В то время как правило вывода всегда применяется ко всему логическому выражению, правило замены может применяться только к определенному сегменту. В контексте логического доказательства , логически эквивалентнывыражения могут заменять друг друга. Правила замены используются в логике высказываний для манипулирования предложениями .
Общие правила замены включают в себя законы де Моргана , коммутацию , ассоциацию , распределение , двойное отрицание , [а] транспонирование , материальный смысл , логическую эквивалентность , экспорт и тавтологию .
Заметки
- ^ не допускается в интуиционистской логике
Рекомендации
- ^ Копи, Ирвинг М .; Коэн, Карл (2005). Введение в логику . Прентис Холл.
- ^ Херли, Патрик (1991). Краткое введение в логику 4-е издание . Издательство Wadsworth.
- ^ Мур и Паркер [ требуется полная ссылка ]