You are on page 1of 7

TRILCE

Captulo

5
I.

PRINCIPIOS LGICOS
LEYES LGICAS I:
Equivalencias Notables

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 se deduce que el libro es de matemtica".


2.2 PRINCIPIO DE NO CONTRADICCIN
Establece que inadmisiblemente una cosa sea y no sea a la vez. Es imposible que una proposicin sea verdadera
y falsa a la vez, que una cosa exista y no exista al mismo tiempo. Su formulacin simblica es:
~(A ~ A) Ej : ~(p~p)

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

2.3 PRINCIPIO DEL TERCIO EXCLUIDO


Fue planteado por Aristteles. Establece que una cosa es o no es, no existe una tercera posibilidad. Una proposicin 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.

43

Lgica

Con variables
proposicionales

Leyes
Equivalentes

Con valores de esquema

1. Doble Negacin
(DN)

~~ A A
~ ~~A A

~~p p
~~~p ~p

2. Idempotencia
(Idem)

A
A

p p p
p p p

3. Conmulativa
(Conm)

A B B A
A B B A
A B B A
A B B A
A (B C) (A B) C
A (B C) (A B) C

p
p
p
p
p
p

A (B C) (A B) (A C)
A (B C) (A B) (A C)
~(A B) ~A ~B
~(A B) ~A ~B
A B ~A B
A B ~(A ~ B)
A B (A B) (B A)
A B (A B) (~A ~B)
A (A B) A
A (A B) A
A (~A B) A B
A (~A B) A B
A B ~B ~A

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

4. Asociativa
(Asoc.)
5. Distributiva
(Dist.)
6. De Morgan
(DM)
7. Definicin del
Condicional (DC)
8. Bicondicional
(DB)
9. Absorcin
(Abs)

10. Transposicin

A
A

A
A

p
p
p
p
p

q
q
q
q
(q
(q

p
q
q
q
r)
r)

q
p
p
p
(p q) r p q r
(p q) r p q r

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

EJEMPLOS:
I.

DETERMINAR EL EQUIVALENTE DE LA SIGUIENTE PROPOSICIN


"Si Federico decide quedarse en la biblioteca despus de las clases, entonces 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).

44

TRILCE

II. SIMPLIFICAR LAS SIGUIENTES FRMULAS


a)

p (p q)

b)

~p q ~(q p) q

Desarrollando:
a)

p (p q)
(p

p) q

Asociativa

Idempotencia

45

Lgica

PRCTICA
01. Marque la frmula que no representa a uno de los
principios lgicos clsicos:
a) ~(p~p) b) p p
d) p~p

c) p p

e) ~(p~p)

02. Cul de las siguientes alternativas es lgicamente


verdadera (principio lgico)?
a) Si Amparo ingresa a la primera, entonces se alegrar.
b) Si el diskett contiene informacin, entonces le
servir a Lalo o no le servir.
c) La lgica es una ciencia formal que estudia la
validez de las inferencias.
d) Es falso que Manuel compre el reloj o no lo
compre.
e) Judith es abogada o no es abogada.
03. Seale la expresin equivalente a la siguiente
afirmacin:
"No es cierto que viajes en taxi y no llegues temprano".
a) No viajas en taxi y llegas temprano.
b) Viajas en taxi y llegas temprano.
c) No viajas en taxi y llegas tarde.
d) Si no viajas en taxi, no llegas temprano.
e) No viajas en taxi o llegas temprano.
04. "No se da el caso que Pepe sea mdico y no sea
cirujano".
Lo anterior tiene como equivalente a:
a) Pepe es mdico de ah que es cirujano.
b) Pepe no es mdico o es cirujano.
c) Si Pepe no es cirujano entonces no es mdico.
d) Pepe es cirujano o no es mdico.
e) Todas las anteriores.
05. En cul de las siguientes frmulas no se puede aplicar
la ley de la absorcin:
a) q (p q)
b) s (~ s r)
c) ~ p (q~p)
d) p (p q)
e) (p q) r (p q)
06. Segn la regla de Morgan, el equivalente de la siguiente
proposicin es:
"Es mentira que nieva y llueva a la vez".
a) No es el caso que nieva o llueva.
b) No nieva ni llueve.
c) No nieva o no llueve.
d) O nieva o llueve.
e) Si llueve, entonces nieva.
07. Utilizando las equivalencias notables, reducir:

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

46

a) q p

b) p q

d) p q

e) ~ p q

c) p q

08. Al simplificar el esquema:

( ~pq) p ~(q~ p) p , obtenemos:


a)
b)
c)
d)
e)

Una conjuncin.
Tercio excluido.
Identidad.
No contradiccin.
Idempotencia.

09. Simplificar ~ ~ (~ p q) p q
a) q p

b) p q c) ~ p~q

d) ~ p~ q

e) ~ p q

10. Luego de simplificar la frmula:

~ (~ p ~ q) ~ [~ p (p ~ q)]
a) ~ p q

b) ~ p~q

d) q p

e) ~ p~ q

c) p q

11. Simplificando a:

p (q ~p r) ~(q p)~(p~q) , resulta:


a) p

b) ~ p

d) ~ p q

e) q

c) p q

12. "Es falso que Juan sea ingeniero y no sea a la


vez matemtico".
Equivale a:
a) Si Juan es matemtico, es ingeniero.
b) Juan es ingeniero o matemtico.
c) Juan no es ingeniero o no es matemtico.
d) Si Juan es ingeniero, es matemtico.
e) Juan es ingeniero o no es matemtico.
13. "Si Juanito Silba, Yolita enrojece" es equivalente
a:
a) Yolita enrojece si y solo si Juanito silba.
b) Si Yolita enrojece es entonces Juanito silba.
c) Juanito silba y Yolita enrojece.
d) Juanito no silba o Yolita enrojece.
e) Es falso que Juanito Silba y Yolanda enrojezca.
14. Seale la frmula equivalente a:
p (q r)

a) (p q) (p r)
b) (p q) r
c) (p q) r
d) p (q r)
e) (p q) (p r)

TRILCE

15. Cul representa al principio del Tercio Excluido?


a) Si te preparas, entonces postulars.
b) Si la nieve es blanca entonces deducimos que la
nieve es blanca.
c) No ocurre que postules y no postules.
d) Maribel va a la playa o no va a la playa.
e) b y c.
16. De
a)
b)
c)
d)
e)

un principio lgico podemos generar:


Implicancias.
Equivalencias.
Leyes.
Tautologas indefinidamente.
Todas las anteriores.

17. Seale la expresin equivalente de:


"Si Michael es Ingeniero, entonces es
profesional".
a) Es Ingeniero tambin profesional.
b) O es Ingeniero o es profesional.
c) Si es profesional entonces es Ingeniero.
d) Es Ingeniero pero no es profesional.
e) No es ingeniero o es profesional.
18. La proposicin:
"Si ingresas a la universidad, entonces te
comprar un casco".
Es equivalente a la frmula:
a) p q
b) ~ p q
c) ~ (~ q p)
d) ~ q ~ p
e) Todas las anteriores.
19. La expresin: Es falso que Julin postule a Medicina y
no lo haga, representa al principio lgico:
a) De contradiccin.
b) Del tercio excluido.
c) De identidad.
d) De no contradiccin.
e) Condicional.

22. La proposicin:
Si me preparo en Trilce, entonces ingreso a la
primera, es lgicamente equivalente a:
a) Si ingreso a la primera, me prepar en Trilce.
b) Si no me preparo en Trilce entonces no ingreso a la
primera.
c) No es posible que me prepare en Trilce y no ingrese a la primera.
d) Ingreso a la primera si y slo si me preparo en Trilce.
e) No ingreso a la primera o no me preparo en Trilce.
23. ~ (A B) ~ (B ~ A) , halle su equivalente.
a) A B
b) A B
c) ~ (~ A ~ B)
d) ~ (~ A ~ B)
e) ~ A ~ B
24. El enunciado equivalente de:
Si los dinosaurios fueron reptiles, no tuvieron
sangre caliente, es:
a) No fueron los dinosaurios reptiles o tuvieron sangre caliente.
b) Fueron los dinosaurios reptiles y tuvieron sangre
caliente.
c) No tuvieron los dinosaurios sangre caliente y fueron reptiles.
d) Es mentira que, los dinosaurios fueron reptiles y
tuvieron sangre caliente.
e) Los dinosaurios no fueron reptiles ni tuvieron sangre caliente.
25. Simplificar el siguiente esquema:
[(~ q p) (~ p q)] [(p q) ~ p]

b) p q
e) q

a) ~p
d) p

c) p q

26. Reducir:
~ (p r) ~ [(~ p q) (~ q ~ r)]

20. Si llueve y hace fro se deduce que hace fro y tambin


llueve.
La expresin anterior, se denomina:
a) Principio de contradiccin.
b) De Morgan.
c) Idempotencia.
d) Principio de identidad.
e) Principio del tercio excluido.
21. Seale la expresin equivalente a la siguiente
afirmacin:
No se da el caso que, trabajes y no tengas
dinero.
a) No trabajas o tienes dinero.
b) Trabajas y tienes dinero.
c) No trabajas y tienes dinero.
d) No trabajas o no tienes dinero.
e) Si no trabajas, no tienes dinero.

a) p q
d) p r

b) p q
e) p r

c) ~ p q

27. Si p q p ~ q ; indique la proposicin equivalente


a:
[~ (~ p q) ~ q] ~ p
b) ~ q p c) ~ p ~ q

a) q p
d) ~ p ~ q e) p q

28. La proposicin:
"Es falso que si voy al campo entonces me
distraiga".
Es lgicamente equivalente a:
a) No voy al campo, pero me distraigo.
b) Voy al campo o me distraigo.
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

Lgica

29. "Si es invierno, hace fro; si es invierno, el


resfriado es comn".
El enunciado anterior equivale a:
a) Si es invierno, el resfro es comn.
b) Si hace fro, el resfriado es comn.
c) Si es invierno, hace fro o el resfro es comn.
d) Ms de una es correcta.
e) N. A.
30. La proposicin:
"Es falso que, si no logras ingresar, te pondrs a
trabajar".
Es equivalente a:
a) Ingresas pero no trabajas.
b) No ingresas pero trabajas.
c) Ingresas pero tambin trabajas.
d) Ingresas o no trabajas.
e) Ni trabajas ni ingresas.
31. "Lees historia porque maana jueves es el
examen del curso".
Es equivalente a:
a) Maana no es el examen o lees historia.
b) Lees historia y maana es el examen.
c) El jueves es el examen de historia.
d) Si lees historia, maana es el examen.
e) Porque lees historia, maana es el examen.
32. Dado el esquema:
(p q) (~ q r)
Seale la proposicin equivalente que solo presente
los conectivos: " " "~"

36. La frmula: (p q) (p r) , es equivalente a:


a) [p (q r)]
b) [p (q r)]
c) [(p q) (p r)]
d) [p (q r)]
e) (p q) (p r)
37. Aplicando las equivalencias notables simplificar:
[(p q) ~ q] ~ q

b) ~ p q

a) ~q

d) ~ p ~ q e) (~ q ~ p) ~ q
38. Determine la proposicin equivalente ms simplificada
de:
[(p p) q] [(p p) q] donde:
p q ~ [~ p q]

a) p q

b) q p

d) p q

e) p q

c) ~ p ~ q

39. Reducir la siguiente frmula, usando equivalencias


notables:
{p [~ q (~ q ~ p)]} ~ p

a) p q
d) ~ q p

b) q ~ p

c) q ~ p

e) ~p

40. Cules de las siguientes frmulas lgicas son


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
d) B y C

e) (q p) (q r)
33. Halle la equivalencia de:
"Si no practico, no domino el curso".
a) Si practico, domino el curso.
b) Si domino el curso, practico.
c) No practico o domino el curso.
d) No domino el curso o practico.
e) b y d.

b) C
e) A , B y C

b) A y B

41. Simplificar:
s {[~ s (q r)] [(r q) ~ q]}

a) ~s
d) ~r

b) q s
e) ~q

c) r q

42. Si p q p ~ q
Simplifique:

34. Simplifique:

(~ p q) p
[(p q) ~ p] ~ (q ~ p)

a) p
d) ~ p q

c) q ~ p

b) ~p
e) ~ p q

c) p ~ q

a) q
d) ~p

b) p q
e) p

c) p ~ q

43. Considerando que:


35. La frmula: ~ p ~ q , es equivalente a:
a) p q
d) q p

b) p q
e) p q

c) p q

p q ~ (p q) y p# q ~ p ~ q
Reduzca:
[(p ~ q)# q] [~ p # (q p)]
a) q ~ p
b) ~ q p

c) q ~ p
e) N. A.

48

d) ~ q p

TRILCE

44. Seale la equivalencia de:


"Toca de odo, ya que no tiene formacin
musical".
a) Si toca de odo, no tiene formacin musical.
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 musical.
e) Si no toca de odo, carece de formacin musical.

e) (r p) q
53. Simplifique:
[(p q) q] ~ q

a) p q

b) ~p

d) p

e) p ~ q

c) ~q

54. Reduzca:
45. [(p ~ q) ~ r] equivale a:
a) (~ r p) (~ r ~ q)
b) (~ r p) (~ r ~ q)
c) (p ~ r) (~ r q)

[(q p) ~ p] ~ (q ~ p)
b) p
c) q
e) p ~ q

a) ~p
d) ~q

55. Qu frmula equivale a:

d) (~ r ~ p) (~ r q)
e) (~ r ~ p) (~ r q)
46. [(p q) ~ q] equivale a:
a) p
b) p q
c) ~q
d) ~p

e) q p

47. Simplifique:
a) p q
d) q

[p (q ~ p)] ~ (q ~ p)
b) p q
c) ~p
e) p

48. "Si fumo, estar enfermo".


Equivale a:
a) Si no estoy enfermo, no fumo.
b) No fumo o estar enfermo.
c) Fumo y no estoy enfermo.
d) No fumo ni estoy enfermo.
e) A y B.
49. "No escribo poesa, dado que estoy en equilibrio".
Equivale a:
a) Es falso que escriba poesa y est en equilibrio.
b) Si no estoy en equilibrio, escribo poesa.
c) Estoy en equilibrio o no escribo poesa.
d) Ni escribo poesa ni estoy en equilibrio.
e) Es falso que escriba poesa o est en equilibrio.
50. [~(p ~ q) ~ p] q , se reduce a:
a) p q
b) q p
c) p q
d) ~p
e) q
51. "Es falso que Silver sea estadista y no sea a la
vez matemtico".
Equivalen a:
a) Si Silver es matemtico, es estadista.
b) Silver es estadista o matemtico.
c) Silver no es estadista o no es matemtico.
d) Si Silver es estadista, es matemtico.
e) Silver es estadista o no es matemtico.
52. Seale el esquema equivalente a: (p q) (~ r q)
a) q (p ~ r)
b) (p ~ r) q
c)

q (r ~ p)

d) q (p ~ r)

[(p q) (~ q p)] ~ p
a) p q
d) p

b) V
e) ~p

c) F

56. Seale la expresin equivalente a:


"No se da el caso que caminas y no avances".
a) Caminas y avanzas.
b) No caminas o tienes que avanzar lentamente.
c) No caminas o no avanzas.
d) No caminas o avanzas.
e) Avanzas y caminas.
57. La proposicin:
"Si Basadre es tacneo, entonces es peruano".
Es lgicamente equivalente a :
a) Si Basadre es peruano, entonces es tacneo.
b) Si Basadre no es tacneo, entonces no es peruano.
c) No es posible que Basadre sea tacneo y o sea
peruano.
d) Basadre es peruano si y solo si es tacneo.
e) Basadre no es peruano o es tacneo.
58. "Si Richard no estudia, Jorge trabajar; o
Richard estudia".
Es lgicamente equivalente a:
a) Richard estudia y Jorge trabaja.
b) Richard estudia si y slo si Jorge trabaja.
c) Richard trabaja o Jorge estudia.
d) Jorge trabaja o Richard estudia.
e) Richard estudia pero Jorge no trabaja.
59. Identifique cul de las siguientes frmulas simbolizan
una ley conmutativa:
a) ( A B) (B A )
b) (~ A B) (B A )
c) (p q) (~ q p)
d) (A B) (~ A ~ B)
e) [(p q) r] (p r)
60. Simplifique:
{[(A B) (A C)] ~ A} B

a) A C
d) ~A

b) B A
e) ~ A B

c) ~B

49

You might also like