FACULTAD DE INGENIERIA Y SISTEMAS

LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2

TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

TABLA DE CONECTIVOS LÓGICOS

CONECTIVO FUNCIÓN SÍMBOLO LECTURA
a) Conjunción Juntar, • Y, pero, mas, también,
Agregar, mientras, sin embargo
Adherir, ^ Tanto…….como……
(enunciados /no términos) Aunque, además
&
b) Disyunción Presentar alternativas u opciones A menos que, o,
i)Inclusiva: El uno o La “o” en medio de las
el otro o ambos proporciones simples. v
ii) Exclusiva: El uno o el Presenta una sola opción v Ni………ni………..
otro, pero no ambos La “o” antes de la primera O bien…… o…….
proposición y otra “o” en medio de O bien……..a menos que…….
las proporciones. O el uno ó el otro pero
no ambos
c) Condicional Presenta una relación hipotética 
entre 2 o más eventos que tengan Si ...
una secuencia lógica. entonces …

Es necesario que ocurra “A” Se sigue que,
(antecedente) para que suceda  Implica que,
“B” (consecuencia) Contiene a
d) Bicondicional Implica una relación de igualdad o ↔ Si y solo si
de equivalencia Equivalente


 La Negación Niega una proposición, cambia o Es falso que
invierte el valor de verdad de una No es el caso que No es
proposición.
~ cierto que No ocurre que
No sucede que
 Signos ( ) { } [] Cuando existe una “coma”;
1. Agrupación Determinan orden y prioridad de “punto”, y “punto y coma”,
los términos
, . ; aislar la expresión siguiente
2. Puntuación con signos de agrupación.

TABLAS DE VERDAD
 v v → ↔ ~
Proposiciones Conjunción Disyunción Disyunción
Condicional Bicondicional Negación
Inclusiva Exclusiva

P q pvq
Antecedente Consecuente
p q pvq p→q p↔q P ~P
V V V V F V V
V F
V F F V V F F
F V F V V V F
F V
F F F F F V V

1
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

PRUEBA FORMAL DE VALIDEZ E INVALIDEZ DE UN ARGUMENTO

REGLAS DE INFERENCIA
1. Modus Ponens (M.P.) 2. Modus Tollens (M · T)
pq pq
p q
q  p
3. Silogismo hipotético (S.H.) 4. Silogismo disyuntivo (S.D.)
pq pq pvq
qr ó rp p o q
pr rq q p
5. Dilema Constructivo (D.C.) 6. Absorción (Abs.)
(p  q) · (r  s) pq o pq
pvr  p  (q · p)  p  (p · q)
qvs
7. Simplificación (Simp.) 8. Conjunción (Conj.)
p·q p·q p p
p q q o q
p·q q · p
9. Adición (Ad.)
p
pvq

REGLA DE REEMPLAZO
X- Teoremas de De Morgan (De M)
XI- Conmutación (Conm.)
a) (p . q)  (p v q)
a) (p v q)  (q v p)
b) (p v q)  (p · q)
b) (p . q)  (q · p)
XII- Asociación (Asoc.)
XIII- Distribución (Dist.)
a) [p v (q v r)]  [(p v q) v r]
a) [p . (q v r)]  [(p . q) v (p . r)]
b) [p . (q . r)]  [(p . q) . r]
b) [p v (q . r)]  [(p v q) . (p v r)]
XIV- Doble negación (D.N.) XV- Transposición (Trans.)
p   p (p  q)  (q  p)
XVII- Equivalência Material (Equiv.)
XVI- Implicación Material (Impl.)
a) (p  q)  [(p  q) . (q  p)]
(p  q)  (p v q)
b) (p  q)  [(p . q) v (p . q)]
XIX- Tautologia (Taut.)
XVIII- Exportación (Exp.)
a) p  (p v p)
[(p . q)  r]  [p  (q  r)]
b) p  (p . p)

2
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

Orden de ejecución de las operaciones dentro de una fórmula proposicional

1. Realizar las negaciones que estén afectando directamente a una
variable proposicional. Ejemplo: ~A, B
2. Realizar las operaciones que se encuentren dentro de signos de agrupación
(paréntesis, corchetes, llaves) empezando por los signos de agrupación
que están más adentro y luego se sigue hacia afuera.
3. Si hay dos operaciones que se pueden hacer al mismo tiempo, realizarlos
en el orden de izquierda a derecha, según aparezcan en la fórmula.
4. En caso que las haya, se operan las negaciones que están afuera de los
signos de agrupación.

I. Si A, B y C son enunciados verdaderos y X, Y y Z son enunciados falsos, ¿cuáles

de las siguientes fórmulas son verdaderas?

Nota: Como puede observarse en las indicaciones, todos los ejercicios de esta parte
poseen fórmula en la que las variables proposicionales son conocidas, ya sea que
sean verdaderas o falsas. Por lo que al utilizar la fórmula 2n=20=1, es decir que
todos los ejercicios de esta parte sólo necesitan 1 fila para resolverlos.

1. ~A v B 2. B v X
1 2
~ A v B
F V V V

R/ Verdadero. Es tautología.

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) 12. (B v C)  (Y v Z)
13. (X v Y)  (X v Z) 14.  (A v Y)  (B v X)
15. (X v Z)  (X v Z) 16.  (A v C) v (X Y)
3
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

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)]
21. [A v (B v C)]   [(A v B) v C]

3 1 6 5 2 4
[A v (B v C)] . ~ [(A v B) v C]
v v v v v f f v v v v v

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)]

4
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

II. Si A, B y C son enunciados verdaderos y X, Y y Z son falsos, determine ¿cuáles

de las siguientes fórmulas son verdaderas?
Nota: Como puede observarse en las indicaciones, todos los ejercicios de esta parte
poseen fórmula en la que las variables proposicionales son conocidas, ya sea que
sean verdaderas o falsas. Por lo que al utilizar la fórmula 2n=20=1, es decir que
todos los ejercicios de esta parte sólo necesitan 1 fila para resolverlos.

1. (A  B) Z 2. (A B) Z
3. (A  B)C 4. (X  Y)  C
5. A  (B Z)
2 1
A --> (B --> Z)
v f v f f

6. X  (Y  Z)
7. [(A B) C]  Z 8. (A  X)  Y   Z
9. [A (X Y)]  C 10. (A  B)  Y  X
11. [(X Z) C] Y
1 2 3
[(X --> Z) --> C] --> Y
f v f v v f f

12. (Y  B) Y  Y

13. [(A  Y)  B]  Z
14. [(A · X) C]  [(A C) X]
15. [(A · X)  C]  [(A X)  C]
1 3 5 2 4
- - - -
- - - -
[(A . X) > C] > [(A > X) > C]
v f f v v v v f f v v

16.[(A · X) Y]  [(X A)  (A Y)]

17. [(A · X) v ( A · X)]  [(A X) · (X A)]
18. {[A  (B  C)]  [(A · B)  C]}  [(Y  B)  (C  Z)]

5
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

19. {[(X  Y)  Z]  [Z  (X  Y)])  [(X  Z)  Y]

20. [(A · X)  Y]  [(A  X) · (A  Y)]
21. [A (X · Y)]  [(A  X) v (A  Y)]

6
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

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, ¿Cuáles de los valores de verdad de
los siguientes enunciados se pueden conocer, si son falsos, verdaderos o
desconocidos?

Nota: Como puede observarse en las indicaciones, todos los ejercicios de esta parte
poseen fórmula en la hay por lo menos una variable proposicional que no es
conocida (P o Q o ambas). De tal forma que si sólo aparece una de estas variables
(ya sea sólo P o sólo Q) al utilizar la fórmula 2n=21=2, es decir que en ese caso se
necesitan 2 filas para resolverlos. En cambio, si aparecen ambas (tanto P como Q) al
utilizar la fórmula 2n=22=4, es decir que en ese caso se necesitan 4 filas para
resolverlos

1. A v P 2. Q  X

A v P
v v v
v v f

R/ Es verdadero. Es Tautología

3. Q v X 4. B  P
5. P v P 6. P v (Q v P)
7. Q  Q 8. P (P v X)
9.  (P Q) v P

2 1 3
~ (P . Q) v P
f v v v v v
v v f f v v
v f f v v f
v f f f v f

10. Q  (P v Q)  P

11. (P v Q)   (Q v P) 12. (P Q)  (P v  Q)
13. P v  Q v (P Q) 14. P v  (A v X)
15. P  [  (P v Q) v P] 16.  (P  Q) v (Q  P)
17. [(P v Q) v P v P 18. (P v Q)   [P v (P  Q)]
19. (A v P)  (P v Y)
20. [P v (B  Y) v [(P v B)  (P v Y)]

7
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

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)]

8
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

IV. 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 cuáles de los siguientes enunciados
podemos determinar los valores de verdad, si son falsos, verdaderos o
desconocidos?

Nota: Como puede observarse en las indicaciones, todos los ejercicios de esta parte
poseen fórmula en la hay por lo menos una variable proposicional que no es
conocida (P o Q o ambas). De tal forma que si sólo aparece una de estas variables
(ya sea sólo P o sólo Q) al utilizar la fórmula 2n=21=2, es decir que en ese caso se
necesitan 2 filas para resolverlos. En cambio, si aparecen ambas (tanto P como Q) al
utilizar la fórmula 2n=22=4, es decir que en ese caso se necesitan 4 filas para
resolverlos

1. P  A 2.X Q
3. (Q A) Y 4. (P · A)  B
5. (P P) X 6. (X Q) X
7. X (Q  X) 8. (P · X)  Y
9. [P  (Q P)] Y
2 1 3
[P --> (Q --> P)] --> Y
v v v v v f f
v v f v v f f
f v v f f f f
f v f v f f f

R/ Es falso.

10. (Q Q)  (A  X)
11. (P  X) (X  P) 12. (P  A)  (B  X)
13. (X  P) (B Y) 14. [(P  B)  B]  B
15. (X  Q)  Q  Q
1 2 3
[(X --> Q) --> Q] --> Q
f v v v v v v
f v f f f v f

16. (P  X)  (X P)

9
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

17. (X P) (X Y) 18. (P A) (A  B)

19. (P Q) (P Q)
20. (P  P) (A  B)
21. (A · P)  (A v  P) 22. (P · X)   (P v  X)
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 1 6 2 5 3
[Q v (B . Y) ] --> [ (Q v B) . (Q v Y) ]
v v v f f v v v v v v v f
f f v f f v f v v f f f f

R/ es
verdadera
(es Tautología)

10
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

V. Use tablas de verdad para caracterizar las siguientes formas enunciativas como:
tautológicas, contradictorias o contingentes.

1. [p  (p  q)]  q
[p --> (p --> q)] --> q
v v v v v v v
v f v f f v f
f v f v v v v
f v f v f f f

R/
Contingencia

2. (p  q)  (  p   q)
3. (p · q) · (p   q) 4. p  p  (q v  q)]
5. p  [p  (q ·  q)] 6. (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)}
1 5 2 6 3 7 4
{[(p --> q) . (r --> s) . (p v r)] --> (q v s) }
v v v v v v v v v v v v v v v
v v v f v f f f v v v v v v f
v v v v f v v v v v f v v v v
v v v v f v f v v v f v v v f
v f f f v v v f v v v v f v v
v f f f v f f f v v v v f f f
v f f f f v v f v v f v f v v
v f f f f v f f v v f v f f f
f v v v v v v v f v v v v v v
f v v f v f f f f v v v v v f
f v v v f v v f f f f v v v v
f v v v f v f f f f f v v v f
f v f v v v v v f v v v f v v
f v f f v f f f f v v v f f f
f v F v f v v f f f f v f v v
f v F v f v f f f f f v f f f

R/ Tautologia

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

11
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

VI. Use tablas de verdad para decidir cuáles de los siguientes bicondicionales
(equivalencias) son: tautologías, contradicciones o contingencias.

1. (p  q)  (q   p)
3 5 1 4 2
(p --> q) <--> (~ q --> ~ p)
v v v v f v v f v
v f f v v f f f v
f v v v f v v v f
f v f v v f v v f

R/ Tautologia

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)

4 3 2 1
p <--> [p v (q . ~ q)]
v v v v v f f v
v v v v f f v f
f v f f v f f v
f v f f f f v f

R/ Tautología

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)]
20. [(p  q) · (q  r)  [(p · q) v (p. q)]

12
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

VII. ¿Cuáles de los siguientes enunciados son verdaderos?

1. Londres es la capital de Inglaterra. Estocolmo es la capital de Noruega.

~L . ~ E
1 3 2
~ L . ~ E
F V F V F

R/ Es falso. Es contradicción

2-. (Roma es la capital de España v París es la capital de Francia).

3. Roma es la capital de España v París es la capital de Francia.
1 3 2
~ R v ~ P
v f v f v

R/ Es verdadero. Es una tautología

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. (París es la capital de Francia. Roma es la capital de España) v (París es la
capital de Francia. Roma es la capital de España).
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 España v (París es la capital de Francia. Roma es la capital
de España).
9. Roma es la capital de Italia. (París es la capital de Francia v Roma es la capital
de España).
3 2 1
R . ~ (P v E)
V F F V V F

13
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

R/ Es falso. Es contradicción

10. (París es la capital de Francia. Estocolmo es la capital de Noruega).

11.[(Roma es la capital de España v París es la capital de Francia) v (París es
la capital de Francia v Estocolmo es la capital de Noruega)].
Solución:
[( R v  P ) v ( P v E ) ]

12. [(Londres es la capital de Inglaterra. Roma es la capital de España).(Roma

es la capital de España. Roma es la capital de España)].

13. (Estocolmo es la capital de Noruega v París es la capital de Francia) v

(Londres es la capital de Inglaterra. Roma es la capital de España).

~(~E v P) v ~(~L . ~R)
6 1 4 8 7 2 5 3
~ (~ E v P) v ~ (~ L . ~ R)
f v f v v v v f v f v f

R/ Es verdadero (Es una Tautología)

14. Roma es la capital de España v (Londres es la capital de Inglaterra v Londres es

la capital de Inglaterra).
15. (París es la capital de Francia.  París es la capital de Francia. Roma es la capital
de España).
( P . P . R )

2 1 3
(P . ~ P . R)
v f f v f f

14
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

R/ Es falso. Es contradicción

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 París es la capital de Francia) v

(Estocolmo es la capital de Noruega. Londres es la capital de Inglaterra).

18. (París es la capital de Francia v Roma es la capital de España) v (París es la
capital de Francia. Roma es la capital de España).
19. [(Roma es la capital de España. Estocolmo es la capital de Noruega) v

(París es la capital de Francia v Roma es la capital de España)].

20. [(Londres es la capital de Inglaterra. París es la capital de Francia) v

(Estocolmo es la capital de Noruega v París es la capital de Francia)].

21. [(París 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)].
[ (  P v R ) .  ( R v E ) ]

7 1 3 6 5 2 4
~ [( ~ P v R) . ~ (~ R v E)]
f f v v v v v f v f f

R/ Es falso. Es contradicción

22. [(Roma es la capital de España v Estocolmo es la capital de Noruega).

(Estocolmo es la capital de Noruega v París es la capital de Francia)].
23. [(Londres es la capital de Inglaterra. París es la capital de Francia) v (París
es la capital de Francia. Roma es la capital de España)].

15
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

VIII. Usando las letras E, I, J, L y S para abreviar los enunciados simples “Egipto
disminuye sus aprovisionamientos”, “Irán eleva el precio del petróleo”, ”Jordania pide
ayuda a Estados Unidos”, ”Libia aumenta el precio del petróleo” y “Saudiarabia
compra otros quinientos aviones de guerra”, simbolice lo siguiente (sólo debe escribir
la fórmula):

1. Irán eleva el precio del petróleo pero aumenta el precio del petróleo.
Libia no I . ~L

2. O bien Irán o Libia aumentarán el precio del petróleo.

3. Irán y Libia elevarán el precio del
petróleo. I . L

4. Irán y Libia no aumentarán el precio del petróleo.

5. Irán y Libia aumentarán ambos el precio del
petróleo. I . L

6. Irán o Libia aumentarán el precio del petróleo pero no lo harán ambos a la vez.
7. Saudiarabia compra otros quinientos aviones de guerra y o bien Irán eleva el
precio del petróleo o Jordania pide más ayuda norteamericana.
S . ( I v J)

8. O bien Saudiarabia compra otros quinientos aviones de guerra e Irán eleva el

precio del petróleo o Jordania pide ayuda a Estados Unidos.
9. No es el caso que Egipto disminuya sus aprovisionamientos y Jordania pida más
ayuda norteamericana.
~E ^ J

~E . J

16
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

10. No es el caso que o bien Egipto disminuya sus aprovisionamientos o Jordania

pida más ayuda a Estados Unidos.
11. No es el caso que, Egipto disminuya sus aprovisionamientos o Jordania pida más
ayuda norteamericana.
a) ~ ( E v J )
b) ~ E v J
c) ~ E v J
d) (~ E v J )
e) ~ ( E v J )
f) ~E v ~J

12. No es el caso que a la vez Egipto disminuya sus aprovisionamientos y Jordania

pida ayuda a Estados Unidos.
13. Jordania pide ayuda a Estados Unidos, otros a menos que Saudiarabia compre
quinientos aviones de guerra.

JvS

14. A menos que Egipto disminuya sus aprovisionamientos, Libia elevará el precio del
petróleo.
15. Irán no elevará el precio del petróleo a menos que Libia también lo haga.
~I v L

16. A menos que tanto Irán como Libia eleven el precio del petróleo, ninguno de ellos
lo hará.
17. Libia eleva el precio del petróleo y Egipto disminuye sus aprovisionamientos.

17
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

L.E

18. No es el caso que ni Irán ni Libia elevarán los precios del petróleo.
19. Egipto disminuye sus aprovisionamientos y Jordania pide ayuda de Estados
Unidos, a menos que tanto Irán como Libia no eleven el precio del petróleo.

a) E . J v I . L
b) ( E . J ) v ( I . L )
c) ( E . J ) v ( ~I . ~L )

20. O bien Irán eleva el precio del petróleo y Egipto disminuye sus
aprovisionamientos o no es el caso que a la vez Jordania pida más ayuda
norteamericana y Saudiarabia compre otros quinientos aviones de guerra.
0 biendisminuye sus aprovisionamientos y Saudiarabia compra otros quinientos
21. Egipto
aviones de guerra o Jordania pide ayuda a Estados Unidos o Libia eleva el precio
del petróleo.
a) v E . S v J v L
b) E . S v J v L
c) (E . S ) v J v L
d) (E . S) v (J v L)
e) Ninguna de las anteriores

22. Saudiarabia compra otros quinientos aviones de guerra y o bien Jordania pide
ayuda a Estados Unidos o tanto Libia como Irán elevan el precio del petróleo.
23. O bien Egipto disminuye sus aprovisionamientos o Jordania pide más ayuda a
Estados Unidos, pero ni Libia ni Irán elevarán los precios del petróleo.

18
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

24. Egipto disminuye sus aprovisionamientos; sin embargo, Saudiarabia eleva

compra otros quinientos aviones de guerra y Jordania pide ayuda a Estados
Unidos.

19
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

IX. Simbolice lo siguiente usando letras mayúsculas para abreviar los enunciados
involucrados.

1. Si Argentina se moviliza, entonces Brasil protesta ante la ONU; entonces Chile

convocará a una reunión de los países latinoamericanos.

a) ABC
b) (A  B)  C
c) A  (B  C)

2. Si Argentina se moviliza, entonces o bien Brasil protesta ante la ONU a menos que
Chile convoque a una reunión de los países latinoamericanos.
3. Si Argentina se moviliza, entonces Brasil protestará ante la ONU y Chile convocará
a una reunión de los países latinoamericanos.

a) A  (B v C)
b) A  B v C
c) A  (B v C)
d) A  (B . C)
4. Si Argentina se moviliza, entonces Brasil protestará ante la ONU, y Chile
convocará a una reunión de los países latinoamericanos.
5. Si Argentina se moviliza y Brasil protesta ante la ONU, entonces Chile convocará a
una reunión de los países latinoamericanos.

a) (A . B)  C
b) A . B  C
6. Si Argentina se moviliza o Brasil protesta ante la ONU, entonces Chile convocará a
una reunión de los países latinoamericanos.

20
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

7. Si o bien Argentina se moviliza o Brasil protesta ante la ONU, entonces Chile

convocará a una reunión de los países latinoamericanos.

a) (A v B)  C
b) (A v B)  C
8. Si Argentina no se moviliza, entonces o bien Brasil no protestará ante la ONU o
Chile no convocará a una reunión de los países latinoamericanos.
9. Si Argentina no se moviliza, entonces ni Brasil protestará ante la ONU ni Chile
convocará a una reunión de los países latinoamericanos.

a) A ~  B v C
b) ~A  B v C
c) ~A  ~B v ~C
d) ~A  ~B v ~C
e) ~A  (B v C)
f) ~A  (~B v ~C)
g) ~A  (~B v ~C)
h) ninguna de las anteriores
10. No es el caso que si Argentina se moviliza, entonces Brasil protestará ante la
ONU y Chile convocará a una reunión de todos los países latinoamericanos.

21
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

11. Si no es el caso que Argentina se moviliza, entonces Brasil protestará ante la

ONU y Chile convocará a una reunión de todos los países latinoamericanos.

a) A ~  B v C
b) ~A  B v C
c) ~A  (B . C)
d) ~A  B . C
e) ~A  (B v C)

12. Brasil protestará ante la ONU si Argentina se moviliza.

a) BA
b) A B
c) ninguna de las anteriores

13. Brasil protestará ante la ONU sólo si Argentina se moviliza.

a) B A
b) A B
c) ninguna de las anteriores

14. Chile convocará a una reunión con los países latinoamericanos sólo si Argentina
se moviliza y Brasil protesta ante la ONU.

22
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

15. Brasil protestará ante la ONU solamente si Argentina se moviliza o Chile convoca
a una reunión de los países latinoamericanos.

a) B  (A v C)
b) A BvC
c) (A v C)  B
d) (B  A) v C
e) Ninguna de las anteriores

23
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

X. Use tablas de verdad para probar la validez o invalidez de cada una de las formas
argumentales.

Convertir el argumento en formula

Paso 1 proposicional

Si hay dos o más premisas,

a) Conjuntarlas. Colocar una conjunción entre ellas, es
recomendable el uso de signos de agrupación.

Las premisas conjuntadas ponerlas en implicación

b) (agregar una condicional) con la conclusión. Esto siempre se
hace. El conectivo de la condicional será la última operación
que servirá para clasificar la fórmula.

Determinar el valor de verdad de la formula proposicional (use tablas

Paso 2 de verdad)

Clasifique la formula proposicional en tautología, contradicción

Paso 3 y contingencia

Determinar si el argumento es válido o no es válido, según su

Paso 4 clasificación; así:

Formula Argumento
Tautología Válido
Contradicción No valido, inválido
Contingencia No valido, inválido

24
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

1. p  q
 q  p
3 5 1 4 2
(p --> q) --> (~ q --> ~ p)
v v v v f v v f v
v f f v v f f f v
f v v v f v v v f
f v f v v f v v f

La fórmula es tautologia,
El argumento es valido

2. q  p
 q  p
3. p · q
p

1 2
(p . q) --> (p)
v v v v v
v f f v v
f f v v f
f f f v f

Formula: Tautología
Argumento: Valido

4. p
p v q

5. p 6. p  q
p q  p  (p · q)

25
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

7. (p v q)  (p · q)
 (p  q) · (q  p)

- - - -
[ - q) - [ - - p)
(p v q) > (p . ] > (p > q) . (q > ]
v v v v v v v v v v v v v v v
v v f f v f f v v f f f f v v
f v v f f f v v f v v f v f f
f f f v f f f v f v f v f v f

La fórmula es tautología.
El Argumento es válido

8. p  q
p
 q

9. (Modus Tollens)
pq 10. (Conjunción)
p
q q
p p·q

11. p  q 12. p  q
p r qr
p  r r  p

13. p  (q  r)
pq
p  r
4 1 5 2 6 3
{ [p --> (q --> r)] . (p --> q)} --> (p --> r)
v v v v v v v v v v v v v
v f v f f f v v v v v f f
v v f v v f v f f v v v v
v v f v f f v f f v v f f

26
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

f v v v v v f v v v f v v
f v v f f v f v v v f v f
f v f v v v f v f v f v v
f v f v f v f v f v f v f

Formula: Tautología
Argumento: Valido

14. p  (q · r)
(q v r)   p
p

15. p  (q  r) 16. (Dilema Constructivo)

q  [(p  r)  (p v r)] (p q) · (r s)
(p v q)  r pvr
qvs

17. (p  q) · (r  s) 18. p  (q  r)
 q v s q  (r  s)
  p v s :.p  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) 22. (p v q)  (p · q)
(p v q) p·q
(p · q) pvq

q)
{ [ (p v q) --> (p . q) ] . [ ~ (p v q) ] } --> [ ~ (P . ]
v v v v v v v f f v v v v f v v v
v v f f v f f f f v v f v v v f f
f v v f f f v f f f v v v v f f v
f f f v f f f v v f f f v v f f f

El Argumento es Valido

27
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

23. (p · q)  (r · s) 24. (p  q) · (r  s)
(p · q)  [(p · q) · (r · s)] p q

28
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

XI. Use tablas de verdad para determinar la validez o invalidez de cada uno de los
siguientes argumentos:

1. (A v B)  (A · B) 2. (C v D)  (C · D)
AvB C·D
A·B CvD

{ [ (A v B) --> (A . B) ] . (A v B)} --> ( A . B)

v v v v v v v v v v v v v v v
v v f f v f f f v v f v v f f
f v v f f f v f f v v v f f v
f f f v f f f f f f f v f f f

El Argumento es valido

3. E  F 4. (G v H)  (F · H)
FE (G · H)
E v F  (G v H)

5. (I V J)  (I · J) 6. K v L
 (I v J) K
  (I · J)  L

7. M v (N · N) 8. (O v P) Q
M Q  (O · P)
  (N ·  N) (O v P)  (O · P)

{[M v (N . ~ N) ] . M} --> [~ (N . ~ N) ]
v v v f f v v v v v v f f v
v v f f v f v v v v f f v f
f f v f f v f f v v v f f v
f f f f v f f f v v f f v f
El Aumento es válido

29
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

9. (R v S) T 10. U  (V v W)
T  (R . S) (V · W)   U
 (R · S)  (R v S) U

30
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

XII. 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 adoptarán políticas más liberales. Pero Bulgaria
no adoptará una política más liberal, por lo tanto, los dirigentes de Albania no se
liberarán de la influencia china.

A(B.C)
~B
 ~A
4 3 5 1 6 2
{[A --> (B . C) ] . ~ B} --> ~ A
v v v v v f f v v f v
v f v f f f f v v f v
v f f f v f v f v f v
v f f f f f v f v f v
f v v v v f f v v v f
f v v f f f f v v v f
f v f f v v v f v v f
f v f f f v v f v v f

El Argumento es válido

2. Si Dinamarca sigue alineándose hacia la izquierda; entonces si Estonia continua

siendo un satélite de la ex Unión Soviética, entonces Finlandia cada vez será más
dependiente de la ex Unión Soviética. Así, si Dinamarca sigue alineándose a la
izquierda, entonces Finlandia dependerá cada vez más de la ex Unión Soviética.

31
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

3. Si Grecia fortalece sus instituciones democráticas, entonces Hungría seguirá una

política más independiente. Si Grecia fortalece sus instituciones democráticas,
entonces el partido comunista italiano atraerá cada vez menos votantes. Por
tanto, si Hungría sigue una política más independiente, entonces el partido
comunista Italia no atraerá cada vez menos votantes.

4. Si Japón sigue exportando capitales, entonces o bien Corea o Laos se

industrializarán rápidamente. Corea no se industrializará rápidamente. Se sigue
que si Japón sigue exportando capitales, entonces Laos se industrializar
rápidamente.
5. Si Montana sufre una severa sequía, 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 sequía.
M: Montana sufre una severa sequía
N: Nevada recibe su dosis normal de lluvia
O: el suministro de agua de Oregon se reducirá considerablemente

32
 FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1

6. Si se logra la igualdad de oportunidades, entonces las personas que antes tenían

desventajas recibirán ahora oportunidades especiales. Si esas personas reciben
oportunidades especiales, entonces tendrán 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 serán
asesinadas personas inocentes. Así, o bien se vulnerará la legalidad o serán
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 continúa creciendo el consumo de gasolina, entonces, o bien las importaciones
de gasolina crecerán o se acabarán las reservas. Si crecen las importaciones de
gasolina y se acaban las reservas, entonces la nación se irá a la bancarrota. Por
lo tanto, si continúa creciendo el consumo de gasolina, entonces la nación se irá a
la bancarrota.

10. Si el consumo de gasolina sigue creciendo, entonces las importaciones de

gasolina crecerán y se acabarán las reservas. Si o bien se incrementan las
importaciones de gasolina o se acaban las reservas, entonces la nación se irá a
la bancarrota. Por lo tanto, si el consumo de gasolina continúa creciendo, la
nación irá a la bancarrota.

33