Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Guia de Logica PDF
Guia de Logica PDF
TABLAS DE VERDAD
Λ v v → ↔ ~
Proposiciones Conjunción Disyunción Disyunción
Condicional Bicondicional %egació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 ARQUITECTURA
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
* 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)
17. ∼ (8 v Z) ⋅ ∼(X v ∼ Y) 18. ∼ [(A y ∼C) v (C v ∼A)]
19. ∼ [(B ⋅ C) ∼ (C ⋅ B)] *20. ∼ [(A ⋅ B)v ∼ (B ⋅A)]
21. [A v (B v C)] ⋅ ∼ [(A y 8) y C]
FACULTAD DE INGENIERIA Y ARQUITECTURA
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
* 1. A v P 2. Q ⋅ X
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 * 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)]
21. [P v (Q ⋅ A)] ⋅ ∼[(P v Q) ⋅ (P v A)]
22. [P v (Q ⋅ X) ⋅ ∼[(P v Q) ⋅ J(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)]
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.
FACULTAD DE INGENIERIA Y ARQUITECTURA
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
* 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
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)]
FACULTAD DE INGENIERIA Y ARQUITECTURA
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
* 1.P ⊃ A 2.X ⊃Q
3. (Q ⊃A) ⊃Z 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)]
* 1. p ⊃ q 2. q ⊃ p
∴∼ q ⊃ ∼p ∴∼ q ⊃ ∼p
3. p · q 4. p
∴p ∴p v q
* 5. p 6. p ⊃ q
∴p⊃q ∴ p ⊃ (p · q)
7. (p v q) ⊃ (p · q) 8. p ⊃ q
∴ (p ⊃ q) · (q ⊃ p) ∼p
∴∼ q
FACULTAD DE INGENIERIA Y ARQUITECTURA
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
9. p ⊃ q * 10. p
∼q q
∴∼p ∴p·q
11. p ⊃ q 12. p ⊃ q
p⊃ r q⊃r
∴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
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
FACULTAD DE INGENIERIA Y ARQUITECTURA
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD V
TABLA DE VERDAD Y
UNIDAD V: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
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
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.