En lógica proposicional, la simplificación[1][2][3] (equivale a la sustitución de una conjunción por uno de sus componentes) es una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad (o bien «B también es verdad», otra conclusión).
Un ejemplo en español: La regla se puede expresar el lenguaje formal como: o como donde la regla es que cada vez que aparecen las instancias de «
» en las líneas de se puede colocar en una prueba, «
en un sistema lógico; y se expresa como una tautología funcional verdadera o teorema de la lógica proposicional: y donde
son proposiciones expresadas en algún sistema formal.