- EQUIVALENCIAS E IMPLICACIONES

NOTABLES

- VALIDEZ DE UNA INFERENCIA

- EJERCICIOS





Si la ballena es un mamfero
entonces toma oxgeno del aire. Si
toma el oxgeno del aire, entonces
no necesita branquias. La ballena
es un mamfero y vive en el
ocano. Podemos concluir que no
necesita branquias.
La conclusin es vlida o no es
vlida como saberlo?
EQUIVALENCIAS LOGICAS
Dos proposiciones compuestas o Frmulas
Lgicas P y Q son equivalentes, si unidos por
el bicondicional , el resultado es una
Tautologa; es decir que ambas proposiciones
tienen el mismo valor de verdad.
Se denota: P Q o P Q
Se lee: P es equivalente a Q o
viceversa

Equivalencia e implicaciones notables
O Leyes del algebra proposicional
Leyes de Morgan
(pq)p q
(pq)p q
Leyes de absorcin
p(p q) p
p(p q) p
p(pq) pq
p(pq) pq
Otras equivalencias notables
pq pq
pq q p (ley de transposicion)
pq (pq)(qp)







Metodo para verificar si una inferencia
es valida
Inferencia : se compone de premisas y
conclusin.

Anlisis de inferencias: La lgica es
fundamentalmente una teora de la inferencia,
estudia la validez de las inferencias para decidir
su validez la lgica cuenta con procedimientos de
varios tipos. Estos procedimientos o mtodos
pueden agruparse en dos clases: mtodos
sintcticos y mtodos semnticos. El mtodo de
la tabla de verdad y el mtodo abreviado son
ejemplos de mtodos semnticos.


Metodo para verificar si una inferencia
es valida
Tabla de verdad: es un algoritmo o procedimiento
decisorio porque a travs de la aplicacin mecnica
de un conjunto de reglas permite decidir la validez o
invalidez de las inferencias.
Mtodo abreviado: este mtodo se usa cuando
queremos ahorrar tiempo, ya que el nmero de
variables es superior a 3 y el algoritmo de la tabla de
verdad se torna engorroso.
Mtodo analgico: este mtodo consiste en
comparar la forma o estructura de la inferencia que
se quiere analizar con otra lgicamente valida.





p
2
: No ganare el concurso porque tengo pocos votos en facebook
q: Gan el concurso
p
1
: Si canto muy bien entonces no ganar el concurso
p
3
: No cant muy bien
{(p ~q) (r ~ q) ~p} q
EJEMPLO
p q r {( p ~q) ( r ~ q) ~p} q
V V V V
V V F V
V F V V
V F F V
F V V F
F V F F
F F V F
F F F F
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F
V V F V F
V F V V V
V F F V V
F V V F F
F V F F F
F F V F V
F F F F V
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F F
V V F V F F
V F V V V V
V F F V V V
F V V F V F
F V F F V F
F F V F V V
F F F F V V
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F F V
V V F V F F F
V F V V V V V
V F F V V V F
F V V F V F V
F V F F V F F
F F V F V V V
F F F F V V F
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F F V F
V V F V F F F F
V F V V V V V V
V F F V V V F V
F V V F V F V F
F V F F V F F F
F F V F V V V V
F F F F V V F V
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F F V F F
V V F V F F F V F
V F V V V V V V V
V F F V V V F V V
F V V F V F V F F
F V F F V F F V F
F F V F V V V V V
F F F F V V F V V
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F F F V F F
V V F V F F F F V F
V F V V V V V V V V
V F F V V V V F V V
F V V F V F F V F F
F V F F V F V F V F
F F V F V V V V V V
F F F F V V V F V V
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F F F V F F F
V V F V F F F F V F F
V F V V V V V V V V F
V F F V V V V F V V F
F V V F V F F V F F V
F V F F V F V F V F V
F F V F V V V V V V V
F F F F V V V F V V V
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F F F V F F F F
V V F V F F F F V F F F
V F V V V V V V V V F F
V F F V V V V F V V F F
F V V F V F F V F F F V
F V F F V F V F V F V V
F F V F V V V V V V V V
F F F F V V V F V V V V
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F F F V F F F F
V V F V F F F F V F F F
V F V V V V V V V V F F
V F F V V V V F V V F F
F V V F V F F V F F F V
F V F F V F V F V F V V
F F V F V V V V V V V V
F F F F V V V F V V V V
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F F F V F F F F V
V V F V F F F F V F F F V
V F V V V V V V V V F F F
V F F V V V V F V V F F F
F V V F V F F V F F F V V
F V F F V F V F V F V V V
F F V F V V V V V V V V F
F F F F V V V F V V V V F
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F F F V F F F F V V
V V F V F F F F V F F F V V
V F V V V V V V V V F F V F
V F F V V V V F V V F F V F
F V V F V F F V F F F V V V
F V F F V F V F V F V V V V
F F V F V V V V V V V V F F
F F F F V V V F V V V V F F
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F F F V F F F F V V
V V F V F F F F V F F F V V
V F V V V V V V V V F F V F
V F F V V V V F V V F F V F
F V V F V F F V F F F V V V
F V F F V F V F V F V V V V
F F V F V V V V V V V V F F
F F F F V V V F V V V V F F
Resultado: verdadero y falsos: Contingencia, argumento
logico no valido
p q r {( p ~q) ( r ~ q) ~p} q
V V V V F F F V F F F F V V
V V F V F F F F V F F F V V
V F V V V V V V V V F F V F
V F F V V V V F V V F F V F
F V V F V F F V F F F V V V
F V F F V F V F V F V V V V
F F V F V V V V V V V V F F
F F F F V V V F V V V V F F
Para que el argumento lgico sea valido, el resultado
final debe ser Tautologia, todos verdaderos
MODUS PONENDO PONENS(MPP O
PM)
Ejemplo
p: Si llueve entonces el cielo esta nublado
p: llueve
el cielo esta nublado

pq
p
q
MODUS PONENDO PONENS(MPP O
PM)
Ejemplo
p: Si el esta en el partido de futbol, entonces
no fue a estudiar
p: el esta en el partido de futbol
el no fue a estudiar

pq
p
q
MODUS PONENDO PONENS(MPP O
PM)
Ejemplo
p: Si no hace frio, entonces el lago lago no se
helara
p: el esta en el partido de futbol
el lago lago no se helara

pq
p
q
DESARROLLA EN TU CUADERNO
Que conclusin se puede sacar de cada uno de
los siguientes conjuntos de premisas utilizando
MPP es decir que proposicin lgica se sigue de
esas premisas?
1)Si no nos despedimos ahora, entonces no
cumpliremos nuestro plan. No nos despedimos
ahora.
2)Son las 8:00 pm. Si son las 8:00 pm, entonces
en la UCV no hay atencin en la biblioteca
DESARROLLA EN TU CUADERNO
Utilizando modus ponendo ponens sacar una
conclusin de cada una de los conjuntos de premisas
siguientes. Escribir la conclusin en la tercera lnea
I) 1)pqr
2) pq
3)

II) 1) pqr
2)p
3)
DESARROLLA EN TU CUADERNO
Decir si es vlida o no es vlida la siguientes
inferencias utilizando modus ponendo ponens y
adems usa la tabla
1) p y pr r 2) ps y s p

3)s y s ts 4) pq y p q



MODUS TOLLENDO TOLLENS(TT)
Ejemplo
p: Si tiene luz propia, entonces el astro es una
estrella
p: el astro no es una estrella
no tiene luz propia

p q
q
p
MODUS TOLLENDO TOLLENS(TT)
Ejemplo
p: Si no sales temprano de tu casa, entonces
no llegaste temprano a la UCV
p: llegaste temprano a la UCV
no tiene luz propia

p q
q
p
DESARROLLA EN TU CUADERNO
Que conclusin se puede sacar de cada uno de
los siguientes conjuntos de premisas utilizando TT
es decir que proposicin lgica se sigue de esas
premisas?
1) Si el arriendo se mantiene vlido, entonces el
dueo es responsable de las reparaciones. El
dueo no es responsable de las reparaciones
2) . Si llovi la pasada noche, entonces el patio
principal de la UCV se ha limpiado, el patio
principal de la UCV no se ha limpiado
DESARROLLA EN TU CUADERNO
Utilizando modus tollendo tollens sacar una conclusin
de cada una de los conjuntos de premisas siguientes.
Escribir la conclusin en la tercera lnea
I) 1)pqr
2) r
3)

II) 1) (p q ) ( qr)
2) qr
3)
DESARROLLA EN TU CUADERNO
Decir si es valida o no es valida la siguientes
inferencias utilizando modus ponendo ponens y
adems usa la tabla
1) r y pr r 2) p s y s p

3) t y s t s 4)(pr)q y q
(pr)



SILOGISMO HIPOTETICO
Ejemplo
p: Si un astro tiene luz propia, entonces brilla
p: Si brilla , entonces es una estrella
Si un astro tiene luz propia, entonces es
una estrella

p q
q r
p r

MODUS TOLLENDO PONENS(TP)
Ejemplo
p
1
:O Mara naci en lima o en Chiclayo
p
2
: Mara no naci en lima
Mara naci en Chiclayo

pq
p
q
MODUS TOLLENDO PONENS(TP)
Ejemplo
p
1
:O Mara aprueba el curso de habilidades
lgicas o desaprueba
p
2
: Mara no desaprueba
Mara aprueba el curso de habilidades
lgicas

pq
q
p
DESARROLLA EN TU CUADERNO
Que conclusin se puede sacar de cada uno de
los siguientes conjuntos de premisas
utilizando TP es decir que proposicin lgica
se sigue de esas premisas?
1) Este hombre o es un abogado o es un
poltico. No es un abogado.
2) El puerto de Nueva Orleans o est en el
golfo de Mjico o est en el ocano Atlntico.
No est en el ocano Atlntico.
DESARROLLA EN TU CUADERNO
Utilizando modus Tollendo Ponens sacar una
conclusin de cada una de los conjuntos de premisas
siguientes. Escribir la conclusin en la tercera lnea
I) 1)(pq) r
2) r
3)

II) 1)( pq) r
2) ( pq)
3)
DESARROLLA EN TU CUADERNO
Decir si es valida o no es valida la siguientes
inferencias utilizando modus Tollendo Ponens(TP) y
adems usa la tabla
1) r y pr p 2) p s y p s

3) t y s t s 4)(pr) q y q
(pr)



MODUS PONENDO TOLLENS(PT)
Ejemplo
p
1
:O bien es de da o bien es de noche
p
2
: es de da
no es de noche
pq
p
q
ADJUNCION (A)
Ejemplo
P
1
: Mara es psicloga
p
2
: Juan es arquitecto
Mara es psicloga y Juan es arquitecto

p
q
pq
SIMPLIFICACION(S)
Ejemplo
P
1
: Mara es psicloga y abogada
Mara es psicloga
pq
p
SIMPLIFICACION(S)
Ejemplo
P
1
: Mara es psicloga y abogada
Mara es abogada
pq
q
LEY DE ADICION(LA)
Ejemplo
P
1
: Mara es psicloga
Mara es psicloga o contadora
p
pq
SILOGISMO DISYUNTIVO(SD)
Ejemplo
P
1
:la ballena es un mamfero o vive en el agua
P
2 :
Si la ballena es un mamfero entonces toma
oxgeno del aire.
P
3
:Si vive en el agua, entonces tiene branquias.
toma oxgeno del aire o tiene branquias

pq
p r
qs
rs

SIMPLIFICACION DISYUNTIVA(SD)
Ejemplo
P
1
:la ballena es un mamfero o vive en el ocano
pacifico
P
2 :
Si la ballena es un mamfero entonces toma
oxgeno del aire.
P
3
:Si vive en el oceano pacifico, entonces toma
oxigeno del aire.
toma oxgeno del aire

pq
p r
qr
r

DESARROLLA EN TU CUADERNO
Da dos ejemplos de silogismo disyuntivo,
simplificacin disyuntiva, adicional, de
simplificacin, de adjuncin