SIMPLIFICACIÓN

 

 

 

 

 

 

 

 

 

 

 

 

En lógica proposicional, la simplificación1 2 3 (equivalente a la eliminación de la conjunción) 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 y B también es verdad. La regla permite acortar las pruebas más largas mediante la derivación de una de las conjunciones de una conjunción en una línea por sí misma.

EJEMPLO