Simplificación

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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:

2 es un número par y 2 es un número primo.
Luego 2 es un número par.

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[editar]

La regla de introducción de la disyunció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[editar]

  1. Copi and Cohen
  2. Moore y Parker
  3. Hurley

Enlaces externos[editar]

La simplificación de una fracción consiste en transformarla en unafracción equivalente más simple. En la simplificación de fracciones se dividide numerador y denominador por un mismo número. Se empieza a simplificar probando por los primeros números primos: 2, 3, 5, 7, ... Es decir, probamos a dividir numerador y denominador entre 2mientras se pueda, después pasamos al 3 y así sucesivamente. Se repite el proceso hasta que no haya más divisores comunes.