5ta semana 1

UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE

TEMA: Inferencias: Verdad Formal Método abreviado.
Formaliza inferencias
Utiliza el método abreviado para validar inferencias.

UNIVERSIDADDE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE

Formaliza y evalúa la siguiente inferencia:
Si te alimentas, no enfermarás. Es falso que, si no
te alimentas, te enfermarás igualmente faltarás
a clase. Por lotanto, si vas a clase, no
enfermaste.

Evalúa la siguiente inferencia por el método
abreviado:
[(qr)  (r  p)]  (q  p)

UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE

MÉTODO ABREVIADO DELA INFERENCIA LÓGICA

UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE

UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE

EJEMPLO:
[ p 
V

( p  q )  ( q 
V V

V

V

r )]
V V



( q  r)
V F F

Formaliza y evalúa:
1. O vamos al cine o vamos al teatro. No vamos al teatro. Luego, vamos al
cine.
2. Si el Sol brilla entonces silba el viento. Si silba el viento entonces las
aves cantan.De modo que, si el Sol brilla entonces las aves cantan.

PRÁCTICA DIRIGIDA
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE

I.

Formalizar y verifica la validez de las siguientes
inferencias porel método abreviado.

1.Jorge pasará sus vacaciones en Ica excepto que en Trujillo. Jorge no
pasará sus vacaciones en Ica. Por lo tanto pasará sus vacaciones en
Trujillo
2.Si hay lluvias en la sierra,los ríos aumentan de caudal. Se obtendrá
buenas cosechas en la costa, si los ríos aumentan de caudal,. En
consecuencia Se obtendrán buenas cosechas en la costa, ya que si
hay lluvias en la sierra.3.Si el testigo dice la verdad, Pepe estaba en su casa antes del medio
día. Si Pepe paso el día en el club entonces no estaba en su casa
antes del medio día. Pepe pasó el día en el club. Por lo tanto eltestigo
dice la verdad.
4.No es el caso que, Carlos sea abogado además médico. Carlos es
médico. Luego, Carlos no es abogado

UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE

5. Susana...