¡Descarga logica matematica universidad y más Ejercicios en PDF de Lógica solo en Docsity!
“voy a desarrollar los ejercicios B”
Ejercicio 1:
B)
p: Diego es deportista de alto rendimiento q: Diego debe entrenar todos los días r: Diego llena una vez por semana su tabla de rendimiento físico (𝑝 → 𝑞) ∨ (~𝑟)
o Escriba la proposición compuesta propuesta en lenguaje natural.
Diego es deportista de alto rendimiento entonces diego debe entrenar todos los días O Diego NO llenara una vez por semana su tabla de rendimiento físico
o 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.
p q r (𝑝^ →^ 𝑞)^ (~𝑟)^ (𝑝 → 𝑞)^ ∨^ (~𝑟)
V V V V F V
V V F V V V
V F V F F F
V F F F V V
F V V V F V
F V F V V V
F F V V F V
F F F V V V
• Es una contingencia.
o 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
p ˅q
↽ p
q
o Ley de inferencia de la expresión:
Tollendo ponens
o Proposiciones simples:
p: Andrés estudia lógica matemática. q: Andrés pasara el examen.
o Lenguaje Natural:
Andrés estudia lógica matemática O Andrés pasara el examen. Andrés NO estudia lógica matemática. Por tanto, Andrés pasara el examen.
p
q
p ∧q
o Ley de inferencia de la expresión:
Adjunción
o Proposiciones simples:
p: Andrés estudia lógica matemática. q: Andrés pasara el examen.
o Lenguaje Natural:
Andrés estudia lógica matemática. Andrés pasara el examen. Andrés estudia lógica matemática y Andrés pasara el examen.
Ejercicio 4:
A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento para el desarrollo: B)
o Expresión simbólica:
[(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ r ∧ ¬𝑞)] → 𝑞 Premisas: P1: 𝑝 → 𝑞 P2: 𝑝 ∨ 𝑟 p3: ¬r∧¬𝑞 Conclusión: q
o Proposiciones simples:
p: maicol quiere estudiar. q: maicol va a la universidad a distancia. r: maicol sabe que la UNAD es una universidad de prestigio.
o Lenguaje Natural:
Maicol quiere estudiar entonces maicol va la universidad a distancia. Maicol quiere estudiar O maicol sabe que la UNAD es una universidad de prestigio. Maicol NO sabe que la UNAD es una universidad de prestigio y maicol NO va a la universidad a distancia. Por lo tanto, maicol quiere estudiar.
o Tabla de verdad manual
p q r ¬ q
r
¬r∧¬ 𝑞
[(𝑝→𝑞)∧(𝑝∨𝑟)∧(¬r∧ ¬𝑞)] [(𝑝→𝑞)∧(𝑝∨𝑟)∧(¬r∧¬𝑞 )]→𝑞 V V V F F V V F V F V V V F F V V V F V F V V F V V F F V F F F V V F F V V F V V F F V F V V F F V V F V F V F V F F V V F F F F V F F V V F V V F V F V F F F V V V F V F F V Es una tautología
o Tabla de verdad Simulador UNAD
Conclusión un argumentó lógico es un razonamiento que parte de una serie de enunciados llamados premisas se puede legar a un resultado llamado conclusión En conclusión, toda lógica está contenida en las tablas de verdad, en ellas podemos observar todas las relaciones entre las diversas proposiciones. Las operaciones que debemos hacer dependiendo de las variables. podemos demostrar la validez delargumento mediante las reglas de inferencias.
