Tarea 3

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 5

Tarea 3: Problemas de aplicación II

Expresar los siguientes enunciados en Lenguaje natural relacionada con la dinámica de la Universidad de
su rol como estudiante y demostrar la validez del argumento dado a través de:

 Uso de las tablas de verdad.


 Uso de las reglas de inferencia.
 Uso del simulador Truth Table.

Uso de las reglas de inferencia.

{ [ p → ( q ∨r ) ] ∧ ( s →∼q ) ∧ ( t →∼ r ) ∧ ( p ∧t ) }→ q

P: entrare a la universidad

q: estudiare de noche

r: trabajare en la mañana

s: tendre suficiente tiempo para entregar los trabajos

t: estudiare en la UNAD

P1: [ p → ( q ∨ r ) ]

P2: ( s →∼q )
P3: ( t → ∼ r )

P4: ( p ∧t )

Conclusión: q

[p→(q∨r)]: si entrare a la universidad entonces estudiare de noche

(s→ ∼q): si trabajare en la mañana entonces tendre suficiente tiempo para entregar los trabajos

[p→(q∨ r)] ∧ ( s →∼ q ): si entrare a la universidad entonces estudiare de noche y si trabajare en la mañana entonces
tendre suficiente tiempo para entregar los trabajos.

(t→ ∼ r ): estudiare de noche y tendre suficiente tiempo para entregar los trabajos

(p∧t): entrare a la universidad y trabajare en la mañana

{[p→(q∨r)]∧ (s→ ∼q) ∧ (t→ ∼r) ∧ (p∧t)}: si entrare a la universidad entonces estudiare de noche y trabajare en la
mañana entonces tendre suficiente tiempo para entregar los trabajos y si estudiare de noche y tendre suficiente
tiempo para entregar los trabajos y entrare a la universidad y trabajare en la mañana.

{[p→(q∨r)]∧ (s→ ∼q) ∧ (t→ ∼r) ∧ (p∧t)}→q: si entrare a la universidad entonces estudiare de noche y trabajare
en la mañana entonces tendre suficiente tiempo para entregar los trabajos y si estudiare de noche y tendre
suficiente tiempo para entregar los trabajos y entrare a la universidad y trabajare en la mañana entonces estudiare
en la UNAD.
 { [ p → ( q ∨r ) ] ∧ ( s →∼q ) ∧ ( t →∼ r ) ∧ ( p ∧t ) }→ q

p q r s t ∼p ∼q ∼r ∼ s ∼t [ p → ( q ∨ r()s] →∼q( t)→ ∼( rp)∧t ){ [ p → ( q ∨r ) ] ∧ ( s →∼q ) ∧ ( tq→∼ ) ∧( qp∨r


{ [ pr→ ∧t))] }∧ ( s →∼q ) ∧ ( t →∼ r ) ∧ ( p ∧t ) }

V V V V V F F F F F V F F V F V V
V V V V F F F F F V V F V F F V V
V V V F V F F F V F V V F V F V V
V V V F F F F F V V V V V F F V V
V V F V V F F V F F V F V V F V V
V V F V F F F V F V V F V F F V V
V V F F V F F V V F V V V V V V V
V V F F F F F V V V V V V F F V V
V F V V V F V F F F V V F V F F V
V F V V F F V F F V V V V F F F V
V F V F V F V F V F V V F V F F V
V F V F F F V F V V V V V F F F V
V F F V V F V V F F F V V V F F V
V F F V F F V V F V F V V F F F V
V F F F V F V V V F F V V V F F V
V F F F F F V V V V F V V F F F V
F V V V V V F F F F V F F V F V V
F V V V F V F F F V V F V V F V V
F V V F V V F F V F V V F V F V V
F V V F F V F F V V V V V V F V V
F V F V V V F V F F F F V V F V V
F V F V F V F V F V F F V V F V V
F V F F V V F V V F F V V V F V V
F V F F F V F V V V F V V V F V V
F F V V V V V F F F V V F V F F V
F F V V F V V F F V V V V V V F F
F F V F V V V F V F V V F V F F V
F F V F F V V F V V V V V V V F V
F F F V V V V V F F V V V V V F V
F F F V F V V V F V V V V V V F V
F F F F V V V V V F V V V V V F V
F F F F F V V V V V F V V V F F V
Uso del simulador Truth Table.

También podría gustarte