To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
Spanish Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Absorción (lógica)

De Wikipedia, la enciclopedia libre

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 si implica , entonces implica y . La regla hace 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]

La absorción puede escribirse formalmente como:

o sea: siempre que aparezca una instancia de "" en una línea de alguna prueba, "" se puede concluir en la línea siguiente.

Notación formal

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ún sistema lógico;

y expresado como una tautología o teorema de la lógica proposicional. El principio fue establecido 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.

Demostración por tabla de verdad

v v v V
v F F F
F v v v
F F v v


Prueba formal

Proposición Derivación
Implicación
Implicación material
Ley del tercero excluido
Conjunción
Distribución inversa
Implicación material

Referencias

  1. Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic. Prentice Hall. p. 362. 
  2. http://www.philosophypages.com/lg/e11a.htm
  3. Russell y Whitehead, Principia mathematica

Enlace externo

Esta página se editó por última vez el 12 oct 2020 a las 16:03.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.