Paso 7 – Resolución de situaciones problemitas del mundo real desde

la Lógica Matemática

Grupo:

Presentado a: Randy Zabaleta

Universidad Nacional Abierta y a Distancia.

Pensamiento lógico y matemático

Ingeniería Electrónica.

2018

Actividades a desarrollar
 Tarea 3: Leyes de Inferencia

Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través
de:

 Generar la tabla de verdad manualmente y a través del simulador Truth

Table.
 Comprobar el resultado de la tabla de verdad manual versus simulador
Truth Table.
 Aplicación de las reglas de inferencia.

5. A los niños en edad escolar se les debe enseñar la importancia de cumplir con sus

deberes en el colegio, por tal razón una psicóloga infantil le recomienda a un chico lo

siguiente: “Si estudias a diario, tendrás tiempo para divertirte en el parque. Te va bien en

las materias o no tendrás tiempo para divertirte en el parque. Si haces trampa en las

tareas, entonces no te va bien en las materias. Por lo tanto, si estudias a diario, entonces

no haces trampa en las tareas”.

Desarrollo

P = si estudias a diario

q = tendrás tiempo para divertirte en el parque.

r = te va bien en las materias.

~q = no tendrás tiempo de divertirte en el parque

S = si haces trampa en las tareas.

 ~ r = no te va bien en las tareas.

~s = no haces trampas en las tareas.

Argumento expresado simbólicamente

[ ( p → q) ˄ (r ˅ ~q) ] ˄ [ ( s → ~r ) → ( p → ~s) ]

Premisas

P1 = si estudias a diario tendrás tiempo para divertirte al parque

P2 = te va bien en las materias o no tendrás tiempo para divertirte

P3 = si haces trampa en las tareas entonces no te va bien en las tareas

Conclusión = si estudias a diario entonces no haces trampa en las tareas

tabla de la verdad manual

Tabla simulador truth

Esta tabla es una tautología ya que si estudias a diario te va bien en las materias, tendrás

tiempo de divertirte en el parque, entonces no haces trampas en las tareas.

El razonamiento es deductivo porque la conclusión no sale de las premisas que son

argumentos

Si estudias a diario tendrás tiempo para divertirte en el parque

Si haces trampa en las materias, entonces no te va bien en las materias

Conclusión = se concluye que si estudias a diario te va bien en las materias, tendrás

tiempo de divertirte en el parque, entonces no haces trampas en las tareas.

Premisa mayor = si estudias a diario entonces no harás trampa en sus tareas

Premisa menor = si estudias a diario entonces tendrás tiempo de divertirte en el parque

Conclusión = se concluye que si estudias a diario te va bien en las materias, tendrás

tiempo de divertirte en el parque, entonces no haces trampas en las tareas.

P – premisa mayor

Q – premisa menor

R – conclusión

Premisas verdaderas Conclusiones verdaderas

P Q R P⇾ Q R⇾ Q P⇾R

V V V V V V

el argumento es válido porque la conclusion es verdadera

INFERENCIA

( p ⇾ q ) (p)

( r ∨ ~q ) (p)

( s → ~ r ) (p)

( p → ~s) (p)