EQUIVALENCIAS VI.

LEY DEL CONDICIONAL:

Una implicacin se transforma en una disyuncin
Dos esquemas proposicionales A y B, se dice que son
negndose al antecedente.
equivalentes cuando unidas por el bicondicional "" el
p q p q
resultado es una tautologa, es decir, que A y B tiene los
mismos valores de verdad en su operador principal. Se
VI. NEGACIN DEL CONDICIONAL:
escribe:
La negacin de una implicacin se transforma en una
A B o bien A B conjuncin negndose al consecuente.
Y se lee: "A es equivalente a B" o "B es equivalente a A"
(p q) p q
Si A no es equivalente a B, se escribe:
A B o bien A B
PRCTICA DE CLASE
NOTA: Debemos distinguir entre los conceptos de
bicondicional y de equivalencia. En efecto, el bicondicional 1. De la premisa: Es imposible que Platn sea materialista
es una operacin entre proposiciones, en cambio, la e idealista, se concluye:
equivalencia es una relacin entre frmulas a) Platn no es materialista o tambin
proposicionales. Platn nunca fue idealista.
b) Es falso que idealista tal como
PRINCIPALES LEYES LGICAS O TAUTOLOGAS materialista sea Platn.
Una forma proposicional es una ley lgica si y slo si c) Si Platn es materialista es obvio que
cualquiera que sea la interpretacin formalmente correcta no es idealista.
que se haga de la misma, se obtiene como resultado una d) Todas las anteriores.
verdad lgica. e) N.A.
En lgica, las tautologas son conocidas con el nombre de
leyes de principios lgicos y son los siguientes: 2. Son equivalencias de la siguiente frmula: -(- A B)
A) (B v A) B) (B A) C) (A B)
EQUIVALENCIAS NOTABLES D) (- A v B) E) Todas las anteriores
I. LEYES CONMUTATIVAS:
Si en las proposiciones conjuntivas, disyuntivas y 3. No estudio a menos que no haya motivacin, equivale
a:
bicondicionales se permutan sus respectivas
a) Ni estudio ni hay
componentes, sus equivalentes significan lo mismo;
motivacin.
esto es: b) Ya que estudio bien
a)p q q p b)p q q p se ve que no hay motivacin.
c)p q q p d)p q q p c) Es inadmisible que
e)p q f)p / q estudio y hay motivacin.
d) AyB
II. LEYES DE MORGAN: e) ByC
La negacin de las proposiciones conjuntivas o
disyuntivas se obtiene cambiando la conjuncin por la 4. La proposicin: No tomo decisiones a menos que jams
disyuncin, o la disyuncin por la conjuncin, y tenga suficiente datos, equivale a:
negando cada uno de los componentes. 1) (A v B) 2) B v A 3) (B A)
a)(p q) p q b)(p q) p q 4) A v B 5) B - A
Son no incorrectas:
III. LEY DE INVOLUCIN (DOBLE NEGACIN): A) 1 y 2 B) 2 y 4 C) 3 y 5
Dos negaciones de igual alcance equivale a una D) 1 y 4 E) 2 y 5
afirmacin.
(p) p 5. La proposicin: Jams ingresars a la universidad a
menos que nunca triunfes, equivale a:
IV. LEYES DE TRANSPOSICIN 1. Es incorrecto que ingreses a la universidad tal como
(CONTRAPOSICIN): triunfes.
Los miembros de un condicional, bicondicional y un 2. No es innegable que triunfes incluso ingreses a la
disyuntor excluyente pueden ser transpuestas si se universidad.
3. Siempre que ingreses a la universidad, entonces no
niegan cada uno de ellos.
triunfars.
a) p q q p b) p q q p
c) p q q p
1
Expositor : Becerra Huangal Viter
Cel :947948037 Raz.
Lgico

4. No triunfars salvo que nunca ingreses a la c) No hay gente con principios sin embargo hay nihilistas.
universidad. d) Todas
5. Triunfars por tanto no ingresars a la universidad. e) N.A.
Son falsas:
A) 1,3,2 B) 2,3,4 C) 3,4,5 D) 1,3,4,5 E) N.A. 12. Es mentira que, los jueces no sean dignos ms sean
venales, equivale a:
6. La contraposicin de: Es mentira que si nunca tiene a) Es falso que, si los jueces son venales entonces no
agua por eso es ro, es: son indignos.
a) Es ro pero no tiene agua. b) Los jueces no son venales sin embargo son dignos.
b) De ningn modo si jams es ro c) No sucede que, si los jueces no son venales entonces
obviamente tiene agua. son indignos.
c) Al ser ro en tal sentido no tiene d) B y C
agua. e) Todas
d) Al no tener agua bien se ve que no
es un ro. 13. La proposicin: Es absurdo que si hay paz en
e) N.A. consecuencia hay violencia, equivale a:
1) Hay paz pero no violencia.
7. La conmutacin de la Ley de Morgan a la base. Siendo la 2) Es mentira que si no hay violencia, no hay paz.
base lgica: -(A B), es: 3) No hay violencia sin embargo existe la paz.
A) A - B B) B - A C) (B A) 4) Es falso que no haya paz salvo que haya violencia.
D) B v A E) N.A. 5) No es verdad que haya violencia excepto que no
haya paz.
8. La proposicin: Es imposible que hable y sea mudo, por De las anteriores son correctas:
contraposicin a su definicin, equivale a: A) 1,2,3 B) 2,3,4 C) 3,4,5 D) Todas E) N.A.
a) Si soy mudo entonces es imposible
que hable. 14. La proposicin: Es falso que Juan no se divierta a
b) Soy mudo sin embargo no hablo. menos que sea liberal, equivale a:
c) El mudo es obvio que no habla ni 1) Juan no se divierte porque es liberal.
canta. 2) Si Juan se divierte es obvio que no es liberal.
d) Todas las anteriores. 3) Juan no se divierte as como no es liberal.
e) N.A. 4) Juan no es liberal a menos que no se divierta.
5) De ninguna forma si Juan se divierte entonces es
9. No se da el caso que Jos sea deshonesto excepto que liberal.
sea franciscano, equivale a: Son correctas:
1) Jos no es franciscano sin embargo si es honesto. A) 1,2,3 B) 2,3,5 C) 3 y 4 D) Slo 5 E) N.A.
2) No acaece que Jos sea deshonesto, ni franciscano.
3) Jos es honesto sin embargo no es franciscano. 15. Si a una frmula conjuntiva se le conmuta, luego se
4) De ningn modo, el no ser franciscano, es condicin aplica la ley de Morgan y despus la definicin de
suficiente para ser deshonesto en Jos. implicador y finalmente la contraposicin obtenemos: -
5) No es verdad que Jos sea franciscano adems de A - B ]; luego la frmula original es:
deshonesto. a) A B b) A - B c) A B
Son verazmente no inveraces: d) A - B e) N.A.
A) 1,4,3 B) 3,5,4 C) 2,3,4 D) 1,3,2 E) N.A.
16. La proposicin "Felipe ni es abogado, ni es mdico"
10. La contraimplicacin de la definicin lgica de: ni estudio equivale a:
as como carezco de trabajo; es: a) Es falso que Felipe sea mdico al mismo tiempo que
a) Si no trabajo se concluye que no estudio. abogado.
b) Si y slo si no trabajo, es obvio que no estudio. b) Dado que Felipe no es mdico ser abogado.
c) Porque no estudio, trabajo. c) Es mentira que, a menos que Felipe no sea abogado,
d) Es absurdo que al no trabajar en tal sentido estudio es mdico.
e) N.A. d) Es objetablemente no falso que, al no ser abogado
Felipe evidentemente ser mdico.
11. No sucede que, si hay nihilistas por ello haya gente e) N.a.
con principios, equivale a:
a) Hay nihilistas pero es falso que haya gente con 17. La proposicin: "Salvo que no haya capital, las empresas
principios. decrecern", Equivale por contraposicin a la definicin.
b) Es mentira que, no hay nihilistas y/o haya gente con a) Las empresas crecern si no hay capital
principios. b) Las empresas decrecern dado que no haya capital.

Tenemos la clave de tu ingreso! -2-

Cel :947948037 Raz.
Lgico
LEY DE APLICAICONES 19. No es inobjetable que, el hielo tanto como el
EQUIVALENCIAS VARIAS hidrgeno de ningn modo tengan el mismo peso
1) DOBLE --A A atmico, no es equivalente a:

NEGACIN A) (- p -q) B) p q C) p -q
-A - - -A
D) (-q - p) E) Todas
2) LEYES DE
MORGAN (
-(A B) A B
A B ( A B ) PRACTICANDO
( , ) La frmula: [(r r) + p] (r + p); Corresponde a
1.
A B ( A B ) la aplicacin de la Ley de:
3)CONMUTACIN A B B A A) DMorgan B) Idempotencia
( , , , /) C) Transposicin D) Expansin
A B B A E) Absorcin
A B B A 2. De las siguientes estructuras lgicas:
4)CONTRAPOSICIN A B B A 1) p p v q
(, , , A B B A 2) (p q) [q (p + q)]
3) p q [p (p q)]
)
A B B A 4) p [p (q q)]
5) p [p (q q)]
A B B A Son ciertas
A B B A A) 1, 2 y 3 B) 2, 3 y 5 C) 2, 3 y 4
D) 1, 3 y 5 E) Slo 1 y 2
A B B A
3. Dado: (A B), equivale a:
5) DEFINICIN DE A B A B 1) (B A) 2) (A B)
IMPLICADOR
A B A B 3) (A B) 4) (A B)
5) (A B)
A B A B No son ciertas:
A B A B A) 1, 3 y 4 B) Slo 2 y 5 C) 1, 2 y 5
D) Slo 3 y 4 E) 3, 4 y 5
A B A B
4. La doble negacin de (A B) equivale a:
A B A B 1) A & B 2) A B 3) A / B
DEFINICIN DE A B ( A B ) ( A 4)BA ) B 5) B A
BIIMPLICADOR Son falsas
A B ( A B ) ( A BA)) Slo 1, 2 y 3 B) Slo 3, 4 y 5
A B ( A B ) ( A C)BSlo ) 1 y 5 D) Todas E) Slo 2, 3 y 4
5. La frmula: (A / B) (B / A); equivale a:
6) DEFINICIN DE A B ( A B ) ( A B 1) )(B / A) (A / B)
DISYUNTOR
EXCLUYENTE A B ( A B) ( A B 2) )(B B) / (A B)
3) (B / A) (B / A)
A ( B C ) ( A B ) C 4) (B B) / A 5) (A / B) (A / B)
8) ASOCIACIN
( ,, ,) A B C A ( B C ) Son falsas, excepto:
A) 1, 2 y 5 B) 2 y 4 C) Slo 3 y 5
( A B ) (C D) A ( B D)C 1, 3y D
5 ) E) 1, 3 y 4
c) Slo si no hay capital, las empresa crecern. 6. La frmula: {[(A B) (B + A)] [A +
d) dado que existe capital es obvio que las empresas (B A)]}. Tiene como equivalente a:
crecern.
A) A B B) A + A C) (A B)
e) N.A.
D) (A + B) E) A B
18. La proposicin: De ninguna manera, al haber reformas; 7. La frmula: (A B) + (A / B), equivale por
hay bienestar social, es equivalente a: Idempotencia a:
A) - (q p) B) q -p C) (-q -p) A) (A B) B B) A + B C) A B
D) - ( q -p) E) - (p q) D) (A B) E) A
8. La frmula: [A (A B)]; es equivale a:

Tenemos la clave de tu ingreso! -3-

Cel :947948037 Raz.
Lgico

A) A B B) B A C) A 2) (A A) (A A)
D) A + B E) A 3) A A
9. La frmula lgica: (p q) (q p) (r s); 4) A (C B A)
equivale por absorcin a: 5) [(A B) A)]
A) p B) p q C) p Se producen equivalencias entre:
D) p q E) q A) 1 y 2 B) 2 y 3 C) 3 y 4
10. El esquema lgico: (A B) 1; es D) 4 y 5 E) 1 y 5
equivalente a:
1) (A B) 2) A B
3) (A B) v 0 4) (A B) (A B)
5) (A B) (B A)
Son ciertas:
A) Slo 1, 2 y 4 B) Slo 3, 4 y 5
C) Slo 2 y 3 D) Todas E) Slo 1, 3 y 5
11. El siguiente esquema molecular: p (p q)
tiene como equivalentes a:
1) p (q p) 2) p (p q)
3) (p p) (p q)
4) p q 5) q (p q)
Son ciertas:
A) Slo 2 y 4 B) Slo 1 y 4
C) Slo 1 y 3 D) Slo 1, 4 y 5 E) Todas
12. El siguiente esquema formal:
[(p q) & (p q)] (p q)
Tiene como frmulas equivalentes a:
1) p q 2) (p / q)
3) (p q) 4) p (p q)
5) p (p q)
Son correctas:
A) Slo 1, 3 y 4 B) Slo 1 y 3
C) Slo 1, 2 y 3 D) Slo 3, 4 y 5
E) Todas
13. El siguiente esquema formal
q p q) (q r), es equivalente a:
1) (q p) (r q)
2) (r q) (q p)
3) q r
4) (q r)
5) (p q) (q r)
Son ciertas:
A) Slo 1, 2 y 3 B) Slo 2 y 3
C) Slo 3 y 4 D) Slo 1, 2 y 5 E) Todas
14. El siguiente esquema formal A A (C
B), es equivalente a:
1) A A 2) A A
3) (A A) 4) A A 5) (A A)
Son ciertas:
A) 1, 2 y 3 B) 2, 4 y 5 C) 2, 3 y 5
D) Ninguna E) 2, 3, 4 y 5
15. De las formulas:
1) A (A + B + C + D + E + F + G)

Tenemos la clave de tu ingreso! -4-