Leyes de De Morgan


Absorción (lógica)
Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional.1 2 La regla establece que se  implica , entonces  implica  y . La reglahace posible introducir conjunciones en pruebas. Esto se llama ley de absorción ya que el término  es "absorbido" por el término  en la consecuencia.3 Formalmente:

o sea: siempre que aparezca unainstancia de "" en una línea de alguna prueba, "" se puede concluir en la línea siguiente.
Índice
  [mostrar] 
Notación formal[editar]
La regla de absorción puede escribirse en la notación subsiguiente:donde  es un símbolo metalógico significando que  es consecuencia sintáctica de  en algúnsistema lógico;
y expresado como una tautología o teorema de la lógica proposicional. El principio fueestablecido como un teorema de la lógica proposicional por Russell y Whitehead en principia mathematica como:

donde , y  son proposiciones expresadas en algún sistema lógico.

Negación lógica
Para otros usosde este término, véase negación.
En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos.Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa. En lógica clásica la negación está normalmente identificada con la función de verdad que cambiasu valor de verdadero a falso y viceversa. En Lógica intuicionista, de acuerdo a la interpretación BHK, la negación de una proposición p es la proposición cuyas pruebas son las refutaciones de p. Enla semántica de Kripke, donde los valores semánticos de las fórmulas son conjuntos de posibles mundos, la negación de p, es su complemento.


Definición
La negación clásica es una operación sobreun valor de verdad, típicamente, el valor de una proposición, que produce un valor de verdadero cuando su operando es falso, y un valor de falso cuando su operando es verdadero. Por tanto, si el...