Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TABLAS DE VERDAD
Proposiciones
v
Disyunción
v
Disyunción
→ ↔ ~
Conjunción Condicional Bicondicional Negación
Inclusiva Exclusiva
pvq
P
Antecedente
q
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
FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
REGLAS DE INFERENCIA
Modus Ponens (MP) pq ab (p v q) r
p a (p v q)
q b r
~p q ~p ~q (p . q) (r v s)
~p ~p (p . q)
q ~q (r v s)
Modus Tollens (MT) pq ab (p v q) r
~q ~b ~r
~p ~a ~(p v q)
~p q ~p ~q (p . q) (r v s)
~q q ~(r v s)
p p ~(p . q)
Silogismo hipotetico (SH) pq p ~q (p . q) (r v s)
qr ~q r (r v s) (t . u)
p r p r (p . q) (t . u )
~p q ~p q
qr q ~r
~p r ~p ~r
Silogismo disyuntivo (SD) pvq pvq
~p ~q
q p
~a v b s v ~t
~b t
~a s
Dilema Constructivo (DC) (p q) . (r s) (~p q) . (r ~s) (a b) . (~c ~d)
pvr ~p v r a v ~c
qvs q v ~s b v ~d
Absorción (Abs) pq pq (a v b) (c.d)
p (q.p) p (p.q) (a v b) [ (c.d). (a v
b) ]
Simplificación (Simp) p.q p.q
p q
Conjunción (Conj) p ~a t.u
q ~b r v ~s
p.q ~a . ~ b (t . u) . (r v ~s)
Adición (Ad) P t rvs
p v q t v w (r v s) v (r.t)
REGLAS DE REEMPLAZO
Teoremas de De Morgan (De M) Conmutación (Conm.) Asociación (Asoc.)
~ p.q ~ p ~ q p q q p p q r p q r
~ p q ~ p . ~ q p . q q . p p . q . r p . q . r
Distribución (Dist.) Doble Negación (D N) Transposición (Trans.)
p . q r p . q p . r p ~ ~p p q ~ q ~ p
p q . r p q . p r
Implicación Material (Impl.) Equivalencia Material (Equiv.) Exportación (Exp.)
p q ~ p q p q p q . q p p . q r p q r
p q p . q ~ p . ~ q
Tautología (Taut.)
p p p
p p. p
FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
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) 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)
FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA 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”, “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:
1. Irán eleva el precio del petróleo pero Libia no aumenta el precio del petróleo.
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.
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.
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.
8. O bien Saudiarabia compra otros quinientos aviones de guerra e Irán eleva el
precio del petróleo o Jordania pide más ayuda a Estados Unidos.
9. No es el caso que Egipto disminuya sus aprovisionamientos y Jordania pida más
ayuda norteamericana. ~E ^ J
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.
12. No es el caso que a la vez Egipto disminuya sus aprovisionamientos y Jordania
pida más ayuda a Estados Unidos.
13. Jordania pide más 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 petróleo.
15. Irán no elevará el precio del petróleo a menos que Libia también lo haga.
FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
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.
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 más ayuda de Estados
Unidos, a menos que tanto Irán como Libia no eleven el precio del petróleo.
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.
21. 0 bien Egipto disminuye sus aprovisionamientos y Saudiarabia compra otros
quinientos aviones de guerra o Jordania pide más ayuda a Estados Unidos o Libia
eleva el precio del petróleo.
22. Saudiarabia compra otros quinientos aviones de guerra y o bien Jordania pide
más 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.
24. Egipto disminuye sus aprovisionamientos; sin embargo, Saudiarabia eleva
compra otros quinientos aviones de guerra y Jordania pide más ayuda a Estados
Unidos.
5. (A B) Z 7. (A B) Z
7. (A B) C 8. (X Y) C
9. A (B Z) 10. X (Y Z)
11. [(A B) C] Z 12. (A X) Y Z
13. [A (X Y)] C 14. A B) Y X
15. [(X Z) C] Y 16. (Y B) Y Y
17. [(A Y) B] Z
FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
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 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 16. (P X) (X P)
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)
FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA 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 2. q p
q p q p
3. p · q 4. p
p p v q
5. p 6. p q
pq p (p · q)
7. (p v q) (p · q) 8. p q
(p q) · (q p) p
q
9. p q 10. p
q q
p p·q
11. p q 12. p q
p r qr
p r r p
13. p (q r) 14.p (q · r)
p q (q v r) p
p r p
17. (p q) · (r s) 18. p (q r)
q v s q (r s)
p v s :.p s
FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
21. (p v q) (p · q) 22. (p v q) (p · q)
(p v q) p·q
(p · q) 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) 2. (C v D) (C · D)
AvB C·D
A·B CvD
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)
9. (R v S) T 10. U (V v W)
T (R . S) (V · W) U
(R · S) (R v S) U
FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
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
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.
XI. Use tablas de verdad para caracterizar las siguientes formas enunciativas
como tautológicas, contradictorias o contingentes.
1. [p (p q)] q 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)}
10. {[p q) . (r s)] · (q v s) (p v r)
XII. Use tablas de verdad para decidir cuáles de los siguientes bicondicionales
son tautologías.
5. p [p · (p v q)] 6. p p v (p · q )
7. p [p · (p q) 8. p [p · (q p)