UNIVERSIDAD DE SAN MARTN DE PORRES FILIAL DEL NORTE

TEMA: Inferencias: Verdad Formal Mtodo abreviado.

Formaliza inferencias
Utiliza el mtodo abreviado para validar

inferencias.

UNIVERSIDAD DE SAN MARTN DE PORRES FILIAL DEL NORTE

Formaliza y evala la siguiente inferencia:

Si te alimentas, no enfermars. Es falso que, si no te alimentas, te enfermars igualmente faltars a clase. Por lo tanto, si vas a clase, no enfermaste.

Evala la siguiente inferencia por el mtodo abreviado:

[(qr) (r p)] (q p)

UNIVERSIDAD DE SAN MARTN DE PORRES FILIAL DEL NORTE

MTODO ABREVIADO DE LA INFERENCIA LGICA

UNIVERSIDAD DE SAN MARTN DE PORRES FILIAL DEL NORTE

UNIVERSIDAD DE SAN MARTN DE PORRES FILIAL DEL NORTE

EJEMPLO: [ p V ( p q ) ( q V V V V r )] ( q r ) V F F

V V

Formaliza y evala: 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.

PRCTICA DIRIGIDA
UNIVERSIDAD DE SAN MARTN DE PORRES FILIAL DEL NORTE

I.

Formalizar y verifica la validez de las siguientes inferencias por el mtodo 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 ros aumentan de caudal. Se obtendr buenas cosechas en la costa, si los ros aumentan de caudal,. En consecuencia Se obtendrn 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 da. Si Pepe paso el da en el club entonces no estaba en su casa antes del medio da. Pepe pas el da en el club. Por lo tanto el testigo dice la verdad. 4. No es el caso que, Carlos sea abogado adems mdico. Carlos es mdico. Luego, Carlos no es abogado

UNIVERSIDAD DE SAN MARTN DE PORRES FILIAL DEL NORTE

5. Susana estudia teatro como ballet , si y slo si es modelo de televisin. Es falso que, Susana es modelo de televisin ya que practica la gimnasia. Por lo tanto, Susana practica la gimnasia porque no estudia ballet.
6. Al paciente debe administrrsele penicilina o nicamente insulina. Si es alrgico a la penicilina, entonces al paciente no se le debe administrar penicilina. El paciente es alrgico a la penicilina pero no a la insulina. Luego, al paciente debe administrrsele penicilina solo cuando se la administre insulina. 7. Rolando viajar al norte, si y slo si es un delegado estudiantil sin embargo no tiene exmenes en la universidad. Si Rolando no viaja al norte, entonces si no es un delegado estudiantil, no representar a los estudiantes en el congreso. Rolando tiene exmenes en la universidad, adems no representar a los estudiantes en el congreso. En consecuencia, representar a los estudiantes en el congreso si y slo si es un delegado estudiantil.

UNIVERSIDAD DE SAN MARTN DE PORRES FILIAL DEL NORTE

II. Verificar la validez de las siguientes formulas inferenciales

1. ( p ~ q) p 2. [ (qr ) (r p) ] (q p) 3. [ (p q) (r ~q) r ] p 4. [(p q) ~p] q 5. [(p q) (q r)] (p r)

6. [(p q) ~q] p
7. ( p q ) r ~ r (~ p ~ q) 8. [ ( p q ) ( q r ) ] ( p r )

9. {[~p (q v p)] (p ~r) r } (~q r)

10. {[~p (~q v r)] (r s)} (s ~p)