PENSAMIENTO LÓGICO MATEMÁTICO

TAREA 4 – SUSTENTACIÓN UNIDADES 1, 2 O 3

KEYLLY ANDREA ARIAS GARZON cc:1059917459

GRUPO:200611_835
TUTOR: Amelia Elizabeth Córdoba

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA_ UNAD

LICENCIATURA ENPEDAGOGIA INFANTIL
EL BORDO CAUCA
MAYO 2020
Ejercicio 2

Expresión simbólica:

{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)

Determinación de Premisas:
P1: (𝑝 → 𝑞) ∨ 𝑟
P2: 𝑟 →∼p
P3: 𝑝 ∧ 𝑠
Conclusión: 𝑞 ∧ s

Desarrollo:

 Proposiciones simples:

p: voy en motocicleta
q: aumentar la velocidad  
r: llego tardea a la escuela
s: pierdo el examen
P3: 𝑝 ∧ 𝑠
Conclusión: 𝑞 ∧ s

 Razonamiento en lenguaje natural:

Si voy en motocicleta entonces aumento la velocidad   o llego tarde a la

escuela y si llego tarde a la escuela entonces no voy en motocicleta, Por
lo tanto voy en motocicleta y pierdo el examen aumento la velocidad   y
pierdo el examen
P1: (𝑝 → 𝑞) ∨ 𝑟 = voy en motocicleta entonces aumento la velocidad   o llego
temprano a la universidad
P2: 𝑟 →∼p si llego temprano a la Universidad entonces no voy en motocicleta
P3: p∧s:= voy en motocicleta y pierdo el examen

 Generar la tabla de verdad manualmente:

{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)
  Generar la tabla de verdad con el simulador Lógica UNAD

leyes de inferencia:
La valides de la tabla es de Tautología
Mediante la ley de inferencia se demostró la valides de la tabla de la verdad es tautología ya
que dice que si toda la tabla sale verdad es tautología.
Premisas:
P1: (𝑝 → 𝑞) ∨ 𝑟
P2: 𝑟 →∼
P3: 𝑝 ∧ 𝑠
Conclusión: 𝑞 ∧ s