TRILCE

Capítulo PRINCIPIOS LÓGICOS

5 LEYES LÓGICAS I:
Equivalencias Notables
I. PRINCIPIO LÓGICO:

Un Principio Lógico, es el fundamento de toda verdad lógica (Tautológia). De un principio lógico podemos generar
tautologías indefinidamente, y, a la vez, cualquier tautología del universo lógico puede reducirse a un principio lógico.
Son conocidos los tres principios.

II. PRINCIPIOS LÓGICOS CLÁSICOS

2.1 PRINCIPIO DE IDENTIDAD

Establece que si se afirma una proposición, se concluye la misma; si una proposición es verdadera, entonces es
verdadera, una proposición sólo es idéntica a sí misma.En el plano de la realidad, toda cosa es idéntica a sí misma.
Simbólicamente se expresa por:
A  A ; A  A Ej : p  p ; p  p

Ej.: "Si el libro es de matemática se deduce que el libro es de matemática".

2.2 PRINCIPIO DE NO CONTRADICCIÓN

Establece que inadmisiblemente una cosa sea y no sea a la vez. Es imposible que una proposición sea verdadera
y falsa a la vez, que una cosa exista y no exista al mismo tiempo. Su formulación simbólica es:
~(A ~ A) Ej : ~(p~p)

Ej.: Es falso que la jirafa sea mamífero y no sea mamífero.

2.3 PRINCIPIO DEL TERCIO EXCLUIDO

Fue planteado por Aristóteles. Establece que una cosa es o no es, no existe una tercera posibilidad. Una proposi-
ción es verdadera o falsa, no existe una tercera posibilidad.
Simbólicamente 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 transformación y simplificación de los esquemas moleculares en esquema más simples. Se
denominan equivalencias porque tanto la expresión original como la expresión simplificada tienen la misma matriz
principal en sus respectivas tablas de verdad. A continuación las leyes equivalentes.

43
Lógica

Leyes Con variables

Con valores de esquema
Equivalentes proposicionales

1. Doble Negación ~~ 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. Definición 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. Absorción 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. Transposición A B ~B ~A p q ~q ~p

EJEMPLOS:

I. DETERMINAR EL EQUIVALENTE DE LA SIGUIENTE PROPOSICIÓN

"Si Federico decide quedarse en la biblioteca después de las clases, entonces repasará la lección de hoy".
Pasos a seguir:

1. Reemplazando las proposiciones simples

p = Federico decide quedarse en la biblioteca después de las clases.
q = Repasará la lección de hoy.

2. Estructura formal
Si p entonces q.

3. Reemplazando los conectivos obtenemos:

pq

4. Aplicando la definición del condicional

p  q  ~ p q
p  q  ~(p~q)

5. Reemplazando su equivalente resulta

* Federico no decide quedarse en la biblioteca después de las clases o repasará la leccion de hoy ~ p  q .
* Es imposible que Federico decida quedarse en la biblioteca después de las clases y no repase la lección de hoy
 ~(p  ~ q).

44
 TRILCE

II. SIMPLIFICAR LAS SIGUIENTES FÓRMULAS

a) p  (p  q)
b)  ~p  q  ~(q  p)  q
Desarrollando:

a) p  (p  q)
(p p) q Asociativa

p q Idempotencia

45
Lógica

PRÁCTICA
01. Marque la fórmula que no representa a uno de los a) q  p b) p  q c) p  q
principios lógicos clásicos:
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:
( ~pq) p ~(q~ p) p , obtenemos:
02. ¿Cuál de las siguientes alternativas es lógicamente
verdadera (principio lógico)? a) Una conjunción.
a) Si Amparo ingresa a la primera, entonces se alegra- b) Tercio excluido.
rá. c) Identidad.
b) Si el diskett contiene información, entonces le d) No contradicción.
servirá a Lalo o no le servirá. e) Idempotencia.
c) La lógica 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. Señale la expresión equivalente a la siguiente

afirmación:
10. Luego de simplificar la fórmula:
"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 médico y no sea
a) p b) ~ p c) p  q
cirujano".
Lo anterior tiene como equivalente a: d) ~ p  q e) q
a) Pepe es médico de ahí que es cirujano.
b) Pepe no es médico o es cirujano. 12. "Es falso que Juan sea ingeniero y no sea a la
c) Si Pepe no es cirujano entonces no es médico. vez matemático".
d) Pepe es cirujano o no es médico. Equivale a:
e) Todas las anteriores. a) Si Juan es matemático, es ingeniero.
b) Juan es ingeniero o matemático.
05. En cuál de las siguientes fórmulas no se puede aplicar c) Juan no es ingeniero o no es matemático.
la ley de la absorción: d) Si Juan es ingeniero, es matemático.
a) q  (p  q) e) Juan es ingeniero o no es matemático.
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. Según la regla de Morgan, el equivalente de la siguiente e) Es falso que Juanito Silba y Yolanda enrojezca.
proposición es:
"Es mentira que nieva y llueva a la vez". 14. Señale la fórmula 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)

46
 TRILCE

15. ¿Cuál representa al principio del Tercio Excluido? 22. La proposición:

a) Si te preparas, entonces postularás. “Si me preparo en Trilce, entonces ingreso a la
b) Si la nieve es blanca entonces deducimos que la primera”, es lógicamente 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 lógico podemos generar:
a) Implicancias. d) Ingreso a la primera si y sólo si me preparo en Trilce.
b) Equivalencias. e) No ingreso a la primera o no me preparo en Trilce.
c) Leyes.
d) Tautologías indefinidamente. 23. ~ (A  B) ~ (B ~ A) , halle su equivalente.
e) Todas las anteriores.
a) A  B
17. Señale la expresión equivalente de: b) A  B
"Si Michael es Ingeniero, entonces es c) ~ (~ A  ~ B)
profesional".
a) Es Ingeniero también 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 proposición: 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 fórmula: 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 expresión: “Es falso que Julián postule a Medicina y 25. Simplificar el siguiente esquema:
no lo haga”, representa al principio lógico: [(~ q  p)  (~ p  q)]  [(p  q) ~ p]
a) De contradicción.
a) ~p b) p  q c) p  q
b) Del tercio excluido.
c) De identidad. d) p e) q
d) De no – contradicción.
e) Condicional. 26. Reducir:
~ (p  r) ~ [(~ p  q)  (~ q ~ r)]
20. Si llueve y hace frío se deduce que hace frío y también a) p  q b) p  q c) ~ p  q
llueve”.
d) p  r e) p  r
La expresión anterior, se denomina:
a) Principio de contradicción.
b) De Morgan. 27. Si p  q  p ~ q ; indique la proposición 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. Señale la expresión equivalente a la siguiente d) ~ p ~ q e) p  q
afirmación:
“No se da el caso que, trabajes y no tengas 28. La proposición:
dinero”. "Es falso que si voy al campo entonces me
a) No trabajas o tienes dinero. distraiga".
b) Trabajas y tienes dinero. Es lógicamente 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.

47
Lógica

29. "Si es invierno, hace frío; si es invierno, el 36. La fórmula: (p  q)  (p  r) , es equivalente a:

resfriado es común".
El enunciado anterior equivale a: a) [p  (q  r)]
a) Si es invierno, el resfrío es común. b) [p  (q  r)]
b) Si hace frío, el resfriado es común.
c) [(p  q)  (p  r)]
c) Si es invierno, hace frío o el resfrío es común.
d) Más de una es correcta. d) [p  (q  r)]
e) N. A. e) (p  q)  (p  r)

30. La proposición:
37. Aplicando las equivalencias notables simplificar:
"Es falso que, si no logras ingresar, te pondrás 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 también trabajas. 38. Determine la proposición equivalente más 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 mañana 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) Mañana no es el examen o lees historia.
b) Lees historia y mañana es el examen. 39. Reducir la siguiente fórmula, usando equivalencias
c) El jueves es el examen de historia. notables:
d) Si lees historia, mañana es el examen.
{p  [~ q  (~ q  ~ p)]} ~ p
e) Porque lees historia, mañana es el examen.
a) p  q b) q ~ p c) q ~ p
32. Dado el esquema: d) ~ q  p e) ~p
(p  q)  (~ q  r)
Señale la proposición equivalente que solo presente 40. ¿Cuáles de las siguientes fórmulas lógicas son
los conectivos: "  " "~" equivalentes?
A. [(p  q)  q] ~ (p  q)
a) (p  q)  (~ r ~ q)
B. (~ p  q) ~ (~ q  ~ p)
b) (p  q) ~ r
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 fórmula: ~ 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.

48
 TRILCE

44. Señale la equivalencia de: e) (r  p)  q

"Toca de oído, ya que no tiene formación
musical".
53. Simplifique:
a) Si toca de oído, no tiene formación musical.
[(p  q)  q] ~ q
b) Toca de oído o no tiene formación musical.
c) Tiene formación musical, también toca de oído.
d) No toca de oído, de ahí que tiene formación musi- a) p  q b) ~p c) ~q
cal. d) p e) p ~ q
e) Si no toca de oído, carece de formación 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é fórmula 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. Señale la expresión 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 proposición:
48. "Si fumo, estaré enfermo". "Si Basadre es tacneño, entonces es peruano".
Equivale a: Es lógicamente equivalente a :
a) Si no estoy enfermo, no fumo. a) Si Basadre es peruano, entonces es tacneño.
b) No fumo o estaré enfermo. b) Si Basadre no es tacneño, entonces no es peruano.
c) Fumo y no estoy enfermo. c) No es posible que Basadre sea tacneño y o sea
d) No fumo ni estoy enfermo. peruano.
e) A y B. d) Basadre es peruano si y solo si es tacneño.
e) Basadre no es peruano o es tacneño.
49. "No escribo poesía, dado que estoy en equilibrio".
Equivale a: 58. "Si Richard no estudia, Jorge trabajará; o
a) Es falso que escriba poesía y esté en equilibrio. Richard estudia".
b) Si no estoy en equilibrio, escribo poesía. Es lógicamente equivalente a:
c) Estoy en equilibrio o no escribo poesía. a) Richard estudia y Jorge trabaja.
d) Ni escribo poesía ni estoy en equilibrio. b) Richard estudia si y sólo si Jorge trabaja.
e) Es falso que escriba poesía 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 cuál de las siguientes fórmulas simbolizan
una ley conmutativa:
51. "Es falso que Silver sea estadista y no sea a la a) ( A  B)  (B  A )
vez matemático". b) (~ A  B)  (B  A )
Equivalen a:
c) (p  q)  (~ q  p)
a) Si Silver es matemático, es estadista.
b) Silver es estadista o matemático. d) (A  B)  (~ A  ~ B)
c) Silver no es estadista o no es matemático. e) [(p  q)  r]  (p  r)
d) Si Silver es estadista, es matemático.
e) Silver es estadista o no es matemático. 60. Simplifique:
{[(A  B)  (A  C)] ~ A}  B
52. Señale 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)

49