Está en la página 1de 3

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:
c. Expresión simbólica: {[𝒑 → (𝒒 ∨ 𝒓)] ∧ (𝒔 →∼ 𝒒) ∧ (𝒕 →∼ 𝒓) ∧ (𝒑 ∧ 𝒕)} → 𝒒
Premisas
P1: 𝒑 → (𝒒 ∨ 𝒓)
P2: 𝒔 →∼ 𝒒
P3: 𝒕 →∼ 𝒓
P4: 𝒑 ∧ 𝒕
Conclusión: 𝒒

Definición de las proposiciones simples


P= Estudio en la UNAD
Q= estudio virtual
R= estudio a presencial
S= soy dependiente
T= estudio de a distancia
Razonamiento en lenguaje natural:
Si estudio en la UNAD entonces estudio de manera virtual o estudio presencial, y soy
dependiente entonces no estudio de manera virtual; y si estudio en la UNAD y estudio a
distancia entonces estudio de manera virtual.
TABLA DE VERDAD
p q r s t (q∨ (s→∼ (t→∼ (p∧ [p→(q∨ p→(q∨r)]∧(s (t→∼r)∧(p {[p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(
r) q) r) t) r)] →∼q) ∧t) p∧t)}→q

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

F f F F F f V V F V V F V

Simulador truth table:


Leyes de inferencia:
P1: 𝒑 → (𝒒 ∨ 𝒓)
P2: 𝒔 →∼ 𝒒
P3: 𝒕 →∼ 𝒓
P4: 𝒑 ∧ 𝒕

5. 𝒕 = 𝑺𝒊𝒎𝒑 (𝟒).
6. 𝒑 = 𝑺𝒊𝒎𝒑 (𝟒).
7. ∼ 𝒓 = 𝑴𝑷𝑷 (𝟑), (𝟓)
8. 𝒒 ∨ 𝒓 = 𝑴𝑷𝑷 (𝟏), (𝟔)
9. 𝒒 = 𝑺𝑫 (𝟕), (𝟖) 𝑪𝒐𝒏𝒄𝒍𝒖𝒔𝒊𝒐𝒏