Introducción a la conjunción

Introducción de la orden (a menudo abreviado simplemente como conjunción y también llamado e introducción o adjunción) es una regla válida de inferencia de la lógica proposicional. La regla permite introducir una conjunción en una prueba lógica. Es la inferencia que si la proposición P{displaystyle P} es verdad, y la proposición Q{displaystyle Q} es cierto, entonces la conjunción lógica de las dos proposiciones P{displaystyle P} y Q{displaystyle Q} es verdad. Por ejemplo, si es cierto que "está lloviendo", y es cierto que "el gato está dentro", entonces es cierto que "está lloviendo y el gato está dentro". La regla puede ser declarada:

P,Q▪ ▪ P∧ ∧ Q{displaystyle {frac {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {f} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {f}} {fnMicroc} {fnMicroc}}}} {f} {f}f}f}f}f}f}f}f}f}f}f}f}f}f}f}f}fnMicrocH00f}f}f}f}f}fnMicrocH00fnMicrocH00}fnMicrocfnMicrocH00fnMicrocH00f}}fnMicrob}fnMicrosoft}fnMientras antes Pland Q}}

donde la regla es que donde sea una instancia de "P{displaystyle P}"y"Q{displaystyle Q}"parecen en líneas de una prueba, un "P∧ ∧ Q{displaystyle Pland Q}"se puede colocar en una línea posterior.

Notación formal

La regla introducción de la conjunción se puede escribir en notación secuencial:

P,Q⊢ ⊢ P∧ ∧ Q{displaystyle P,Qvdash Pland Q}

Donde P{displaystyle P} y Q{displaystyle Q} son propuestas expresadas en algún sistema formal, y ⊢ ⊢ {displaystyle vdash } es un símbolo metalógico que significa que P∧ ∧ Q{displaystyle Pland Q} es una consecuencia sintáctica si P{displaystyle P} y Q{displaystyle Q} son cada uno en líneas de una prueba en algún sistema lógico;