Пра́вило підстано́вки у логіці — це правило перетворення, що може застосовуватися до лише часткового сегмента виразу. Moore and Parker Логічну систему може бути побудовано таким чином, що вона використовує або аксіоми, правила висновування, або обидва як правила перетворення у системі. В той час як правило висновування завжди застосовується до повного логічного виразу, правило підстановки може застосовуватися лише до певного сегмента. В контексті формального доведення логічно еквівалентні вирази можуть замінювати один одного. Правила підстановки використовуються в логіці висловлень для маніпулювання висловленнями.
Поширені правила підстановки включають правила де Моргана, комутативність, асоціативність, дистрибутивність, подвійне заперечення,не визнається інтуїціонистською логікою контрапозицію, , матеріальну еквівалентність, та .
Посилання