La introducción o adición de disyunción (también llamada o introducción ) [1] [2] [3] es una regla de inferencia de la lógica proposicional y casi todos los demás sistemas de deducción . La regla permite introducir disyunciones en pruebas lógicas . Es la inferencia de que si P es verdadero, entonces P o Q deben ser verdaderos.
Un ejemplo en inglés :
- Sócrates es un hombre.
- Por tanto, Sócrates es un hombre o los cerdos vuelan en formación sobre el Canal de la Mancha.
La regla se puede expresar como:
donde la regla es que siempre que las instancias de ""aparecen en las líneas de una prueba","se puede colocar en una línea posterior.
De manera más general, también es una forma de argumento válida simple , esto significa que si la premisa es verdadera, entonces la conclusión también es verdadera, como debería ser cualquier regla de inferencia, y una inferencia inmediata , ya que tiene una sola proposición en sus premisas.
La introducción de la disyunción no es una regla en algunas lógicas paraconsistentes porque en combinación con otras reglas de la lógica, conduce a la explosión (es decir, todo se vuelve demostrable) y la lógica paraconsistente intenta evitar la explosión y poder razonar con contradicciones. Una de las soluciones es introducir disyunción con reglas superiores. Consulte Lógica paraconsistente § Compensaciones .
Notación formal
La regla de introducción de la disyunción puede escribirse en notación secuencial :
dónde es un símbolo metalogico que significa quees una consecuencia sintáctica deen algún sistema lógico ;
y expresado como una tautología funcional de verdad o teorema de lógica proposicional:
dónde y son proposiciones expresadas en algún sistema formal .
Referencias
- ^ Hurley, Patrick J. (2014). Una introducción concisa a la lógica (12ª ed.). Cengage. págs. 401–402, 707. ISBN 978-1-285-19654-1.
- ^ Moore y Parker [ se necesita cita completa ]
- ^ Copi, Irving M .; Cohen, Carl; McMahon, Kenneth (2014). Introducción a la lógica (14ª ed.). Pearson. págs. 370, 618. ISBN 978-1-292-02482-0.