Правило замены - Rule of replacement
В логике , правило замещения является правило преобразования , которое может быть применено только к определенному сегменту в выражении . Логическая система может быть построена так , что она использует либо аксиомы , правила вывода , или оба , как правила преобразования для логических выражений в системе. В то время как правило вывода всегда применяется ко всему логическому выражению, правило замены может применяться только к определенному сегменту. В контексте логического доказательства , логически эквивалентные выражения могут заменять друг друга. Правила замены используются в логике высказываний для манипулирования предложениями .
Общие правила замены включают в себя законы де Моргана , коммутацию , ассоциацию , распределение , двойное отрицание , транспонирование , материальный смысл , логическую эквивалентность , экспорт и тавтологию .
Смотрите также
Заметки
Рекомендации
 |
Эта статья о логике - незавершенная . Вы можете помочь Википедии, расширив ее . |