UNIVERSIDAD CSAR VALLEJO

OFICINA DE FORMACIN GENERAL

SESIN 3:

LEYES DE EQUIVALENCIAS LGICAS

INFERENCIAS LGICAS

Temtica

- Leyes de Equivalencias Lgicas

- Leyes de Inferencias Lgicas
- Aplicaciones

1.- LEYES DE LA EQUIVALENCIA LGICA

Estas leyes tienen como conectivo principal una bicondicional lo cual nos indica que los enunciados
enlazados son lgicamente equivalentes. Las leyes de equivalencia ms conocidas son:

A. Ley de la Doble Negacin:

~ (~)

B. Ley de Idempotencia de la Conjuncin y la Disyuncin:

C. Leyes Conmutativas:

D. Leyes Asociativas:

( ) ( )

( ) ( )

( ) ( )

E. Leyes Distributivas:

( ) ( ) ( )

( ) ( ) ( )

PENSAMIENTO LGICO
 UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

( ) ( ) ( )

( ) ( ) ( )

F. Leyes de Identidad:

G. Leyes de D Morgan:

~( ) (~ ~)

~( ) (~ ~)

H. Leyes de la Absorcin:

( )

(~ )

( )

(~ )

I. Leyes del Condicional:

~( ) ~

J. Leyes del Bicondicional:

( ) ( )

~( )

K. Leyes de Contraposicin:

~ ~

~ ~

L. Leyes de Exportacin:

( ) ( )

M. Ley del Tercio Excluido:

PENSAMIENTO LGICO
 UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

N. Ley de la Contradiccin:

O. Reduccin al Absurdo:

( ~)

Observacin:

Estas leyes pueden ser empleadas para verificar la equivalencia entre esquemas moleculares o tambin
para simplificar un esquema molecular relativamente complejo a uno ms pequeo o reducido. Y para
simplificar es necesario transformar los conectivos a disyuncin o conjuncin, ya que se hace ms
fcil trabajar.

Ejemplo:

Simplificar: [~( ) (~ )]

Tenemos:

[~ (~ ) (~ )]

[(~~~) (~ )]

{( ~) (~ )}

{ (~ (~ ))}

( ~)

( ~)

Luego: [~( ) (~ )]

3.1. Definicin (Inferencia)

Regla de la Inferencia: Diremos que la proposicin se infiere de las proposiciones

1 , 2 , 3 , . . , ; si es verdad, cuando todas las , = 1, , lo sean: es decir
cuando:
1 2 3 . .

Es decir que el razonamiento

1 2 3 . .

PENSAMIENTO LGICO
 UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

Sea una tautologa.

A las se les llama PREMISAS y a se le llama CONCLUSION.

Para probar la validez o invalidez de los argumentos, utilizamos las tablas de verdad o el mtodo
abreviado que consiste en suponer la conjuncin de premisas verdadera y la conclusin falsa.

Ejemplo

Demostrar si el siguiente argumento es vlido:

[~ ( )]

Demostracin

Tenemos:

[~ ( )]

Es decir:

q es falso, V(q) = F
[~ ( )] = V, entonces: ~p es verdadera y (pq) es verdadera por definicin de la
conjuncin.
Si ~p es verdadera, entonces p es falsa por la ley de la negacin, V (p) = F.
Si V (p) = F y V (q) = F se tiene (pq) = F, (pq) es verdadera, por lo cual se llega a una
contradiccin y por esta razn se dice que el argumento es vlido.

2.- LEYES DE IMPLICACIN

Son aquellas proposiciones compuestas donde un antecedente implica tautolgicamente a un

consecuente. Leyes de las implicaciones lgicas ms comunes son:

A. Ley modus Ponendo Ponens: Se representa de las formas siguientes:

pq o tambin: ( )

Si se afirma el antecedente de una premisa condicional se concluye en la afirmacin del consecuente.

Ejemplo:

PENSAMIENTO LGICO
 UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

Si llueve demasiado en la noche, entonces no ir a la universidad maana. Llueve demasiado en la

noche. Luego: No ir a la universidad maana.

B. Ley Modus Tollendo Tollens: Se representa por:

pq o tambin: ( ) ~ ~

~q

~p

Si se niega el consecuente de una premisa condicional, se concluye en la negacin del antecedente.

Ejemplo:

Si no llueve en la noche entonces iremos a la central Hidroelctrica de Gallito Ciego. Pero no iremos
a la central Hidroelctrica de Gallito Ciego. En conclusin: Llovi en la noche.

C. Ley del Silogismo Disyuntivo: Se representa por:

pq o tambin: ( ) ~

~p

Si se niega uno de los miembros de una premisa disyuntiva, se concluye en la afirmacin de la otra
premisa.

Ejemplo:

La UCV se encuentra ubicada en el norte del Per o en todo caso al sur de Chile. La UCV no se
encuentra al sur de Chile. Por lo tanto: La UCV se encuentra ubicada en el norte del Per.

D. Ley del Silogismo Hipottico: Se representa por:

pq o tambin: ( ) ( )

qr

pr

Si p q es verdadero y q r es verdadera, entonces p r es verdadero. Esta ley indica que el

condicional es transitivo.

Ejemplo:

Si estudio constantemente el curso de Pensamiento Lgico entonces obtengo excelentes

calificaciones. Si obtengo excelentes calificaciones entonces aprobar el curso de Pensamiento Lgico.

PENSAMIENTO LGICO
 UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

Por consiguiente: Si estudio constantemente el curso de Pensamiento Lgico entonces

aprobar el curso de Pensamiento Lgico.

E. Ley de la Conjuncin: Se representa por:

p o tambin: :

pq

Si se tiene una premisa se puede concluir su conjuncin con otra premisa.

Ejemplo:

Psicologa educativa es una experiencia curricular de la carrera profesional de Psicologa.

Por lo tanto: Psicologa educativa es una experiencia curricular de la carrera profesional de

Psicologa y Derecho Laboral es una experiencia curricular de la carrera profesional de
Derecho.

F. Ley de la Adicin: Se representa por:

p o tambin:

_______

pq

Si se tiene una premisa se puede concluir su disyuncin con otra premisa.

Ejemplo:

Estudio ingls.
Por consiguiente: Estudio ingls o estudio francs.

G. Ley de la Simplificacin: Se representa por:

pq o tambin:

_______

De una premisa conjuntiva se puede concluir en cualquiera de sus componentes.

Ejemplo:

23 es un nmero primo, pero 24 es un nmero par.

PENSAMIENTO LGICO
 UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

Por lo tanto: 24 es un nmero par.

H. Ley del Dilema Constructivo: Se representa por:

pq o tambin: ( ) ( ) ( )

rs

pr

qs

Si en la conjuncin de dos condicionales afirmamos los dos antecedentes disyuntivamente, se puede

concluir en la afirmacin disyuntiva de los consecuentes.

Ejemplo:

Si el juez es justo entonces el dictamen ser acertado. Si el acusado es culpable entonces el acusado
ir a la crcel. Se da el hecho que el juez es justo o el acusado es culpable. Entonces: El dictamen
ser acertado o el acusado ir a la crcel.

J. Ley del Absurdo: Se representa por:

p (q ~q) o tambin: ( ~) ~

~p

~p (q ~q) o tambin: ~ ( ~)

Ejemplo:

Si el juicio es justo, entonces el acusado ir a la crcel pero el acusado no va a la crcel. Luego: El

juicio no es justo.

K. Absorcin (Abs.) : Se representa por

pq o tambin: [ ( )]

p (q p)

Ejemplo:

Si maana hace sol entonces ir a la playa. Por lo tanto si maana hace sol entonces ir a la playa
y hace sol.

PENSAMIENTO LGICO
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

EJERCICIOS RESUELTOS

1. Simplifique las siguientes proposiciones:

a) ~( ) (~ )

Tenemos:

~[( ) (~ ~)] (~~ )

[~( ) ~(~ ~ )] ( )

[(~ ~) (~~ ~~)] ( )

[(~ ~ ) ( )] ( )

( ) [( ) (~ ~ )]

( )

Por lo tanto: ~( ) (~ ) ( )

b) ~[~( ) ~]

Tenemos:
[ ( ) ]
[ ( )]
[ ]
( )
( )

2. Determina las conclusiones correctas de las proposiciones siguientes e indique la ley

de implicacin que se aplica.

a) Si el tringulo es equiltero entonces tiene tres lados iguales. Pero el tringulo no tiene
tres lados iguales. Por lo tanto, el tringulo no es equiltero.

Esta proposicin corresponde a la Ley Modus Tollendo Tollens

b) Manuel estudia Ingeniera Civil o Ingeniera Empresarial. Se da el caso que Manuel no
estudia Ingeniera Empresarial. Concluimos que: Manuel estudia Ingeniera Civil.

PENSAMIENTO LGICO
 UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

Esta proposicin corresponde a la Ley del Silogismo Disyuntivo.

c) Si una relacin agua/cemento es baja, entonces el hormign tendr una mayor

resistencia. Si el hormign tendr una mayor resistencia entonces el hormign ser difcil
de trabajar. Por lo tanto: Si una relacin agua/cemento es baja entonces el
hormign ser difcil de trabajar.
Esta proposicin corresponde a la Ley del Silogismo Hipottico.

EJERCICIOS DE REFORZAMIENTO

1. Simplifique las siguientes proposiciones:

a) [( ) ~] (~ )

b) [( ) ( ~)] (~ ~)

c) ( ~) [~ ~( )]

d) [(~ ~) (~ ~)] ~( )

e) ~{[(~ ~) ( (~ ))] ~( )}

f) ~{~[~(~ ) ~] [~( ~)]}

2. Determina las conclusiones correctas de las proposiciones siguientes e indique la ley de

implicacin que se aplica.

a) Si 32 es divisible por 2 entonces 32 es par. Pero 32 no es par entonces

.

b) Salvo que no diga la verdad, soy honesto. Ms si fuese el caso que dej de ser honesto.
Concluiramos:
.

c) Si Gilberto es compositor exitoso obtiene grandes regalas. Al obtener grandes regalas tiene
mucho dinero. En consecuencia:
..

PENSAMIENTO LGICO
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

d) Si digo siempre la verdad, los dems confan en m. Y si los dems confan en m, me siento
seguro e independiente. Como yo digo siempre la verdad. Luego:

e) Si Juliana compra una casa entonces tendr un lugar seguro donde vivir. Si Juliana compra
un carro entonces podr trasladarse con seguridad. Pero, Juliana compra una casa o compra
un carro. Se concluye ...

PENSAMIENTO LGICO