Beruflich Dokumente
Kultur Dokumente
Descripción del ejercicio: Socializar en el Foro diseñado para el desarrollo de la actividad unidad
2, un mapa conceptual que encierre los conceptos básicos de la presente unidad que son:
• Lógica Matemática
• Razonamientos Lógicos
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.
Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de
Conocimiento (Unidad 2), las siguientes 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)
Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]
b. Un triángulo tiene tres lados, entonces la suma de los ángulos internos es 180º. Un
triángulo tiene tres lados.
Definición de preposiciones simples:
p → q : Un triángulo tiene tres lados, entonces la suma de los ángulos internos es 180º.
b. Expresión simbólica:
Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑞 ⟶∼ 𝑟
P3: ¬𝑟 → 𝑠
P4: ∼ 𝑝
P5: 𝑠 ⟶ r
Conclusión: r
p: entro a la universidad
q: no estudio
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link
de acceso al recurso)
p q r s ⌐r ⌐ (pvq) (q→ (⌐r→s) (s→r) (pvq) (q→ ⌐r) (⌐r→s) (⌐p) ∧ [(pvq)] [(pvq)∧( [(pvq) ∧( q→ ⌐r)
p
⌐r) (q→ ∧(⌐r→s) ∧ (⌐p) (s→r) ∧[(q→ q→ ⌐r) ∧(⌐r→s) ∧(⌐p) ∧
⌐r) ⌐r) ∧(⌐r→s)] (s→r)] → (r )
∧(⌐r→s)] ∧[(⌐p) ∧
(s→r)]
V V V V F F V F V V F F F F F F V
V V V F F F V F V V F F F F F F V
V V F V V F V V V F V V F F V F V
V V F F V F V V F V V F F F F F V
V F V V F F V V V V V V F F V F V
V F V F F F V V V V V V F F V F V
V F F V V F V V V F V V F F V F V
V F F F V F V V F V V F F F F F V
F V V V F V V F V V F F V V F F V
F V V F F V V F V V F F V V F F V
F V F V V V V V V F V V V F v F V
F V F F V V V V F V V F F V F F V
F F V V F V F V V V F V V V F F V
F F V F F V F V V V F V V V F F V
F F F V V V F V V F F V V F F F V
F F F F V V F V F V F F F v F F V