Введение дизъюнкции
Введение или добавление дизъюнкции (также называемое введением или введением ) [1] [2] [3] является правилом вывода логики высказываний и почти любой другой системы вывода . Правило позволяет вводить дизъюнкции в логические доказательства . Это вывод о том, что если Р истинно, то Р или Q должны быть истинны.
где правило состоит в том, что всякий раз, когда экземпляры " " появляются в строках доказательства, " " могут быть помещены в последующую строку.
В более общем смысле это также простая форма действительного аргумента , это означает, что если посылка верна, то вывод также верен, как и должно быть любое правило вывода, и является непосредственным выводом , так как он имеет единственное предложение в своих предпосылках.
Введение дизъюнкции не является правилом в некоторых паранепротиворечивых логиках , потому что в сочетании с другими правилами логики оно приводит к взрыву (т.е. все становится доказуемым), а паранепротиворечивая логика пытается избежать взрыва и уметь рассуждать с противоречиями. Одним из решений является введение дизъюнкции с надправилами. См . Паранепротиворечивую логику § Компромиссы .
где - значение металогического символа, являющегося синтаксическим следствием в некоторой логической системе ;
где и – предложения, выраженные в некоторой формальной системе .
