UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

JOSE ACEVEDO Y GOMEZ

INGENIERIA DE SISTEMAS

PRESENTADO POR

JAINER DAVID AVILA

TUTOR

RICARDO JAVIER PINEDA

LOGICA MATEMATICA
TAREA 3 – SUSTENTACIÓN UNIDADES 1 O 2

GRUPO:

900004_16

BOGOTA D.C

2019
Ejercicio 2: Métodos para probar la validez de un argumento

a. Expresión simbólica: {(¬𝑟) ∧ (𝑞 ∨ 𝑟) ∧ (𝑞 → 𝑠) ∧ [𝑝 ∧ (𝑟 → 𝑠)]} → (𝑞 ∧ 𝑠)

Premisas:

P1: ¬𝑟
P2: 𝑞 ∨ 𝑟
P3: 𝑞 → 𝑠
P4: 𝑝 ∧ (𝑟 → 𝑠)
Conclusión: 𝑞 ∧ s

PROPOSICIONES SIMPLES:

p: No salir
q: Quedarme en casa
r: Descansar
s: Ir a un parque

RAZONAMIENTO EN LENGUAJE NATURAL:

No salir y quedarme en casa o salir, si me quedo en casa entonces descanso, si voy a un

parque y salgo entonces descanso. Entonces me quedo en casa y descanso.

 TABLA DE VERDAD:

p q r s ~r q˅r q→s r→s q^s (~r)^(qvr) (~r)^(qvr)^(q=>s) p^(r=>s) (~r)^(qvr)^(q=>s)^(p^(r=>s)) (~r)^(qvr)^(q=>s)^(p^(r=>s))=>(q^s)

V V V V F V V V V F F V F V

V V V F F V F F F F F F F V

V V F V V V V V V V V V V V

V V F F V V F V F V F V F V

V F V V F V V V F F F V F V

V F V F F V V F F F F F F V

V F F V V F V V F F F V F V

V F F F V F V V F F F V F V

F V V V F V V V V F F F F V

F V V F F V F F F F F F F V

F V F V V V V V V V V F F V

F V F F V V F V F V F F F V

F F V V F V V F F F F F F V

F F V F F V V V F F F F F V

F F F V V F V V F F F F F V

F F F F V F V V F F F F F V
LEYES DE INFERENCIA:

P1: ¬𝑟
P2: 𝑞 ∨ 𝑟
P3: 𝑞 → 𝑠
P4: 𝑝 ∧ (𝑟 → 𝑠)
Conclusión: 𝑞 ∧ s
---------------------------------------------