Introducción de la conjunción

Plantilla:Reglas de transformación Introducción de la conjunción (a veces abreviado simplemente como conjunción) 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:

$\begin{array}{cc}& P\\ & Q\\ \therefore & P\wedge Q\end{array}$

donde la regla es que cada vez que una instancia "$P$" y "$Q$" aparezca en una línea de prueba, tanto "$P\wedge Q$" 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:

$P,Q⊢P\wedge Q$

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

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