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

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

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

Expresión simbólica: [ ( p ∨ q ) ∧ ( s ⟶∼r ) ∧ ( r ) ∧ ( ∼ s ⟶ ∼q ) ]⟶( p)

Premisas:

P1:( p ∨q )

P2:( s ⟶∼r )

P3: ( r )

P4: ( ∼ s ⟶∼ q )

CONCLUSION (P)

Si tengo una moto y tengo licencia; y esta al día de documentos y los

policías me paran entonces no me harán una multa

Proposiciones simples

P: Tengo moto

q: tengo licencia

r: los policías me paran

s: no me harán una multa

Tabla de verdad.
[ ( p ∨ q ) ∧ ( s ⟶∼r ) ∧ ( r ) ∧ ( ∼ s ⟶ ∼q ) ]⟶( p)

p q r s ∼r p s (p∨ q)∧( ((pvq)ᴧ(s→~r) (~s→~q) [ ( p ∨ q ) ∧ ( s ⟶∼r ) ∧ ( r ) ∧ ( ∼ s ⟶

∨ ⟶ ∼rs ⟶∼ r ) ᴧr

q
v v v v f v f f f v v
v v v f v v v v f v v
v v f v f v f f f f v
v v f f v v v v f f v
v f v v f v f f f v v
v f v f v v v v f v v
v f f v f v f f f v v
v f f f v v v v f v v
f v v v f v f f v v v
f v v f v v v v f v v
f v f v f v f f v f v
f v f f v v v v f f v
f f v v f f f f f v v
f f v f v f v v f v v
f f f v f f f f f v v
f f f f v f v v f v v

Simulador
Es una tautología.

 Leyes de Inferencia

 Premisas:
 P1:( p ∨q )
 P2:( s ⟶∼r )
 P3: ( r )
 P4: ( ∼ s ⟶∼ q )
 CONCLUSION (P)

P5: ∼ P TT ENTRE 2 Y 3

P6: Q TP ENTRE 1 Y 5

P7: S MP ENTRE 4 Y 6

P8: P MTT ENTRE 7 Y 8

CONCLUCION : P