Logica matematica ejercicios, Ejercicios de Lógica Matemática

¡Descarga Logica matematica ejercicios y más Ejercicios en PDF de Lógica Matemática solo en Docsity! 1 Guía de actividades y rúbrica de evaluación — Tarea 1 Métodos para probar la validez de argumentos OCTUBRE 2021. Universidad Nacional Abierta y a Distancia UNAD Bogotá DC LOGICA MATEMATICA Objetivos Aplicar las tablas de verdad y reglas de inferencia para probar la validez de argumentos. Actividades 1. continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1: A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes Ítems: > Escriba la proposición compuesta propuesta en lenguaje natural. > Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o contradicción. > Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez de argumentos. > Realizar un vídeo donde explique la forma como fue desarrollado el ejercicio 1 seleccionado. La realización del vídeo puede ser con la cámara del celular, cámara del pc u otra alternativa que se le facilite. El estudiante debe aparecer en la grabación de frente y mostrar a la cámara su documento de identificación, ocultando el número del mismo (En la imagen se debe ver claramente el nombre y apellidos del estudiante). Deberá subir el link del vídeo a youtube u otra plataforma de vídeos y pegar el enlace debajo de la solución del ejercicio en el documento final a entregar. El vídeo no debe superar los 3 minutos de duración. p: Alcalde de Cali acuerda pacíficamente desbloquear vías. q: Manifestantes firmaron el acuerdo. r: Se da el primer desbloqueo de vías con respeto a la movilización. (PAQ>(p>r) R:/ Alcalde de Cali acuerda pacíficamente desbloquear vías y Manifestantes firmaron el acuerdo, entonces Alcalde de Cali acuerda pacíficamente desbloquear vías si Se da el primer desbloqueo de vías con respeto a la movilización Pp (q r prmq Pp>=Tr ((pAq)-(P-T) v o|v v v v v b. Ley de inferencia aplicada: Modus tollendo ponens c. Lenguaje simbólico: pvaq 4 Ejercicio 4: Problemas de aplicación > Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en un contexto, el que se solicita es un contexto académico, ejemplo: + p: Carlos estudia en la UNAD + q: La UNAD es una Universidad Pública > Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas correctivas estipuladas por la UNAD. > Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo manual). > Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el entorno de 14 aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez de argumentos. > Demostración de la validez del argumento mediante las leyes de la inferencia lógica C. Expresión simbólica (—qvp A(s > =p)As] > (PA q) Premisas: Pl: -qvp P2:s> —p P3:s Conclusión: —p A —q Q: la película de matemática es buena P: todos ven la serie de química S: todos aman leer NO es buena la película de matemática O todos ven la serie de química, Y todos aman leer ENTONCES NO todos aman leer, Y todos aman leer, ENTONCES NO todos ven la serie de quimica Y NO es buena la película de matemática q|p|[s|[= [-p|=qv|s> [=pA |[(-qvp) |(Hqvp) |l(-qvp)A q p Pp [q |A A (s > —p) (s =p) |(s - As] > PAS |pA-g) viviv]e [re (v |E E E E v vivle]e [e (v |v |E E E v vlelv]e |v E Vo |E E E v V|E|E]E [v E vo |FE E E v eElv| viv [e [v le E E E v Elv|e]v]e |v |v le E E v Ele viv ]v [lv |v lv v v v Eleje[v [vv [lv lv v E v | Pp | q | s | (CAVp)IAs plas) (pa-q) “ | 0 | , | v “ | , | v | v “ | , | , | v ' | 0 | v | v ' | 0 | , | v ' | , | , | v Bibliográficas + https://www.youtube.com/watch? v=5la1kdemzDs8dist=RDCMUCanMxWvOoiwtiLYm08Bo8QQ€:index=28ab_channel= Matem2%C3%AlticasprofeAlex + https://repository.unad.edu.co/reproductor-ova/10596 31590/06.slide.html + Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid. + 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). e Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 34- 37). México, D.F, Larousse - Grupo Editorial Patria. Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 34- 37). México, D.F, Larousse - Grupo Editorial Patria. 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). Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. Volumen |: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores.