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.

Descripción del ejercicio

Expresión simbólica: [(𝒑 ∨ (𝒒 ∧ 𝒓)) ∧ ¬(𝒒 ∧ 𝒓) ∧ (𝒑 → 𝒔)] → 𝒔

Premisas:

P1:𝑝 ∨ (𝑞 ∧ 𝑟)

P2:¬(𝑞 ∧ 𝑟)

P3:𝑝 → 𝑠

Conclusión: 𝒔

 proposiciones simples

p: Toda planta nace, se reproduce y muere.

q: Toda rosa es planta

r: Toda rosa nace, se reproduce y muere.

 Lenguaje natural.

Si toda planta nace, se reproduce y muere. Entonces no toda rosa es planta. Si las rosas

son plantas y si las plantas nacen, se reproducen y mueren. Entonces, por lo tanto, las

rosas no son plantas.

 Tabla de verdad según el lenguaje simbólico.

 Tabla de resultados
[(𝒑 ∨ (𝒒 ∧ 𝒓)) ∧ ¬(𝒒

∧ 𝒓)
𝑝 ∨ (𝑞
[(𝒑
(𝒒 ∧ (𝒑
𝒑 𝒒 ∨ (𝒒
p q r →𝒔 ∧ 𝒓) ∧ 𝑟) (𝒑 → 𝒔)] → 𝒔
∨ ∧ ∧ 𝒓))
∧( → 𝒔)]
∧¬
→𝒔

V V V F F F F V F F V

V V F F F V F V F F V

V F V F V F V F F F V

V F F F V V V V V F V

F V V V F F V V V V V

F V F V F V V V V F V

F F V V V F V F F F V

F F F V V V V V V F V
 Resultado de la tabla de verdad: Tautología

 Expresión simbólica:

[(𝒑 ∨ (𝒒 ∧ 𝒓)) ∧ ¬(𝒒 ∧ 𝒓) ∧ (𝒑 → 𝒔)] → 𝒔

 Premisas:

P1: 𝑝 ∨ (𝑞 ∧ 𝑟)

P2: ¬(𝑞 ∧ 𝑟)

P3: 𝑝 → 𝑠
Conclusión: 𝒔

 Leyes de inferencia.

Conclusión.

P3: 𝑝 → 𝑠

Contraria: 2