Introducción El propósito de este trabajo es el desarrolle habilidades, analice, interprete de la lógica de cada punto, conocer y manejar cuantificadores para poder serlos explícito en una presentación didáctica, entender proposiciones y manejar una tabla de verdad, se resuelve y se identifica la proposición compuesta que puede ser tautología, contradicción o contingencia. Objetivos
Comprender los conceptos fundamentales de la lógica proposicional y aplicarlos
para la solución de problemas. Conceptualizar las proposiciones con cuantificadores Resolver problemas mediante la lógica proposicional y las tablas de verdad. Tarea 1 - Proposiciones y Tablas de Verdad Ejercicio 1: Conceptualización de Cuantificadores Ejercicio 2: Proposiciones y Tablas de Verdad Argumento: A. Si Elisa es docente de matemáticas entonces enseña el curso de Estadística o el de Lógica matemática. Y si ella dicta Herramientas digitales, entonces Elisa no es docente de matemáticas.
Proposiciones Simples: (se define cada proposición simple del argumento, siempre en afirmativo y con letras en minúscula).
p: Elisa es docente de matemáticas
q: entonces enseña el curso de Estadística o el de Lógica matemática r: Si dicta Herramientas digitales, entonces Elisa no es docente de matemáticas
Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico
(p ∧ q) ∨ (~q→r)
Lenguaje natural de la exposición formal:
p →q: Elisa es docente de matemáticas
¬q→r: enseña el curso de Estadística o el de lógica matemáticas, y si dicta
Herramientas digitales entonces no es docente de matemáticas.
p →q ∨ ¬q→r: Si Elisa es docente de matemáticas entonces enseña el curso
de Estadística o el de Lógica matemática. Y si ella dicta Herramientas digitales, entonces Elisa no es docente de matemáticas. P q R (p∧q)∨(~q→r) V V V V V V F V V F V V V F F F F V V V F V F V F F V V F F F F
Simulador lógica UNAD:
El argumento es contingencia. Tiene valores falsos y verdaderos.
Ejercicio 3: Problemas de aplicación
Expresión formal o simbólica (dada en el planteamiento del ejercicio):
[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p) Definición de las proposiciones simples
p: participo en los CIPAS
q: participo en los B-learning
r: obtengo buenas calificaciones
Lenguaje natural de la expresión formal:
Si participo en los CIPAS entonces participo en los B-learning. Si no participo en los CIPAS entonces obtengo buenas calificaciones. Por lo tanto, si no obtengo buenas calificaciones entonces participo en los CIPAS
Tabla de la verdad:
p q r s ∼ ∼ (p⟶q (∼p (r⟶s (∼q⟶s [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟) [(𝑝⟶𝑞)∧(∼𝑝⟶
p q ) ⟶r) ) ) ∧(r⟶s)] 𝑟)∧(r⟶s) ] ⟶ (∼q⟶s) V V V V F F V V V V V V V V V F F F V V F V F V V V F V F F V V V V V V V V F F F F V V V V V V V F V V F V F V V V F V V F V F F V F V F F F V V F F V F V F V V V F V V F F F F V F V V F F V F V V V V F V V V V V V F V V F V F V V F F F V F V F V V F V F V V F V F V F F V F V F V F F V F F V V V V F V V V V V F F V F V V F V F F F V F F F V V V F F V V F V F F F F V V F F V F F V Resultado de la tabla de verdad: TAUTOLOGÍA Conclusiones
La conceptualización de las proposiciones con cuantificadores de una forma clara y precisa
del tema escogido y los ejemplos solicitados.
La solución de problemas mediante el uso de la lógica proposicional con la definición de
las proposiciones simples y la construcción de las tablas de verdad. Referencias bibliográficas
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de