Introducción de la disyunción o adición[1][2][3] es una simple forma de argumentoválido, una inferencia inmediata y una regla de inferencia de la lógica proposicional. La regla hace posible la introducción de disyunciones de pruebas lógicas. Es la inferencia de que si P es verdad, entonces P o Q tiene que ser verdad.
Sócrates es un hombre.
Por lo tanto, o bien Sócrates es un hombre o unos cerdos están volando en formación sobre el canal inglés.
La regla se puede expresar como:
donde la regla es que cada vez que aparecen las instancias de "" en las líneas de se puede colocar en una prueba, "" en una línea posterior.
introducción, disyunción, adición, simple, forma, argumento, válido, inferencia, inmediata, regla, inferencia, lógica, proposicional, regla, hace, posible, introducción, disyunciones, pruebas, lógicas, inferencia, verdad, entonces, tiene, verdad, sócrates, hom. Introduccion de la disyuncion o adicion 1 2 3 es una simple forma de argumento valido una inferencia inmediata y una regla de inferencia de la logica proposicional La regla hace posible la introduccion de disyunciones de pruebas logicas Es la inferencia de que si P es verdad entonces P o Q tiene que ser verdad Socrates es un hombre Por lo tanto o bien Socrates es un hombre o unos cerdos estan volando en formacion sobre el canal ingles La regla se puede expresar como P P Q displaystyle frac P therefore P lor Q donde la regla es que cada vez que aparecen las instancias de P displaystyle P en las lineas de se puede colocar en una prueba P Q displaystyle P lor Q en una linea posterior En la logica paraconsistente la introduccion de la disyuncion es controversial porque en combinacion con otras reglas de la logica conduce a la explosion es decir todo se vuelve demostrable Ver compensaciones en la logica paraconsistente Notacion formal EditarLa regla de introduccion de la disyuncion puede escribirse en la notacion subsiguiente P P Q displaystyle P vdash P lor Q donde displaystyle vdash es un simbolo metalogico que significa que P Q displaystyle P lor Q es una consecuencia sintactica de P displaystyle P en algun sistema logico y se expresa como una tautologia funcional verdadera o teorema de la logica proposicional P P Q displaystyle P to P lor Q donde P displaystyle P y Q displaystyle Q son proposiciones expresadas en algun sistema formal Referencias Editar Hurley Moore and Parker Copi y CohenEnlaces externos EditarEsta obra contiene una traduccion total derivada de Disjunction introduction de la 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 3 0 Unported Datos Q5282267Obtenido de https es wikipedia org w index php title Introduccion de la disyuncion amp oldid 118075930, wikipedia, wiki, leyendo, leer, libro, biblioteca,