Simplificación
Reglas de transformación |
---|
Lógica proposicional |
Reglas de inferencia |
|
Reglas de reemplazo |
|
Lógica predicativa |
Lógica modal |
|
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). 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.
Un ejemplo en español:
- Llueve y llueve a cántaros.
- Por lo tanto, está lloviendo.
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, "" o "" en una línea posterior.
Notación formal
La regla de eliminación de la conjunción puede escribirse en la notación subsiguiente:
o como
donde es un símbolo metalógico que significa que es una consecuencia sintáctica de y es también una consecuencia sintáctica de en un sistema lógico;
y se expresa como una tautología funcional verdadera o teorema de la lógica proposicional:
y
donde y son proposiciones expresadas en algún sistema formal.
Referencias
Enlaces externos
- Esta obra contiene una traducción total derivada de «Simplification» de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.
Datos: Q9289849