Por ejemplo,P∨Q,¬P,Q es lo mismo que∨ -eliminación, pero hemos reemplazadoA conP yB conQ. (En el lenguaje del álgebra de secundaria, hemos enchufadoP p...Por ejemplo,P∨Q,¬P,Q es lo mismo que∨ -eliminación, pero hemos reemplazadoA conP yB conQ. (En el lenguaje del álgebra de secundaria, hemos enchufadoP paraA, y enchufadoQ paraB.) En efecto, debe quedar claro que cualquier teorema sigue siendo válido aunque sustituyamos expresiones más complicadas en las variables.
