Análisis de Argumentos Lógicos: Aplicación de Tablas de Verdad y Reglas de Inferencia, Apuntes de Matemáticas

¡Descarga Análisis de Argumentos Lógicos: Aplicación de Tablas de Verdad y Reglas de Inferencia y más Apuntes en PDF de Matemáticas solo en Docsity! PENSAMIENTO LÓGICO Y MATEMÁTICO  Tarea 1 Métodos para probar la validez de argumentos Edisson Guillermo Cely mozo Grupo (200611B_1144) Universidad Nacional Abierta y a Distancia UNAD Carrera ingeniería industrial Sogamoso 2022 INTRODUCCIÓN: En este trabajo podrás analizar mediante ejercicios como la aplicación de tablas de verdad y reglas de inferencia para comprobar los argumentos que podemos encontrar en la vida cotidiana y profesional. OBJETIVOS:  Completar los ejercicios de análisis, desarrollo de preposiciones y usar tablas de verdad para probar argumentos.  Implementar la escritura de proposiciones compuestas en lenguaje natural.  Identificar diferentes leyes de razonamiento. EJERCICIO 1.A Proposiciones y tablas de verdad. (Conjuntos numéricos, estructuras, s.f.) p: El pacto de Colombia con las juventudes es una estrategia del Gobierno  q: El pacto de Colombia con las juventudes escucha a los jóvenes  r: Permite construir soluciones a los retos del País  Lenguaje simbólico:  ( p→r )→q  Lenguaje natural: Si el pacto de Colombia con las juventudes es una estrategia del gobierno entonces permite construir soluciones a los retos del país, por lo tanto, el pacto de Colombia con las juventudes escucha a los jóvenes.  Tabla de verdad manual: 𝑝 𝑟 q ( p→r ) ( p →r )→q V V V V V V F V F V V V F V F F F F V F F V F V F F F V V V  Lenguaje simbólico:  p: Colombia cuenta con las costas del mar caribe q: Colombia está en una posición privilegiada r: Colombia cuenta con el océano pacifico. p →q q → r p →r  Ley de inferencia aplicada:  Ley del silogismo hipotético (SH).  Conclusión: Si Colombia cuenta con las costas del mar caribe por lo tanto Colombia cuenta con el océano pacifico. EJERCICIO 4.A Problemas de aplicación. (Matemáticas discretas: aplicaciones y ejercicios., s.f.)  Expresión simbólica:  [( p⟶q)∧( p ∧ s)]→ q Premisas: P1: ( p⟶q) P2: ( p ∧ s) Conclusión: q  Proposiciones simples: p: Edisson estudia las temáticas. q: Edisson pasa pensamiento lógico. s: Edisson asiste a las clases.  Lenguaje natural: Si Edisson estudia las temáticas entonces Edisson pasa pensamiento lógico y si Edisson estudia las temáticas y Asiste a las clases, entonces Edisson pasa pensamiento lógico.  Tabla de verdad manual: p q s ( p⟶q) ( p ∧ s) ( p⟶q)∧( p∧ s) [( p⟶q)∧( p ∧ s)]→ q V V V V V V V V F F F F F V V F V F V F V V V F V F F V F F F V F F V F F V V F F V F V F V F F V F F V V F F V  Tabla de verdad simulador UNAD:  Demostración de la validez del argumento mediante las Leyes de Inferencia: [( p⟶q)∧( p ∧ s)]→ q Premisas: P1: ( p⟶q) P2: ( p ∧ s) Conclusión: q P3: s⟶q ...… (PP 1,2) Modus ponendo ponens. P4: q …… (SH 1,3) Silogismo hipotético. CONCLUSIÓN: A partir de este trabajo, puedo concluir que se pueden desarrollar ejercicios de preposición y se pueden usar tablas de verdad para verificar argumentos. Así como identificar y utilizar diferentes leyes del razonamiento. Referencias Conjuntos numéricos, estructuras. (s.f.). Obtenido de https://elibro- net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20 Matemáticas discretas: aplicaciones y ejercicios. (s.f.). Obtenido de https://elibro- net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30 Una introducción a las matemáticas discretas. (s.f.). Obtenido de https://elibro- net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59