EQUIVALENCIAS LGICAS NOTABLES

I. PRINCIPIO LGICO:

Un Principio Lgico, es el fundamento de toda verdad lgica (Tautolgia). De un principio lgico podemos generar
tautologas indefinidamente, y, a la vez, cualquier tautologa del universo lgico puede reducirse a un principio lgico.
Son conocidos los tres principios.

II. PRINCIPIOS LGICOS CLSICOS

2.1 PRINCIPIO DE IDENTIDAD

Establece que si se afirma una proposicin, se concluye la misma; si una proposicin es verdadera, entonces es
verdadera, una proposicin slo es idntica a s misma.En el plano de la realidad, toda cosa es idntica a s misma.
Simblicamente se expresa por:
A A ; A A Ej : p p ; p p

Ej.: "Si el libro es de matemtica see deduce

d ucccee que el libro es de matemtica".

2.2 PRINCIPIO DE NO CONTRADICCIN CIN

CI
N
N
Establece que inadmisiblemente una cosa sea ea y no sea a la vez. Es imposible que una proposicin sea verdadera
seea
y falsa a la vez, que una cosa exista y no exista
ta al
sta a mismo
m tiempo. Su formulacin simblica es:
~(A ~ A) Ej : ~(p~p)
A) E

Ej.: Es falso que la jirafa sea mamfero y no sea mamfero.

ro.
o.

2.3 PRINCIPIO DEL TERCIO EXCLUIDO

Fue planteado por Aristteles. Establece que una cosa es o no es, no existe una tercera posibilidad. Una proposi-
cin es verdadera o falsa, no existe una tercera posibilidad.
Simblicamente se expresa:
A~A Ej : p~p

Ejemplo: Augusto Salazar Bondy es peruano o no es peruano.

III. EQUIVALENCIAS NOTABLES

Son leyes que permiten la transformacin y simplificacin de los esquemas moleculares en esquema ms simples. Se
denominan equivalencias porque tanto la expresin original como la expresin simplificada tienen la misma matriz
principal en sus respectivas tablas de verdad. A continuacin las leyes equivalentes.

001
 Leyes Con variables
Con valores de esquema
Equivalentes proposicionales

1. Doble Negacin ~~ A A ~~p p

(DN) ~ ~~A A ~~~p ~p

2. Idempotencia A A A p p p
(Idem) A A A p p p

3. Conmulativa A B B A p q p q
(Conm) A B B A p q q p
A B B A p q q p
A B B A p q q p
4. Asociativa A (B C) (A B) C p (q r) (p q) r p q r
(Asoc.) A (B C) (A B) C p (q r) (p q) r p q r

5. Distributiva A (B C) (A B) (A C) p (q r) (p q) (p r)
(Dist.) A (B C) (A B) (A C) p (q r) (p q) (p r)
6. De Morgan ~(A B) ~A ~B ~(p q) ~p ~q
(DM) ~(A B) ~A ~B ~(p q) ~p ~q
7. Definicin del A B ~A B p q ~p q
Condicional (DC) A B ~(A ~ B) p q ~(p ~q)
8. Bicondicional A B (A B) (B A) p q (p q) (q p)
(DB) A B (A B) (~A ~B) p q (p q) (~p ~q)
9. Absorcin A (A B) A p (p q) p
(Abs) A (A B) A p (p q) p
A (~A B) A B p (~p q) p q
A (~A B) A B p (~p q) p q
10. Transposicin A B ~B ~A p q ~q ~p

EJEMPLOS:

I. DETERMINAR EL EQUIVALENTE DE LA SIGUIENTE PR

PRO
PROPOSICIN
RO
OP

"Si Federico decide quedarse en la biblioteca despus de las clases,

s entonces
e
en repasar la leccin de hoy".
Pasos a seguir:

1. Reemplazando las proposiciones simples

p = Federico decide quedarse en la biblioteca despus de las clases.
q = Repasar la leccin de hoy.

2. Estructura formal
Si p entonces q.

3. Reemplazando los conectivos obtenemos:

pq

4. Aplicando la definicin del condicional

p q ~ p q
p q ~(p~q)

5. Reemplazando su equivalente resulta

* Federico no decide quedarse en la biblioteca despus de las clases o repasar la leccion de hoy ~ p q .
* Es imposible que Federico decida quedarse en la biblioteca despus de las clases y no repase la leccin de hoy
~(p ~ q).

002
II. SIMPLIFICAR LAS SIGUIENTES FRMULAS
a) [p (p q)]
b) { ~p [q ~(q p)] } q
Desarrollando:

a) [p (p q)]
(p p) q Asociativa

p q Idempotencia

003
 PRCTICA
01. Marque la frmula que no representa a uno de los a) q p b) p q c) p q
principios lgicos clsicos:
d) p q e) ~ p q
a) ~(p~p) b) p p c) p p
d) p~p e) ~(p~p) 08. Al simplificar el esquema:
[( ~pq) p] [~(q~ p) p] , obtenemos:
02. Cul de las siguientes alternativas es lgicamente
verdadera (principio lgico)? a) Una conjuncin.
a) Si Amparo ingresa a la primera, entonces se alegra- b) Tercio excluido.
r. c) Identidad.
b) Si el diskett contiene informacin, entonces le d) No contradiccin.
servir a Lalo o no le servir. e) Idempotencia.
c) La lgica es una ciencia formal que estudia la
validez de las inferencias. 09. Simplificar ~ [~ (~ p q) p] q
d) Es falso que Manuel compre el reloj o no lo
compre. a) q p b) p q c) ~ p~q
e) Judith es abogada o no es abogada. d) ~ p~ q e) ~ p q

03. Seale la expresin equivalente a la siguiente

afirmacin:
10. Luego de simplificar la frmula:
"No es cierto que viajes en taxi y no llegues tem-
prano". ~ {(~ p ~ q) ~ [~ p (p ~ q)]}
a) No viajas en taxi y llegas temprano. a) ~ p q b) ~ p~q c) p q
b) Viajas en taxi y llegas temprano.
c) No viajas en taxi y llegas tarde. d) q p e) ~ p~ q
d) Si no viajas en taxi, no llegas temprano.
e) No viajas en taxi o llegas temprano. 11. Simplificando a:
[p (q ~p r)] [~(q p)~(p~q)] , resulta:
04. "No se da el caso que Pepe sea mdico y no sea a
a) p b) ~ p c) p q
cirujano".
Lo anterior tiene como equivalente a: d)) ~ p q
d e) q
a) Pepe es mdico de ah que es cirujano.
b) Pepe no es mdico o es cirujano. 12. "Ess ffalso
a que Juan sea ingeniero y no sea a la
c) Si Pepe no es cirujano entonces no es mdico. vez mamatemtico".
d) Pepe es cirujano o no es mdico. Equivale a:
e) Todas las anteriores. a) Si Juan es matemtico, es ingeniero.
b) Juan es ingeniero o matemtico.
05. En cul de las siguientes frmulas no se puede aplicar c) Juan no es ingeniero o no es matemtico.
la ley de la absorcin: d) Si Juan es ingeniero, es matemtico.
a) q (p q) e) Juan es ingeniero o no es matemtico.

b) s (~ s r) 13. "Si Juanito Silba, Yolita enrojece" es equivalente

c) ~ p (q~p) a:
a) Yolita enrojece si y solo si Juanito silba.
d) p (p q) b) Si Yolita enrojece es entonces Juanito silba.
e) (p q) [r (p q)] c) Juanito silba y Yolita enrojece.
d) Juanito no silba o Yolita enrojece.
06. Segn la regla de Morgan, el equivalente de la siguiente e) Es falso que Juanito Silba y Yolanda enrojezca.
proposicin es:
"Es mentira que nieva y llueva a la vez". 14. Seale la frmula equivalente a:
a) No es el caso que nieva o llueva. p (q r)
b) No nieva ni llueve. a) (p q) (p r)
c) No nieva o no llueve.
d) O nieva o llueve. b) (p q) r
e) Si llueve, entonces nieva. c) (p q) r

07. Utilizando las equivalencias notables, reducir: d) p (q r)

[
~ ~(p q)~ (~ q ~ p) ] e) (p q) (p r)

004
15. Cul representa al principio del Tercio Excluido? 22. La proposicin:
a) Si te preparas, entonces postulars. Si me preparo en Trilce, entonces ingreso a la
b) Si la nieve es blanca entonces deducimos que la primera, es lgicamente equivalente a:
nieve es blanca. a) Si ingreso a la primera, me prepar en Trilce.
c) No ocurre que postules y no postules. b) Si no me preparo en Trilce entonces no ingreso a la
d) Maribel va a la playa o no va a la playa. primera.
e) b y c. c) No es posible que me prepare en Trilce y no ingre-
se a la primera.
16. De un principio lgico podemos generar:
a) Implicancias. d) Ingreso a la primera si y slo si me preparo en Trilce.
b) Equivalencias. e) No ingreso a la primera o no me preparo en Trilce.
c) Leyes.
d) Tautologas indefinidamente. 23. ~ (A B) ~ (B ~ A) , halle su equivalente.
e) Todas las anteriores.
a) A B
17. Seale la expresin equivalente de: b) A B
"Si Michael es Ingeniero, entonces es c) ~ (~ A ~ B)
profesional".
a) Es Ingeniero tambin profesional. d) ~ (~ A ~ B)
b) O es Ingeniero o es profesional. e) ~ A ~ B
c) Si es profesional entonces es Ingeniero.
d) Es Ingeniero pero no es profesional. 24. El enunciado equivalente de:
e) No es ingeniero o es profesional. Si los dinosaurios fueron reptiles, no tuvieron
sangre caliente, es:
18. La proposicin: a) No fueron los dinosaurios reptiles o tuvieron san-
"Si ingresas a la universidad, entonces te gre caliente.
comprar un casco". b) Fueron los dinosaurios reptiles y tuvieron sangre
Es equivalente a la frmula: caliente.
a) p q c) No tuvieron los dinosaurios sangre caliente y fue-
b) ~ p q ron reptiles.
d) Es mentira que, los dinosaurios fueron reptiles y
c) ~ (~ q p)
tuvieron sangre caliente.
d) ~ q ~ p e) Los dinosaurios no fueron reptiles ni tuvieron san-
e) Todas las anteriores. gre caliente.

19. La expresin: Es falso que Julin postule a Medicina y 25. Simplificar el siguiente esquema:
5 Sim
no lo haga, representa al principio lgico: [(~ q p) (~ p q)] [(p q) ~ p]
a) De contradiccin.
a) ~p b) p q c) p q
b) Del tercio excluido.
c) De identidad. d) p e) q
d) De no contradiccin.
e) Condicional. 26. Reducir:
~ (p r) ~ [(~ p q) (~ q ~ r)]
20. Si llueve y hace fro se deduce que hace fro y tambin a) p q b) p q c) ~ p q
llueve.
d) p r e) p r
La expresin anterior, se denomina:
a) Principio de contradiccin.
b) De Morgan. 27. Si p q p ~ q ; indique la proposicin equivalente
c) Idempotencia. a:
d) Principio de identidad. [~ (~ p q) ~ q] ~ p
e) Principio del tercio excluido.
a) q p b) ~ q p c) ~ p ~ q
21. Seale la expresin equivalente a la siguiente d) ~ p ~ q e) p q
afirmacin:
No se da el caso que, trabajes y no tengas 28. La proposicin:
dinero. "Es falso que si voy al campo entonces me
a) No trabajas o tienes dinero. distraiga".
b) Trabajas y tienes dinero. Es lgicamente equivalente a:
c) No trabajas y tienes dinero. a) No voy al campo, pero me distraigo.
d) No trabajas o no tienes dinero. b) Voy al campo o me distraigo.
e) Si no trabajas, no tienes dinero. c) No me distraigo; sin embargo, voy al campo.
d) Me distraigo o no voy al campo.
e) Es falso que vaya al campo y no me distraiga.

005
29. "Si es invierno, hace fro; si es invierno, el 36. La frmula: (p q) (p r) , es equivalente a:
resfriado es comn".
El enunciado anterior equivale a: a) [p (q r)]
a) Si es invierno, el resfro es comn. b) [p (q r)]
b) Si hace fro, el resfriado es comn.
c) [(p q) (p r)]
c) Si es invierno, hace fro o el resfro es comn.
d) Ms de una es correcta. d) [p (q r)]
e) N. A. e) (p q) (p r)

30. La proposicin:
37. Aplicando las equivalencias notables simplificar:
"Es falso que, si no logras ingresar, te pondrs a
[(p q) ~ q] ~ q
trabajar".
Es equivalente a: a) ~q b) ~ p q c) q ~ p
a) Ingresas pero no trabajas. d) ~ p ~ q e) (~ q ~ p) ~ q
b) No ingresas pero trabajas.
c) Ingresas pero tambin trabajas. 38. Determine la proposicin equivalente ms simplificada
d) Ingresas o no trabajas. de:
e) Ni trabajas ni ingresas. [(p p) q] [(p p) q] donde:
p q ~ [~ p q]
31. "Lees historia porque maana jueves es el
examen del curso". a) p q b) q p c) ~ p ~ q
Es equivalente a: d) p q e) p q
a) Maana no es el examen o lees historia.
b) Lees historia y maana es el examen. 39. Reducir la siguiente frmula, usando equivalencias
c) El jueves es el examen de historia. notables:
d) Si lees historia, maana es el examen.
{p [~ q (~ q ~ p)]} ~ p
e) Porque lees historia, maana es el examen.
en
n.
a) p q b) q ~ p c) q ~ p
32. Dado el esquema: d) ~ q p e) ~p
(p q) (~ q r)
Seale la proposicin equivalente que solo presente 40 . Cules de las siguientes frmulas lgicas son
40
40.
los conectivos: " " "~" eequivalentes?
A.. [(p q) q] ~ (p q)
A
a) (p q) (~ r ~ q)
b) (p q) ~ r ( p q) ~ (~ q ~ p)
B. (~
C. [(~ q ~ p) q] (~ p q)
c) (p ~ q) (q r)
d) (r q) ~ p a) A y C b) C b) A y B
e) (q p) (q r) d) B y C e) A , B y C

33. Halle la equivalencia de: 41. Simplificar:

"Si no practico, no domino el curso". s {[~ s (q r)] [(r q) ~ q]}
a) Si practico, domino el curso. a) ~s b) q s c) r q
b) Si domino el curso, practico.
c) No practico o domino el curso. d) ~r e) ~q
d) No domino el curso o practico.
e) b y d. 42. Si p  q p ~ q
Simplifique:
34. Simplifique: (~ p  q)  p
[(p q) ~ p] ~ (q ~ p) a) q b) p q c) p ~ q
a) p b) ~p c) p ~ q d) ~p e) p
d) ~ p q e) ~ p q
43. Considerando que:
35. La frmula: ~ p ~ q , es equivalente a: p q ~ (p q) y p# q ~ p ~ q
a) p q b) p q c) p q Reduzca:
d) q p e) p q [(p ~ q)# q] [~ p # (q p)]
a) q ~ p b) ~ q p
c) q ~ p d) ~ q p
e) N. A.

006
44. Seale la equivalencia de: e) (r p) q
"Toca de odo, ya que no tiene formacin
musical".
53. Simplifique:
a) Si toca de odo, no tiene formacin musical.
[(p q) q] ~ q
b) Toca de odo o no tiene formacin musical.
c) Tiene formacin musical, tambin toca de odo.
d) No toca de odo, de ah que tiene formacin musi- a) p q b) ~p c) ~q
cal. d) p e) p ~ q
e) Si no toca de odo, carece de formacin musical.
54. Reduzca:
45. [(p ~ q) ~ r] equivale a: [(q p) ~ p] ~ (q ~ p)
a) (~ r p) (~ r ~ q) a) ~p b) p c) q
d) ~q e) p ~ q
b) (~ r p) (~ r ~ q)
c) (p ~ r) (~ r q) 55. Qu frmula equivale a:
d) (~ r ~ p) (~ r q) [(p q) (~ q p)] ~ p
e) (~ r ~ p) (~ r q) a) p q b) V c) F
d) p e) ~p
46. [(p q) ~ q] equivale a:
a) p b) p q c) ~q 56. Seale la expresin equivalente a:
"No se da el caso que caminas y no avances".
d) ~p e) q p
a) Caminas y avanzas.
b) No caminas o tienes que avanzar lentamente.
47. Simplifique:
c) No caminas o no avanzas.
[p (q ~ p)] ~ (q ~ p)
d) No caminas o avanzas.
a) p q b) p q c) ~p
e) Avanzas y caminas.
d) q e) p
57. La proposicin:
48. "Si fumo, estar enfermo". "Si Basadre es tacneo, entonces es peruano".
Equivale a: Es lgicamente equivalente a :
a) Si no estoy enfermo, no fumo. a) Si Basadre es peruano, entonces es tacneo.
b) No fumo o estar enfermo. b)) Si Basadre no es tacneo, entonces no es peruano.
c) Fumo y no estoy enfermo. c) No es posible que Basadre sea tacneo y o sea
d) No fumo ni estoy enfermo. peruano.
e) A y B. d)) Basadre
B es peruano si y solo si es tacneo.
e) Basadre no es peruano o es tacneo.
49. "No escribo poesa, dado que estoy en equilibrio".
Equivale a: 58. "Si Richard no estudia, Jorge trabajar; o
a) Es falso que escriba poesa y est en equilibrio. Richard estudia".
b) Si no estoy en equilibrio, escribo poesa. Es lgicamente equivalente a:
c) Estoy en equilibrio o no escribo poesa. a) Richard estudia y Jorge trabaja.
d) Ni escribo poesa ni estoy en equilibrio. b) Richard estudia si y slo si Jorge trabaja.
e) Es falso que escriba poesa o est en equilibrio. c) Richard trabaja o Jorge estudia.
d) Jorge trabaja o Richard estudia.
50. [~(p ~ q) ~ p] q , se reduce a: e) Richard estudia pero Jorge no trabaja.
a) p q b) q p c) p q
d) ~p e) q 59. Identifique cul de las siguientes frmulas simbolizan
una ley conmutativa:
51. "Es falso que Silver sea estadista y no sea a la a) ( A B) (B A )
vez matemtico". b) (~ A B) (B A )
Equivalen a:
c) (p q) (~ q p)
a) Si Silver es matemtico, es estadista.
b) Silver es estadista o matemtico. d) (A B) (~ A ~ B)
c) Silver no es estadista o no es matemtico. e) [(p q) r] (p r)
d) Si Silver es estadista, es matemtico.
e) Silver es estadista o no es matemtico. 60. Simplifique:
{[(A B) (A C)] ~ A} B
52. Seale el esquema equivalente a: (p q) (~ r q)
a) q (p ~ r) b) (p ~ r) q a) A C b) B A c) ~B
d) ~A e) ~ A B
c) q (r ~ p) d) q (p ~ r)
007