Professional Documents
Culture Documents
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.
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
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.
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
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)
~ ~(p q)~ (~ q ~ p)
46
a) q p
b) p q
d) p q
e) ~ p q
c) p q
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
~ (~ p ~ q) ~ [~ p (p ~ q)]
a) ~ p q
b) ~ p~q
d) q p
e) ~ p~ q
c) p q
11. Simplificando a:
b) ~ p
d) ~ p q
e) q
c) p q
a) (p q) (p r)
b) (p q) r
c) (p q) r
d) p (q r)
e) (p q) (p r)
TRILCE
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)]
a) p q
d) p r
b) p q
e) p r
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
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
a) p q
d) ~ q p
b) q ~ p
c) q ~ p
e) ~p
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
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
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
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
q (r ~ p)
d) q (p ~ r)
[(p q) (~ q p)] ~ p
a) p q
d) p
b) V
e) ~p
c) F
a) A C
d) ~A
b) B A
e) ~ A B
c) ~B
49