Este documento presenta 4 ejercicios de lógica proposicional para practicar las reglas básicas de inferencia. El primer ejercicio involucra el uso de tablas de verdad para evaluar la equivalencia lógica de proposiciones. Los ejercicios 2 y 3 demuestran conclusiones usando reglas como el silogismo hipotético, la adjunción y el modus tollendo ponens. El cuarto ejercicio también emplea tablas de verdad y demostraciones por inferencia. El objetivo general es reforzar el conocimiento
0 calificaciones0% encontró este documento útil (0 votos)
35 vistas7 páginas
Este documento presenta 4 ejercicios de lógica proposicional para practicar las reglas básicas de inferencia. El primer ejercicio involucra el uso de tablas de verdad para evaluar la equivalencia lógica de proposiciones. Los ejercicios 2 y 3 demuestran conclusiones usando reglas como el silogismo hipotético, la adjunción y el modus tollendo ponens. El cuarto ejercicio también emplea tablas de verdad y demostraciones por inferencia. El objetivo general es reforzar el conocimiento
Este documento presenta 4 ejercicios de lógica proposicional para practicar las reglas básicas de inferencia. El primer ejercicio involucra el uso de tablas de verdad para evaluar la equivalencia lógica de proposiciones. Los ejercicios 2 y 3 demuestran conclusiones usando reglas como el silogismo hipotético, la adjunción y el modus tollendo ponens. El cuarto ejercicio también emplea tablas de verdad y demostraciones por inferencia. El objetivo general es reforzar el conocimiento
Este documento presenta 4 ejercicios de lógica proposicional para practicar las reglas básicas de inferencia. El primer ejercicio involucra el uso de tablas de verdad para evaluar la equivalencia lógica de proposiciones. Los ejercicios 2 y 3 demuestran conclusiones usando reglas como el silogismo hipotético, la adjunción y el modus tollendo ponens. El cuarto ejercicio también emplea tablas de verdad y demostraciones por inferencia. El objetivo general es reforzar el conocimiento
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
Descargar como docx, pdf o txt
Está en la página 1/ 7
Universidad Nacional Abierta y a Distancia
Asignatura Pensamiento Lógico y matemático
Tarea 1. Guía de actividades
Métodos para probar validez de argumentos
Presentado por:
XXXXXXXXXX
Colombia
Marzo 12 de 2022 Introducción
En el presente texto se desarrollan 4 ejercicios de lógica inferencial con el objetivo de
afianzar el conocimiento y la manipulación de las propiedades de las proposiciones y las reglas básicas de inferencia, además se utiliza el software “” para comprobar mediante tablas de verdad los ejercicios 1 y 4.
Objetivos
El objetivo principal de este trabajo es poner en práctica los conocimientos básicos de las reglas básicas de inferencia, además se busca interpretar de manera correcta la lectura de simbología y el cambio a lenguaje común. Además de poder deducir resultados de proposiciones compuestas gracias a las reglas de la inferencia lógica en diferentes situaciones de la vida cotidiana.
Desarrollo
En este trabajo se desarrollan los ejercicios del literal C de la guía.
1. Ejercicio 1C: p: Sofía se inscribió en la UNAD q: Sofía estudia música r: A Sofía le gusta el aprendizaje autónomo
( p ∧q) ↔ r
Solución
Sofía se inscribió en la UNAD y Sofía estudia música es equivalente a que
Sofía le gusta el aprendizaje autónomo Tabla de verdad manual Tabla de verdad con simulador
Link del video
2. Ejercicio 2C
Solución
Reglas de inferencia:
Silogismo hipotético Adjunción
Modus Tollendo Ponens
Definición proposiciones
p: Alirio estudia toda la noche
q: Alirio aprueba el examen r: Alirio pasa el semestre s: Alirio obtiene su grado t: Alirio alcanza un buen empleo
Lenguaje natural
Silogismo hipotético
Si Alirio no obtiene su grado entonces Alirio pasa el semestre
Si Alirio pasa el semestre, entonces Alirio alcanza un buen empleo Si Alirio no obtiene su grado, entonces Alirio alcanza un buen empleo Adjunción
Alirio estudia toda la noche
Alirio no aprueba el examen Alirio estudia toda la noche y Alirio no aprueba el examen
Modus Tollendo Ponens
Alirio pasa el semestre y Alirio no obtiene su grado
Alirio obtiene su grado Alirio pasa el semestre
3. Ejercicio 3C
C. En el almuerzo de hoy comeré mojarra frita con arroz de coco o un mote de ñame con suero. En el almuerzo de hoy no comeré un mote de ñame con suero.
a) Lenguaje simbólico:
p: Comeré mojarra frita con arroz de coco
q: Comeré un mote de ñame con suero
b) Ley de inferencia aplicada:
p⋁q ¬q ∴p Modus Tollendo Ponens
c) Conclusión:
P: Comeré mojarra frita con arroz de coco
4. Ejercicio 4C Definición proposiciones
p: Alirio estudia toda la noche
q: Alirio No aprueba el examen r: Alirio pasa el semestre
Lenguaje natural
Si Alirio estudia toda la noche entonces Alirio aprueba el examen Y si Alirio No
aprueba el examen o Alirio no pasa el semestre Y Alirio pasa el semestre entonces implica que Alirio no estudia toda la noche
Tabla de verdad Tabla con simulador
Demostración por inferencia
P 4 : q(modus tollendo ponens P 2 y P 3)
Conclusión:¬ p(modus tollendo Tollens P 1 y P 4 )
Conclusiones
Se puede observar que las reglas de inferencia permiten demostrar proposiciones de manera más sencilla sin embargo su proceso es de mayor cuidado dado que hay que tener claro que ley se debe aplicar. Además el simulador de Lógica de la UNAD permite realizar una verificación de proposiciones de manera muy sencilla y práctica.
Referencias
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.
Córdoba, AR: El Cid Editor. (pp. 40-49). Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). México, D.F, Larousse - Grupo Editorial Patria.
