PROPOSICIONES SIMPLES Y COMPUESTAS, TABLAS DE VERDAD, MÉTODOS DE DEMOSTRACIÓN, RAZONAMIENTOS LÓGICOS, INFERENCIA LÓGICA Y ARGUMENTOS LÓGICOS.
PRESENTADO POR: WENDY DAYANNA BARRIOS CAICEDO
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD INGENIERIA INDUSTRIAL IBAGUE-TOLIMA 2018
PROPOSICIONES SIMPLES Y COMPUESTAS, TABLAS DE VERDAD, MÉTODOS DE DEMOSTRACIÓN, RAZONAMIENTOS LÓGICOS, INFERENCIA LÓGICA Y ARGUMENTOS LÓGICOS.
PRESENTADO POR: WENDY DAYANNA BARRIOS CAICEDO GRUPO: 200611_294 CEAD IBAGUÉ
TUTOR: DIEGO ALEJANDRO CARDONA PENSAMIENTO LOGICO Y MATEMATICO ACTIVIDADES PASO 4
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD INGENIERIA INDUSTRIAL IBAGUÉ-TOLIMA 2018
INTRODUCCION
A continuación veremos como tema principal las Leyes de Inferencia, las cuales se basan en analizar premisas y asi llevarnos a una colclusion final, en el desarrollo del trabajo, podremos osbervar diferentes tipos de leyes de inferencia, asi como nos puede dar una igualdad si realizamos un ejercicio por el método de Tablas de Verdad, las reglas de inferencia, desprende muchas formas de llegar a una colclusion, en modo de presentación, enseñare algunas de ellas.
OBJETIVOS
• • • •
Desarrollar las diferentes actividades estipuladas en la guía de aprendizaje. Aplicar las reglas de Inferencia en los ejercicios escogidos. Argumentar si un razonamiento es deductivo o inductivo. In¿mplementar el simulador de tablas de verdad.
Tarea 1: Conceptualizacion de las reglas de inferencia.
A. Silogismo Disyuntivo, Modus Tollendo Tollens y Adicion.
https://prezi.com/view/Hl7CTP6hfiaYBlf5ow2V/
Tarea 2. Problemas de aplicación I. Tabla de verdad manual: [ ( p → q ) ^ ¬ [ ( p ^ r ) → q ] ^ ¬ p ] → r V V V F V V V V V F F V V V V V F V F F V V F F V F V F F F V V V F F F F V V V F F F V F F V F F F V F F V V F F F V V V F V V V F V V F F F F V V F V V F F V F F F F V V F F V V V F V F F F F F V F F V V F Tabla de verdad simulador Truth Table: p
q
r
[(p→q)Λ¬[(pΛr)→q]Λ¬p]→r
T T T T F F F F
T T F F T T F F
T F T F T F T F
T T T T T T T T
Aplicación de reglas de inferencia:
a. “Si camino 7 metros hacia adelante, entonces me desplazo. Pero no es cierto que (si camino 7 metros hacia adelante y camino 7 metros en sentido contrario, entonces me desplazo). No camino 7 metros hacia adelante. Por lo tanto, camino 7 metros en sentido contrario”. p q r
Camino 7 metros hacia adelante Me desplazo Camino 7 metros en sentido contrario
[(p →q)^¬[(p^r) →q]^¬p] →r C: r
1. (p→q) 2. ¬(p^r) →q 3. ¬p ____________________ 4. ¬q
P.P (1;3)
p→q ¬p. = ¬q
5. p^r
T.T (2;4)
¬(p^r) →q ¬q = p^r
6. r
S (5)
p^r = r
Tarea 3: Razonamiento Deductivo e Inductivo. a. Después de mucho analizar el caso, el investigador German hace de la siguiente argumentación: “Si Martha estaba en la tienda a la hora de la novela y Joaquín salió a buscar a Martha justo cuando se terminaba la novela, pero Javier afirma que vio a Joaquín salir de su casa un minuto después de Martha y la tendera Carla afirma que Martha nunca fue esa noche a la tienda, entonces es probable que los sospechosos estén mintiendo”. El anterior es un razonamiento Deductivo, por que va de lo general a lo particular, es probable que estén mintiendo por que la tendera afirma que Martha no estuvo esa noche en su tienda, además de ello, que, Javier afirma que ve salir a Joaquín un poco después, la hubiese encontrado inmediatamente en la tienda, o donde quiera que hubiese salido, por este motivo cabe afirmar que es un razonamiento deductivo.
CONCLUSIONES
• • • •
Las leyes de inferencia nos permiten determinar proposiciones afirmando si son falsas o verdaderas. Los razonamientos son textos, los cuales podemos definir si son deductivos o inductivos dependiendo de donde parten. Las tablas de verdad nos permiten definir asi como las leyes de inferencia, si una premisa es verdadera o falsa. Los argumentos lógicos parten de redactar de forma concisa el porque de un suceso o hecho.