Introducción de conjunción (a menudo abreviada simplemente como conjunción y también llamada introducción ) [1] [2] [3] es una regla válida de inferencia de la lógica proposicional . La regla permite introducir una conjunción en una demostración lógica . Es la inferencia de que si la proposición p es verdadera y la proposición q es verdadera, entonces la conjunción lógica de las dos proposiciones pyqes verdad. Por ejemplo, si es cierto que "llueve", y es cierto que "estoy adentro", entonces es cierto que "está lloviendo y estoy adentro". La regla se puede establecer:
donde la regla es que siempre que una instancia de "" y ""aparecen en las líneas de una prueba, un""se puede colocar en una línea posterior.
Notación formal
La regla de introducción de conjunción se puede escribir en notación secuencial :
dónde y son proposiciones expresadas en algún sistema formal , yes un símbolo metalogico que significa quees una consecuencia sintáctica si y están cada uno en las líneas de una prueba en algún sistema lógico ;
Referencias
- ^ Hurley, Patrick (1991). Una introducción concisa a la lógica 4ª edición . Publicación de Wadsworth. págs. 346–51.
- ^ Copi, Irving M .; Cohen, Carl; McMahon, Kenneth (2014). Introducción a la lógica (14ª ed.). Pearson. págs. 370, 620. ISBN 978-1-292-02482-0.
- ^ Moore y Parker [ se necesita cita completa ]