Esta obra contiene una traducción total derivada de «Absorption (logic)» 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:Q4669893
Octubre 19, 2023
absorción, lógica, absorción, forma, lógica, argumento, válido, regla, inferencia, lógica, proposicional, regla, establece, displaystyle, implica, displaystyle, entonces, displaystyle, implica, displaystyle, displaystyle, regla, hace, posible, introducir, conj. Absorcion es una forma logica de argumento valido y una regla de inferencia de la logica proposicional 1 2 La regla establece que si P displaystyle P implica Q displaystyle Q entonces P displaystyle P implica P displaystyle P y Q displaystyle Q La regla hace posible introducir conjunciones en pruebas Esto se llama ley de absorcion ya que el termino P displaystyle P es absorbido por el termino Q displaystyle Q en la consecuencia 3 La absorcion puede escribirse formalmente como P Q P P Q displaystyle frac P to Q therefore P to P land Q o sea siempre que aparezca una instancia de P Q displaystyle P to Q en una linea de alguna prueba P P Q displaystyle P to P land Q se puede concluir en la linea siguiente Indice 1 Notacion formal 2 Demostracion por tabla de verdad 3 Prueba formal 4 Referencias 5 Enlaces externosNotacion formal EditarLa regla de absorcion puede escribirse en la notacion subsiguiente P Q P P Q displaystyle P to Q vdash P to P land Q nbsp donde displaystyle vdash nbsp es un simbolo metalogico significando que P P Q displaystyle P to P land Q nbsp es consecuencia sintactica de P Q displaystyle P leftrightarrow Q nbsp en algun sistema logico y expresado como una tautologia o teorema de la logica proposicional El principio fue establecido como un teorema de la logica proposicional por Russell y Whitehead en Principia mathematica como P Q P P Q displaystyle P to Q leftrightarrow P to P land Q nbsp donde P displaystyle P nbsp y Q displaystyle Q nbsp son proposiciones expresadas en algun sistema logico Demostracion por tabla de verdad EditarP displaystyle P nbsp Q displaystyle Q nbsp P Q displaystyle P rightarrow Q nbsp P P Q displaystyle P rightarrow P land Q nbsp v v v Vv F F FF v v vF F v vPrueba formal EditarProposicion DerivacionP Q displaystyle P rightarrow Q nbsp Implicacion P Q displaystyle neg P lor Q nbsp Implicacion material P P displaystyle neg P lor P nbsp Ley del tercero excluido P P P Q displaystyle neg P lor P land neg P lor Q nbsp Conjuncion P P Q displaystyle neg P lor P land Q nbsp Distribucion inversaP P Q displaystyle P rightarrow P land Q nbsp Implicacion materialReferencias Editar Copi Irving M Cohen Carl 2005 Introduction to Logic Prentice Hall p 362 http www philosophypages com lg e11a htm Russell y Whitehead Principia mathematicaEnlaces externos EditarEsta obra contiene una traduccion total derivada de Absorption logic de Wikipedia en ingles concretamente de esta version publicada por sus editores bajo la Licencia de documentacion libre de GNU y la Licencia Creative Commons Atribucion CompartirIgual 4 0 Internacional nbsp Datos Q4669893 Obtenido de https es wikipedia org w index php title Absorcion logica amp oldid 147915321, wikipedia, wiki, leyendo, leer, libro, biblioteca,