Introducción de la conjunción

Introducción de la conjunción (a veces abreviado simplemente como conjunción[1][2][3]) es una regla de inferencia válida de la lógica proposicional. La regla hace posible la introducción de una conjunción en una demostración lógica. Es la inferencia que una proposición p es verdadera, y la proposición q es verdadera, entonces la conjunción lógica de dos proposiciones p y q es verdadera. Por ejemplo, si es verdad que está lloviendo, y es verdad que estoy dentro, entonces es verdad que "está lloviendo y estoy dentro". La regla puede afirmar:

donde la regla es que cada vez que una instancia "" y "" aparezca en una línea de prueba, tanto "" puede colocarse en la línea siguiente;

Notación formal

La regla de introducción de la conjunción puede escribirse en la notación subsiguiente:

donde es un símbolo metalógico que significa que es una consecuencia sintáctica si y están cada una en las líneas de una prueba en algún sistema lógico;

donde y son proposiciones expresadas en algún sistema formal.

Referencias

  1. Hurley, Patrick (1991). A Concise Introduction to Logic 4th edition. Wadsworth Publishing. pp. 346-51. (requiere registro).
  2. Copi y Cohen
  3. Moore y Parker

Enlaces externos

Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.