FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

UNIDAD V: LGICA SIMBOLICA

TABLA DE CONECTIVOS LGICOS

CONECTIVO
a) Conjuncin

b)

Disyuncin
i)

FUNCIN
Juntar,
Agregar,
Adherir,
(enunciados /no trminos )

Inclusiv
a
El uno o el otro o
ambos

ii) Exclusiva
El uno o el otro pero no
ambos
c)

Condicional

d)

Bicondicional

La Negacin

Signos
1. Agrupacin

2.

SMBOLO

^
&

Presentar alternativas u opciones

LECTURA
Y, pero, mas, tambin,
mientras, sin embargo
Tanto.como
Aunque, adems
A menos que, o,

La o en medio de las
proporciones simples.

Presenta una sola opcin

La o antes de la primera
proposicin y otra o en medio de
las proporciones.
Presenta una reilacin hipottica
entre 2 o mas eventos que tengan
una secuencia lgica.
Es necesario que ocurra A
(antecedente) para que suceda
B (consecuencia)
Implica una relacin de igualdad o
de equivalencia

Niega una preposicin, cambia o

invierte el valor de verdad de una
proposicin.

Determinan orden y prioridad de

los trminos

~
(){}[]
, . ;

Puntuacin

Nini..
O bien o.
O bien..a menos que.
O el uno el otro pero no
ambos
Si ... entonces
Se sigue que,
Implica que,
Contiene a

Si y solo si
Equivalente
Es falso que
No es el caso que
No es cierto que
No ocurre que
No sucede que
Cuando existe una coma;
punto, y punto y coma, aislar
la expresin siguiente con
signos de agrupacin.

TABLAS DE VERDAD
Proposiciones

Conjuncin

Disyuncin
Inclusiva

Disyuncin
Exclusiva

p q

pv q

pvq

Condicional

Bicondicional

Negacin

pq

pq

Antecedente

Consecuente

~P

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

UNIDAD V: LGICA SIMBOLICA

REGLAS DE INFERENCIA

Modus Ponens (MP)

Modus Tollens (MT)

Silogismo hipotetico (SH)

Silogismo disyuntivo (SD)

Dilema Constructivo (DC)

Absorcin (Abs)
Simplificacin (Simp)
Conjuncin (Conj)
Adicin (Ad)

pq
p
q
~p q
~p
q
pq
~q
~p
~p q
~q
p
pq
qr
p r
~p q
qr
~p r
pvq
~p
q
~a v b
~b
~a
(p q) . (r s)
pvr
qvs
pq
p (q.p)

ab
a
b
~p ~q
~p
~q
ab
~b
~a
~p ~q
q
p
p ~q
~q r
p r
~p q
q ~r
~p ~r
pvq
~q
p
s v ~t
t
s
(~p q) . (r ~s)
~p v r
q v ~s
pq
p (p.q)

p.q
p
p
q
p.q
P
p v q

p.q
q
~a
~b
~a . ~ b
t
t v w

(p v q) r
(p v q)
r
(p . q) (r v s)
(p . q)
(r v s)
(p v q) r
~r
~(p v q)
(p . q) (r v s)
~(r v s)
~(p . q)
(p . q) (r v s)
(r v s) (t . u)
(p . q) (t . u )

(a b) . (~c ~d)
a v ~c
b v ~d
(a v b) (c.d)
(a v b) [ (c.d). (a v
b) ]

t.u
r v ~s
(t . u) . (r v ~s)
rvs
(r v s) v (r.t)

REGLAS DE REEMPLAZO
Teoremas de De Morgan (De M)

~ p.q ~ p ~ q
~ p q ~ p . ~ q
Distribucin (Dist.)

p . q r
pq.r

p
p

p p
p. p

q p
q . p

Equivalencia Material (Equiv.)

p q

p q

p q r p q r
p.q.r p.q.r

Transposicin (Trans.)

p . q p . rp ~ ~ p
p q. p r

p q ~ p q

Tautologa (Taut.)

pq
p.q

Asociacin (Asoc.)

Doble Negacin (D N)

Implicacin Material (Impl.)

Conmutacin (Conm.)

p q ~ q ~ p

Exportacin (Exp.)

q
p . pq r
p.q ~ p.~ q
p q .

q r

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

UNIDAD V: LGICA SIMBOLICA

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

Ejercicios tomados del libro Introduccin a la Lgica de Irving Copi

I. Cules de los siguientes enunciados son verdaderos?
1. Londres es la capital de Inglaterra. Estocolmo es la capital de Noruega.
2-. (Roma es la capital de Espaa v Pars es la capital de Francia).
3. Roma es la capital de Espaa v Pars es la capital de Francia.
4. Londres es la capital de Inglaterra v Londres es la capital de Inglaterra.
5. Estocolmo es la capital de Noruega. Estocolmo es la capital de Noruega.
6. (Pars es la capital de Francia. Roma es la capital de Espaa) v (Pars es la
capital de Francia. Roma es la capital de Espaa).
7. (Londres es la capital de Inglaterra v Estocolmo es la capital de Noruega).( Roma
es la capital de Italia. Estocolmo es la capital de Noruega).
8. Roma es la capital de Espaa v (Pars es la capital de Francia. Roma es la
capital de Espaa).
9. Roma es la capital de Italia. (Pars es la capital de Francia v Roma es la capital
de Espaa).
10. (Pars es la capital de Francia. Estocolmo es la capital de Noruega).
11.[(Roma es la capital de Espaa v Pars es la capital de Francia) v (Pars es
la capital de Francia v Estocolmo es la capital de Noruega)].
12.[(Londres es la capital de Inglaterra. Roma es la capital de Espaa).(Roma
es la capital de Espaa. Roma es la capital de Espaa)].
13. (Estocolmo es la capital de Noruega v Pars es la capital de Francia) v
(Londres es la capital de Inglaterra. Roma es la capital de Espaa).
14. Roma es la capital de Espaa v (Londres es la capital de Inglaterra v Londres es
la capital de Inglaterra).
15. (Pars es la capital de Francia. Pars es la capital de Francia. Roma es la capital
de Espaa).

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

UNIDAD V: LGICA SIMBOLICA

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

16. Londres es la capital de Inglaterra. (Roma es la capital de Italia. Roma es la

capital de Italia).
17. (Estocolmo es la capital de Noruega v Pars es la capital de Francia) v
(Estocolmo es la capital de Noruega. Londres es la capital de Inglaterra).
18. (Pars es la capital de Francia v Roma es la capital de Espaa) v (Pars es la
capital de Francia. Roma es la capital de Espaa).
19. [(Roma es la capital de Espaa. Estocolmo es la capital de Noruega) v
(Pars es la capital de Francia v Roma es la capital de Espaa)].
20. [(Londres es la capital de Inglaterra. Pars es la capital de Francia) v
(Estocolmo es la capital de Noruega v Pars es la capital de Francia)].
21. [(Pars es la capital de Francia v Roma es la capital de Italia). (Roma es la
capital de Italia v Estocolmo es la capital de Noruega)].
22. [(Roma es la capital de Espaa v Estocolmo es la capital de Noruega).
(Estocolmo es la capital de Noruega v Pars es la capital de Francia)].
23. [(Londres es la capital de Inglaterra. Pars es la capital de Francia) v (Pars
es la capital de Francia. Roma es la capital de Espaa)].
II. Si A, B y C son enunciados verdaderos y X, Y y Z son enunciados falsos,
cules de los siguientes son verdaderos?
1. A v B

2. B v X

3. Y v C

4. Z v X

5. (A X) v (B Y)

6. (B C) v (Y Z)

7. (C Y) v (A Z)

8. (A B) v (X Y)

9. (X Z) v (B C)

10. (X Y) v (B C)

11. (A v X) (Y v B)
13. (X v Y) (X v Z)

12. (B v C) (Y v Z)
14. (A v Y) (B v X)

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

UNIDAD V: LGICA SIMBOLICA

15. (X v Z) (X v Z)

16. (A v C) v (X Y)

17. (B v Z) (X v Y)

18. [(A v C) v (C v A)]

19. [(B C). (C B)]

20. [(A B) v (B A)]

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

21. [A v (B v C)] [(A v B) v C]

22. [X v (Y Z)] v [(X v Y) (X v Z)]
23. [A (B v C)] [(A B) v (A C)]
24. [(A B) . (X Z)] [(A B) v (Y Z)
25. {[(B C) v (Y Z)] [(B v X) v (B v Y)]
III. Si sabemos que A y B son verdaderos y que X y Y son falsos, pero
desconocemos los valores de verdad de P y Q, Cules

de los valores de

verdad de los siguientes enunciados se pueden conocer?

1. A v P
3. Q v X
5. P v P
7. Q Q
9. (P Q) v P
11. (P v Q) (Q v P)
13. P v Q v (P Q)
15. P [ (P v Q) v P]
17. [(P v Q) v P v P
19. (A v P) (P v Y)
20. (P v (B Y) v [(P v B) (P v Y)]
21. [P v (Q A)] [(P v Q) (P v A)
22. P v (Q X) (P v Q) ~ (P v X)
23. P v (Q v X) v [(P v Q) v (P v X)]
24. [P v (Q v A)] v [ (P v Q) v (P v A)]
25. [(P Q) v (Q P) [(P Q) v ( Q P)]

2. Q X
4. B P
6. P v (Q v P)
8. P (P v X)
10. Q (P v Q) P
12. (P Q) (P v Q)
14. P v (A v X)
16. (P Q) v (Q P)
18. (P v Q) [P v (P Q)]

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

UNIDAD V: LGICA SIMBOLICA

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

IV. Usando las letras E, I, J, L y S para abreviar los enunciados simples Egipto
disminuye sus aprovisionamientos, Irn eleva el precio del petrleo,
Jordania pide ayuda a Estados Unidos, Libia aumenta el precio del petrleo
y Saudiarabia compra otros quinientos aviones de guerra, simbolice lo
siguiente:
1. Irn eleva el precio del petrleo pero Libia no aumenta el precio del petrleo.
2. O bien Irn o Libia aumentarn el precio del petrleo.
3. Irn y Libia elevarn el precio del petrleo.
4. Irn y Libia no aumentarn el precio del petrleo.
5. Irn y Libia aumentarn ambos el precio del petrleo.
6. Irn o Libia aumentarn el precio del petrleo pero no lo harn ambos a la vez.
7. Saudiarabia compra otros quinientos aviones de guerra y o bien Irn eleva el
precio del petrleo o Jordania pide ms ayuda norteamericana.
8. O bien Saudiarabia compra otros quinientos aviones de guerra e Irn eleva el
precio del petrleo o Jordania pide ms ayuda a Estados Unidos.
9. No es el caso que Egipto disminuya sus aprovisionamientos y Jordania pida ms
ayuda norteamericana. ~E ^ J
10. No es el caso que o bien Egipto disminuya sus aprovisionamientos o Jordania
pida ms ayuda a Estados Unidos.
11. No es el caso que Egipto disminuya sus aprovisionamientos o Jordania pida ms
ayuda norteamericana.
12. No es el caso que a la vez Egipto disminuya sus aprovisionamientos y Jordania
pida ms ayuda a Estados Unidos.
13. Jordania pide ms ayuda a Estados Unidos, a menos que Saudiarabia compre
otros quinientos aviones de guerra.
14. A menos que Egipto disminuya sus aprovisionamientos, Libia elevar el precio
del petrleo.
15. Irn no elevar el precio del petrleo a menos que Libia tambin lo haga.

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

UNIDAD V: LGICA SIMBOLICA

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

16. A menos que tanto Irn como Libia eleven el precio del petrleo, ninguno de ellos
lo har.
17. Libia eleva el precio del petrleo y Egipto disminuye sus aprovisionamientos.
18. No es el caso que ni Irn ni Libia elevarn los precios del petrleo.
19. Egipto disminuye sus aprovisionamientos y Jordania pide ms ayuda de Estados
Unidos, a menos que tanto Irn como Libia no eleven el precio del petrleo.
20. O

bien Irn

eleva

el

precio

del

petrleo y Egipto

disminuye

sus

aprovisionamientos o no es el caso que a la vez Jordania pida ms ayuda

norteamericana y Saudiarabia compre otros quinientos aviones de guerra.
21. 0 bien Egipto disminuye sus aprovisionamientos y Saudiarabia compra otros
quinientos aviones de guerra o Jordania pide ms ayuda a Estados Unidos o Libia
eleva el precio del petrleo.
22. Saudiarabia compra otros quinientos aviones de guerra y o bien Jordania pide
ms ayuda a Estados Unidos o tanto Libia como Irn elevan el precio del
petrleo.
23. O bien Egipto disminuye sus aprovisionamientos o Jordania pide ms ayuda a
Estados Unidos, pero ni Libia ni Irn elevarn los precios del petrleo.
24. Egipto disminuye sus aprovisionamientos; sin embargo, Saudiarabia eleva
compra otros quinientos aviones de guerra y Jordania pide ms ayuda a Estados
Unidos.
V. Si A, B y C son enunciados verdaderos y X, Y y Z son falsos, determine
cules de los siguientes son verdaderos:
5. (A B) Z

7. (A B) Z

7. (A B) C

8. (X Y) C

9. A (B Z)

11. [(A B) C] Z

13. [A (X Y)] C
15. [(X Z) C] Y

(Y Z)
12. (A X) Y Z
14. A B) Y X
16. (Y B) Y Y
10. X

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

UNIDAD V: LGICA SIMBOLICA

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

17. [(A Y)

B] Z
18. [(A X) C] [(A C) X]
19. [(A X) C] [(A X) C]
20.[(A X) Y] [(X A) (A Y)]
21. [(A X) v ( A X)] [(A X) (X A)]
22. {[A (B C)] [(A B) C]} [(Y B) (C Z)]
23. {[(X Y) Z] [Z (X Y)]) [(X Z) Y]
24. [(A X) Y] [(A X) (A Y)]
25. [(A (X Y)] [(A X) v (A Y)]
VI. Si A y B se conocen como verdaderos y X y Y como falsos, pero los valores
de verdad de P y de Q no se conocen, de cules de los siguientes enunciados
podemos determinar los valores de verdad?
1. P A

2.X Q

5. (P P)

6.(X Q) X

3. (Q A) Y

X
7. X (Q X)
9. [P (Q P)] Y
11. (P X) (X P)
13. (X P) (B Y)
15. (X Q) Q Q
17. (X P) (X Y)
19. (P Q) (P Q)
21. (A P) (A v P)
23. (X v Q) (X Q)
24. [P (A v X)] [(P A) X]
25. [Q V (B Y)] [(Q v B) (Q v Y)

4. (P A) B
8. (P X) Y
10. (Q Q) (A X)

12. (P A) (B X)
14. [(P B) B] B

16. (P X) (X P)
18. (P A) (A

B)
20. (P P) (A B)
22. (P X) (P v X)

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

UNIDAD V: LGICA SIMBOLICA

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

VII. Simbolice lo siguiente usando letras maysculas para abreviar los

enunciados involucrados.
1. Si Argentina se moviliza, entonces Brasil protesta ante la ONU, entonces Chile
convocar a una reunin de los pases latinoamericanos.
2. Si Argentina se moviliza, entonces o bien Brasil protesta ante la ONU a menos que
Chile convoque a una reunin de los pases latinoamericanos.
3. Si Argentina se moviliza, entonces Brasil protestar ante la ONU y Chile convocar
a una reunin de los pases latinoamericanos.
4. Si Argentina se moviliza, entonces Brasil protestar ante la ONU, y Chile
convocar a una reunin de los pases latinoamericanos.
5. Si Argentina se moviliza y Brasil protesta ante la ONU, entonces Chile convocar a
una reunin de los pases latinoamericanos.
6. Si Argentina se moviliza o Brasil protesta ante la ONU, entonces Chile convocar a
una reunin de los pases latinoamericanos.
7. Si o bien Argentina se moviliza o Brasil protesta ante la ONU, entonces Chile
convocar a una reunin de los pases latinoamericanos.
8. Si Argentina no se moviliza, entonces o bien Brasil no protestar ante la ONU o
Chile no convocar a una reunin de los pases latinoamericanos.
9. Si Argentina no se moviliza, entonces ni Brasil protestar ante la ONU ni Chile
convocar a una reunin de los pases latinoamericanos.
10. No es el caso que si Argentina se moviliza, entonces Brasil protestar ante la
ONU y Chile convocar a una reunin de todos los pases latinoamericanos.
11. Si no es el caso que Argentina se moviliza, entonces Brasil protestar ante la
ONU y Chile convocar a una reunin de todos los pases latinoamericanos.
12. Brasil protestar ante la ONU si Argentina se moviliza.
13. Brasil protestar ante la ONU slo si Argentina se moviliza.
14. Chile convocar a una reunin con los pases latinoamericanos slo si Argentina
se moviliza y Brasil protesta ante la ONU.
15. Brasil protestar ante la ONU solamente si Argentina se moviliza o Chile convoca
a una reunin de los pases latinoamericanos.

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

UNIDAD V: LGICA SIMBOLICA

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

VIII. Use tablas de verdad para probar la validez o invalidez de cada una de las
formas argumentales.
1. p q
q

2. q p

3. p q
p

4. p
p v q

5. p

6. p q

pq

p (p q)

7. (p v q) (p q)

(p q) (q p)

8. p q
p
q

9. p q
q
p

10. p
q
pq

11. p q

12. p q

p r

qr

p r

r p

13. p (q r)
p q

14.p (q r)
(q v r)

p r

15. p (q r)

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

17. (p q) (r s)
q v s

16. (p q) (r s)
pvr
qvs
18. p (q r)
q (r s)

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

UNIDAD V: LGICA SIMBOLICA

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

:.p s

p v s
19. p (q r)

20. (p q) [(p q) r

(q r) s

p (r s)

p s

p s

21. (p v q) (p q)
(p v q)
(p q)

22. (p v q) (p q)
pq
pvq

23. (p q) (r s)

24. (p q) (r s)

(p q) [(p q) (r s)

p q

IX. Use tablas de verdad para determinar la validez o invalidez de cada uno de
los siguientes argumentos:
1. (A v B) (A B)
AvB
AB
3. E F

FE
E v F

2. (C v D) (C D)
CD
CvD
4. (G v H) (F H)
(G H)
(G v H)

5. (I V J) (I j)
(I v J)
(I J)

6. K v L
K
L

7. M v (N N)

8. (O v P) Q

Q (O P)

(N N)

(O v P) (O P)

9. (R v S) T

10. U (V v W)

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

UNIDAD V: LGICA SIMBOLICA

T (R . S)

(V W)

(R S) (R v S)

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

X. Use tablas de verdad para determinar la validez o invalidez de cada uno de

los siguientes argumentos:
1. Si los dirigentes de Albania se liberan de la influencia china, entonces tanto
Bulgaria como Checoslovaquia adoptarn polticas ms liberales. Pero Bulgaria
no adoptar una poltica ms liberal, por lo tanto, los dirigentes de Albania no se
liberarn de la influencia china.
2. Si Dinamarca sigue alinendose hacia la izquierda, entonces si Estonia continua
siendo un satlite de la ex Unin Sovitica, entonces Finlandia cada vez ser ms
dependiente de la ex Unin Sovitica. As, si Dinamarca sigue alinendose a la
izquierda, entonces Finlandia depender cada vez ms de la ex Unin Sovitica.
3. Si Grecia fortalece sus instituciones democrticas, entonces Hungra seguir una
poltica ms independiente. Si Grecia fortalece sus instituciones democrticas,
entonces el partido comunista italiano atraer cada vez menos votantes. Por
tanto, si Hungra sigue una poltica ms independiente, entonces el partido
comunista Italia no atraer cada vez menos votantes.
4. Si Japn sigue exportando capitales, entonces o bien Corea o Laos se
industrializarn rpidamente. Corea no se industrializar rpidamente. Se sigue
que si Japn sigue exportando capitales, entonces Laos se industrializar
rpidamente.
5. Si Montana sufre una severa sequa, entonces, si Nevada recibe su dosis normal
de

lluvia,

entonces

el

suministro

de

agua

de

Oregon

se

reducir

considerablemente. Nevada no tiene su dosis normal de lluvia. As, si el

suministro de agua de Oregon se reduce considerablemente, Montana sufre una
severa sequa.
M: Montana sufre una severa sequa

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

UNIDAD V: LGICA SIMBOLICA

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

N: Nevada recibe su dosis normal de lluvia

O: el suministro de agua de Oregon se reducir considerablemente
M(N O)
~N
OM

6. Si se logra la igualdad de oportunidades, entonces las personas que antes tenan

desventajas recibirn ahora oportunidades especiales. Si esas personas reciben
oportunidades especiales, entonces tendrn un trato preferencial. Si algunas
personas reciben un trato preferencial, entonces no se lograr la igualdad de
oportunidades. Por lo tanto, -la igualdad de oportunidades no se lograr.
7. Si se cumplen las demandas de los terroristas, entonces ser vulnerada la
legalidad. Si las demandas de los terroristas no se cumplen, entonces sern
asesinadas personas inocentes. As, o bien se vulnerar la legalidad o sern
asesinadas personas inocentes.
8. Si las personas son totalmente racionales, entonces, o bien todos los actos
humanos se pueden predecir con seguridad o el universo es esencialmente
determinista. No todas las acciones de las personas se pueden predecir con
seguridad. As, el universo no es esencialmente determinista o las personas no
son totalmente racionales.
9. Si contina creciendo el consumo de gasolina, entonces, o bien las importaciones
de gasolina crecern o se acabarn las reservas. Si crecen las importaciones de
gasolina y se acaban las reservas, entonces la nacin se ir a la bancarrota. Por
lo tanto, si contina creciendo el consumo de gasolina, entonces la nacin se ir a
la bancarrota.
10. Si el consumo de gasolina sigue creciendo, entonces las importaciones de
gasolina crecern y se acabarn las reservas. Si o bien se incrementan las
importaciones de gasolina o se acaban las reservas, entonces la nacin se ir a

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.

UNIDAD V: LGICA SIMBOLICA

la bancarrota. Por lo tanto, si el consumo de gasolina contina creciendo, la

nacin ir a la bancarrota.
XI. Use tablas de verdad para caracterizar las siguientes formas enunciativas
como tautolgicas, contradictorias o contingentes.
1. [p (p q)] q

2. (p q) ( p

3. (p q) (p

4. p

q)

q)

p (q v q)]
6. (p p) (q q)

5. p [p (q q)]
7. [p (q r) [(p q) (p r)
8. [p (q p)] [(q q)

(r r)]

9. {[(p q) (r s) (p v r)] (q v s)}

10. {[p q) . (r s)] (q v s) (p v r)

XII. Use tablas de verdad para decidir cules de los siguientes bicondicionales
son tautologas.
1. (p q) (q

p)

2. (p q) (p

q)

3. [(p q) r [(q p) r]

4. [p (q r) q (p r)

5. p [p (p v q)]

6. p p v (p q )

7. p [p (p q)

8. p [p (q p)

9. p [p v (p q)]

10.(p q) [(p v q) q]

11. p (p v (q q)

12.p [p (q q)

13. p p q]

14. p p v (q v q)

15. p (q v r) (p q) v (p r)

16. p (q v r)] [(p v q) (p v r)]

17. [p v (q v r)] [(p q) v (p r)]

18. [p v (q r)] [(p v q) (p v r)]

19. [(p q) r] [p (q r)]

FACULTAD DE INGENIERIA Y SISTEMAS

LGICA MATEMTICA/LGICA PROPOSICIONAL

UNIDAD V: LGICA SIMBOLICA

20. [(p q) (q r) [(p q) v (p. q)]

GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.