La regla hace posible la introducción de una conjunción en una demostración lógica.
" aparezca en una línea de prueba, tanto "
" puede colocarse en la línea siguiente; La regla de introducción de la conjunción puede escribirse en la notación subsiguiente: donde
están cada una en las líneas de una prueba en algún sistema lógico; donde
son proposiciones expresadas en algún sistema formal.