LEYES DE EQUIVALENCIA

~ (p v q) (~ p ^ ~ q)
Ley de la doble negacin.
~~p p
Es falso que maana no es domingo. Maana es
domingo.
Ley de idempotencia
(p v p) p
Manuel es un catedrtico en la universidad nacional
de Chiclayo o Manuel es un docente en la
universidad Pedro Ruiz Gallo.
(p ^ p) p
Leyes Conmutativas
(p v q) (q v p)
Tefilo jugar ftbol en la maana o jugar ftbol
en la tarde. Tefilo jugar ftbol en la tarde o jugar
ftbol en la maana.
(p ^ q) (q ^ p)
(p q) (q p)
Leyes asociativas
[(p ^ q) ^ r] [p ^ (q ^ r)] (p ^ q ^ r)
Manuel es comunicador no obstante estudia computacin. Aunque tambin trabaja en la noche.
Manuel es comunicador. No obstante estudia
computacin aunque tambin trabaja en la noche.
Manuel es comunicador, aunque tambin traba-ja en
la noche y es comunicador.

Leyes de absorcin
[p ^ (~ p v q)] (p ^ q)
Roberto estudia computacin. Roberto no estudia
computacin a menos que estudie ingls. Roberto
estudia computacin y estudia ingls.
[p v (~ p ^ q)] (p v q)
[p ^ (p v q)] p
[p v (p ^ q)] p
Leyes del condicional
(p q) (~ p v q)
Julio juega ftbol entonces es deportista. Julio no
juega ftbol excepto que sea deportista.
(p q) ~ (p ^ ~ q)
Leyes del Bicondicional
p q (p q) ^ (q p)
Diego ganara la copa siempre y cuando entrene
mucho. Diego ganara la copa entonces entrena
mucho. Diego entrena mucho entonces ganar la
copa.
(p q) (p ^ q) v (~ p ^~ q)
Leyes de contraposicin
(p q) (~ q ~ p)
Pedro es estudioso entonces es buen alumno.
Pedro no es estudioso entonces no es buen alumno.

[(p v q) v r] [p v (q v r)] (p v q v r)
[(p q) r] [p (q r)] (p q r)

(p q) (~ q ~ p)

Leyes distributivas
[p (q v r)] [(p q) v (p r)]
Si Julio es un comunicador entonces puede ser un
publicista o un periodista. Si Julio es comunicador
entonces se dedica a la publicidad o si Julio es
comunicador entonces se dedica al pe-riodismo.

Leyes de exportacin
(p ^ q) r p (q r)
Arturo es un gran profesional y trabaja en la USS
por consiguiente tiene xito. Arturo es un gran
profesional por consiguiente trabaja en la USS
entonces tiene xito.

p (q v r) (p q) v (p r)
Leyes de identidad
p^Vp
Santa Rosa de Lima es una santa muy conocida
adems es la patrona de la polica nacional.
p^Vp
Leyes de Morgan
~ (p ^ q) (~ p v ~ q)
No es cierto que la ciudad de Chiclayo sea limpia y
ordenada. La ciudad de Chiclayo no es limpia o
no es ordenada.

LEYES DE LA IMPLICACIN
Ley modus ponens
pq
p
:q
Si hoy es mircoles, entonces maana es jueves
hoy es mircoles entonces maana es jueves.
Ley modus tollens
pq
~q
:~p

Si t eres un buen futbolista entonces sers

reconocido No eres reconocido. Entonces t no
eres un buen futbolista.
Ley del silogismo disyuntivo
pvq
~p
:q
Manuel juega ftbol o bsquet Manuel no juega
ftbol. Entonces Manuel juega bsquet.
Ley del silogismo hipottico
pq
qr
:pr
Si z es un nmero real tal que x2 + 4x 45 = 0,
entonces (z 5) (z + 9) = 0 Si (z 5) (z +9) = 0,
entonces z = 5 y z = -9. Luego: Si z es un nmero
real tal que x2 + 4x 45 = 0, entonces z = 5 y z = -9
Ley de la conjuncin
p
q
:p^q
Luis es doctor. A Luis le gusta el ftbol
Entonces: Luis es doctor y le gusta el ftbol.
Ley de la adicin
P
:pvq
Jean Piaget creo la teora evolutiva del aprendi-zaje.
Por lo tanto fue creador de la teora evo-lutiva del
aprendizaje o fue un excelente bilogo.
Ley de la simplificacin
p^q
:p
Ronaldo es un jugador de Brasil y Crespo es un
jugador de Argentina. Por lo tanto: Ronaldo es un
jugador de Brasil.

Ley del dilema constructivo

pq
rs
pvr
:qvs
Pedro es doctor entonces se dedica a la medicina.
Adems Pedro es comerciante por lo tanto se dedica
al comercio. Pedro es doctor o es comer-ciante.
Entonces se dedica a la medicina o la comercio.
Ley del dilema destructivo.
pq
rs

~pv~s
:~pv~r
Pedro es arquitecto entonces se dedica a la
arquitectura adems. Pedro es chef entonces se
dedica a la cocina. Pedro no se dedica a la arquitectura o no se dedica a la cocina. Por lo tanto Pedro
no es arquitecto o no es chef.
Ley del absurdo
[ p (q ^ ~q)] ~ p
Carlos es publicista entonces estudio publicidad
adems es mentira que haya estudiado publicidad.
Por lo tanto Carlos no es publicista.
[~ p (q ^ ~q)] p
Ejercicios
1.
Jeremy es inteligente y respetuoso. Por lo tanto
Jeremy es inteligente.
2.

Si la hipertrofa es el desarrollo excesivo de

algo, entonces esta es el desarrollo excesivo de
algo o la dispepsia es la diges-tin difcil.

3.

Si las computadoras son baratas, la gente se

educar. Efectivamente, estn baratas. Por lo
tanto la gente se educar.

4.

Esta combi me lleva a Chosica o al Callao. No

me lleva a Chosica. Por lo tanto me lleva al
callao.

5.

Si eres cliente de la Editorial San Marcos, sabes

que se encuentra en Lima. Por lo tanto, no eres
cliente de dicha editorial.

6.

Si Wittgenstein fue neopositivista, confor-m el

crculo de Viena. Y si conform el Crculo de
Viena, confiaba en la Lgica sim-blica. Por lo
tanto si Wittgenstein fue neopositivista,
confiaba en la Lgica simb-lica.

7.

Estados Unidos es un pas altamente podero-so

sobre nivel de los pases marginales o Estados
Unidos es un pas con hegemona sobre los
pases tercer mundistas.

8.

Que se puede deducir de: Es falso que estudie

o trabaje
a) Ni estudio ni trabajo.
b) O estudio o trabajo.
c) Si estudio, no trabajo.
d) Ya que estudio, no trabajo.
e) Estudio

9.

Que ley representa:

{[(p ^ q) q] ^ (p ^ q)] q}

10.

a) MPP
b) MTT
c) SD
d) DDC
e) SHP
Cul es la conclusin de: Si tomo, me mareo,
si como, tengo sueo. No me mareo o no tengo
sueo. Luego:
a) Ni tomo ni me mareo.
b) Tomo o no me mareo.
c) No tomo, pero si tengo sueo.
d) Ni tomo ni tengo sueo.
e) No tomo o no como.

Ej.:
P1: Scrates fue filsofo y tuvo espritu crtico
P2: Platn fue filsofo y tuvo espritu crtico.
P3: Bacon fue filsofo y tuvo espritu crtico.
P500: Hume fue filsofo y tuvo espritu crtico.
C: probablemente todo filsofo tiene espritu crtico.
La inferencia deductiva proviene de Aristte-les.
Deducir significa sacar algo, y lo que se saca, se
saca de donde ya est.
En la inferencia se parte de una, o ms pre-misas, de
las cuales se extrae sistemticamen-te la conclusin.

INFERENCIA

Ejercicios

Es el producto de la razn, y lleva la intencin del

proceso, pues hace avanzar el conocimiento
echando mano de lo ya conocido, en otras pala-bras,
permite obtener nuevos juicios partiendo de otros ya
ganados.

Seale cuales de los siguientes esquemas lgi-cos

son reglas de inferencia.
a) p q
p
q

Toda inferencia en su estructura consta de: premisas

y conclusin.

b)

Hay varias formas de inferir:

a) Inferencia o razonamiento inductivo.
b) Inferencia o razonamiento deductivo.
c) Inferencia o razonamiento lgico.

pvq
q
p

c)

p^q
pq
p

A)
B)
C)
D)
E)

I, II y III
II y III
I y II
I y III
Slo II.

La inferencia inductiva es la forma de razonar

iniciada por Francis Bacon, l la llam Novum
Organum y tena la intencin de llenar con ella la
insuficiencia del viejo rganon aristotlico para
profundizar en los secretos de la natura-leza. A
diferencia de la deduccin, la induccin procede en
muchos de sus casos revisando pri-meramente casos
particulares para luego ele-varse a establecer un
enunciado general, en todas sus modalidades esta
inferencia nos ofrece conclusiones solo probables.