Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise

en el Entorno de Conocimiento (Unidad 3), la siguiente referencia:

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 3:

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

Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
Conclusión: ¬𝑝

 P. Juan tiene un automóvil

 q: aumentar la velocidad
 r: Juan llega temprano a la oficina

PREMISA P1: Si juan tiene un automóvil entonces no podrá, aumentar la

velocidad

PREMISA P2: Aumento la velocidad o no llego temprano a la oficina

 PREMISA P3: Juan llega temprano a la oficina

Expresión simbólica: [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

Si juan tiene un automóvil entonces no podrá aumentar la velocidad, y
aumento la velocidad o no podre llegar temprano a la oficina, y si llego
temprano a la oficina no podre tener un automóvil.

p q r ¬𝑞 ¬𝑟 ¬𝑠 [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

V V V F F F V

V V V F F F V

V V V F F F V

V V V V V V V

F F F F F F V

V V V V V V V

V V V F F F V

F F F V V V V

V V V F F F V

Leyes de inferencia: Mediante la aplicación de las leyes de inferencia, se demostró

la validez del argumento
Conclusión: (r) es positiva si juan llega temprano a la oficina