TALLER INFERENCIA LOGICA

CARLOS GUTIERREZ

REGLAS DE INFERENCIA Y EQUIVALENCIAS LOGICAS

Demostrar si es tautologa, contradiccin o ninguna sin usar tablas de verdad (mtodo de
resolucin veritativo-funcional)

1- (pq r) (p ~r ~q)
2- ~ ( p v q ) ~ p ^ ~ q
3- (p v q) v (~p ~q)
4- (p q) (q r) (r s) (ps)
5- (p q ~q) ~p
6- (p ~q) (q ~r)
7- p (p q r)
8- ~(~p ~q)`
9- ~(p q) (~p ~q)
10-(p ~q) (q ~r)
11-((p q) ( r s) (p r )) (q s)
12-((p q) q ) ( p q )
13-((p -> q) ( p -> r)) ( q -> r) -> q
Hallar la siguiente conclusin: R, a partir de las premisas:
P1: P
P2: Q
P3: PQ (S P R)

Hallar la siguiente conclusin: QP, a partir de las premisas:

P1: PQP
P2: QP

Demostrar la siguiente conclusin RQ, a partir de las premisas:

P1: (RS)
P2: QS

Demostrar la siguiente conclusin: PR, a partir de las premisas:

P1: P S
P2: RS

Traducir al lenguaje formal y demostrar por el mtodo de validez formal los siguientes
razonamientos:

P1: Si las reglas no existen, todo se puede hacer.

P2: Si las reglas no existen, no habra moral.
P3: Hay moral. Luego,
C: las reglas existen

P1: No es cierto que: estudias y trabajas.

P2: Si deseas conseguir dinero entonces trabajas. Luego,
C: Si estudias entonces no consigues dinero.

P1: O me llevas a casa, o no asisto a la fiesta.

P2: Si escampa entonces voy a la fiesta. Luego,
C: Si no me llevas a casa no escampo

P1: Todos los que no responda el quiz, tendrn que presentar parcial
P2: Ana no se presenta al quiz. Por lo tanto:
C: Ana presenta parcial

P1: Ningn adolescente baila el tango.

P2: Ningn adulto rechaza una invitacin a bailar el tango.
P3: Todos los asistentes son adolescentes. Por lo tanto:
C: Los adolescentes no son adultos

P1: El rey Carlos ama a la Reina Sofia.

P2: El rey Carlos no ama a ninguno de sus amigos.
P3: El Rey Arturo es amigo del rey Carlos.
P4: Los amigos del rey Carlos odian a aquello a quienes el rey Carlos ama. Por lo tanto
C: El Rey Arturo odia a la Reina Sofia

P1: Si el reloj est adelantado, entonces David lleg antes de las diez y vio partir el carro de
Jorge.
P2: Si Jorge dice la verdad, entonces David no vio partir el carro de Jorge
P3: O Jorge dice la verdad, o estaba en el edificio en el momento del crimen.
P4: El reloj est adelantado. Por lo tanto,
C: Jorge estaba en el edificio en el momento del crimen.

P1: Si la inversin privada permanece constante, entonces aumenta el gasto pblico o se

produce paro.
P2: Si no aumenta el gasto publico pueden reducirse los impuestos.
P3: Si la inversin privada permanece constante y pueden reducirse los impuestos, no se
produce paro. Luego,
C: los gastos pblicos aumentan

P1: Si esta es una sociedad matriarcal, entonces el hermano de la madre es el cabeza de

familia.
P2: Si el hermano de la madre es el cabeza de familia, entonces el padre no tiene autoridad.
P3: Esta es una sociedad matriarcal. Por tanto,
C: el padre no tiene autoridad.

P1: O esta roca es una roca gnea o es una roca sedimentaria.

P2: Esta roca es granito.
P3: Si esta roca es granito entonces no es una roca sedimentaria. Por tanto,
C: esta roca es una roca gnea.

P1: Si Rossi gan la carrera, entonces o Marques fue el segundo o Lorenzo fue el segundo.
P2: Si Marques fue el segundo, entonces Rossi no gan la carrera.
P3: Si Marques fue el segundo, entonces Lorenzo no fue el segundo.
P4: Rossi gan la carrera. Entonces,
C: Marques no fue el segundo.