Правило підстановки

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

Поширені правила підстановки включають правила де Моргана, комутативність, асоціативність, дистрибутивність, подвійне заперечення, контрапозицію, ^[en], матеріальну еквівалентність, ^[en] та ^[en].

Посилання

1. Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic. Prentice Hall. (англ.)
2. Hurley, Patrick (1991). A Concise Introduction to Logic 4th edition. Wadsworth Publishing. (англ.)
3. Moore and Parker (англ.)
4. не визнається інтуїціонистською логікою