Universidad Nacional Autónoma de Honduras en el Valle de Sula

Asignatura y sección:
Lógica Matemática (FF-201), 1600

Catedrático:
Roger Perdomo

Grupo #9

Trabajo:
Guías del III Unidad.

Integrantes:
16_ Gustavo Enrique Garrido Bonilla 20142000992
17_Carmen Amanda Pérez Díaz 20142001122
18_Heber Rodríguez Villeda 20142001272

San Pedro Sula, Cortes

Miércoles 19 de Abril de 2017

Ejercicio 1
I.Para cada uno de los argumentos siguientes enuncie la regla de inferencia por la que
su conclusión sigue de su o sus premisas:

Simplificación
Silogismo Disyuntivo

Adición
Dilema destructivo

Simplificación
Modus Ponens

Adición
Dilema Constructivo

Silogismo Hipotético

Conjunción

Modus ponens

Silogismo Disyuntivo
 Dilema Constructivo

Modus Tollens

Si
mplificación
II .Cada una de las siguientes es una prueba formal de validez para el argumento
indicado. Enuncie la justificación de cada renglón que no sea premisa.

Simplificación 2

Modus ponen 1,3

Simplificación 3

Modus ponen 4,5

Simplificación 6

Adición 7

Silogismo Disyuntivo 1,4

Dilema constructivo 2,5

Modus ponens 3,6

Silogismo disyuntivo 7,4
Conjuncion 1,2
Simplificación 4

Dilema destructivo 5,6

Dilema destructivo 3,6
Conjunción 7,8

Silogismo hipotético 1,2

Silogismo hipotético 3,4
Conjunción 6,7
Dilema destructivo 8,5

Simplificación 3
Modus tollens 2,4
Simplificación 4
Adición 6
Modus ponens 1,7
Silogismo hipotético 8,5
 Conjunción1,2

Dilema destructivo 6,3

Silogismo disyuntivo 7,4

Modus tollens 5,8

Modus tollens 1,5

Silogismo disyuintivo 3,6
Silogismo disyuntivo 2,7
Modus tollens 4,8
Dilema construtivo 1,5
Dilema constructivo 3,6

Dilema constructivo 7,2

Modus ponens 4,8

Adición 4
Adición 5

Modus ponens 1,6

Modus ponens 3,4
Silogismo hipotético 7,8
Modus ponens 2,5

Silogismo hipotético 9,10

 Modus tollens 1,6
Modus tollens 2,7
Conjunción 7,8
Modus ponens 3,9
Dilema constructivo 4,10
Dilema destructivo 5,11

III. Construir una prueba formal de validez para cada uno de los siguientes
argumentos:

1. 1.A Ɔ B
2. C Ɔ D
3. (~B v ~D) Ʌ (~A v ~B)
Conclusión: ~A v ~C
4. (A Ɔ B) Ʌ (C Ɔ D) Conjunción 1,2
5. (~B v ~D) Simplificación 3
6. ~A v ~C D.D 4,5

2. 1.E Ɔ (F Ʌ ~G)
2. (F v G) Ɔ H
3. E
Conclusión: H
4. F Ʌ ~G M.P 1,3
5. F Simplificación 4
6. F v G Adicion 5
7. H M.P 2, 6
3. 1.J Ɔ K
2. J v (K v ~L)
3. ~K
Conclusión: ~L Ʌ ~K
4. ~J M.T 1,3
5. K v ~L D.S 2,4
6. ~L D.S 5,3
7. ~L Ʌ ~K Conjunción 6,3

4. 1.M Ɔ N
2. N Ɔ O
3. (M Ɔ O) Ɔ (N Ɔ P)
4. (M Ɔ P) Ɔ Q
Conclusión: Q
5. M Ɔ O H.S 1,2
6. O Ɔ P M.P 3,5
7. Q M.P 4,6

5. 1. (R Ɔ ~S) Ʌ (T Ɔ ~U)
2. (V Ɔ ~W) Ʌ (X Ɔ ~Y)
3. (T Ɔ W) Ʌ (U Ɔ S)
4. (V v R)
Conclusión: ~T v ~U
5. (R Ɔ ~S) Simplificación 1
6. (V Ɔ ~W) Simplificación 2
7. (V Ɔ ~W) Ʌ (R Ɔ ~S) Conjunción 6,5
8. (~W v ~S) C.D 7,4
9. ~T v ~U D.D 3,8

6. 1. A Ɔ (B Ʌ C)
2.~A Ɔ {(D Ɔ E) Ʌ (F Ɔ G)}
3. (B Ʌ C) v {(~A Ɔ D) Ʌ (~A Ɔ F)}
4. ~ (B Ʌ C) Ʌ ~ (G Ʌ D)
Conclusión: E v G
5. ~ (B Ʌ C) Simplificación 4
6. ~A M.T 1,5
7. (~A Ɔ D) Ʌ (~A Ɔ F)
8. (~A Ɔ D) Simplificación 7
9. (D Ɔ E) Ʌ (F Ɔ G)
10. D
11. (D Ɔ E) Simplificación 9
12. E M.P 11,10
 13. E v G

7. 1. (~H v I) Ɔ (J Ɔ K)
2. (~L Ʌ ~M) Ɔ (KƆ N)
3. (H Ɔ L) Ʌ (L Ɔ H)
4. (~L Ʌ~M) Ʌ ~O
Conclusión: (J Ɔ N)
5. ~L Ʌ ~M Simplificación 4
6. KƆ N M.P 2,5
7. H Ɔ L Simplificación 3
8. ~L Simplificación 5
9. ~H M.T 7, 8
10. ~H v I Adicion 9
11. J Ɔ K M.P 1, 10
12. J Ɔ N H.S 7, 11

8. 1. (P Ɔ Q) Ʌ (R Ɔ S)
2. (Q Ɔ T) Ʌ (S Ɔ U)
3. (~P Ɔ T) Ʌ (~Q Ɔ S)
4. ~T
Conclusión: ~R v ~Q
5. Q Ɔ T Simplificacion 2
6. ~Q M.T 5,4
7. ~R v ~Q Adicion 7

9. 1. (V Ɔ W)
2. (X Ɔ Y)
3. (Z Ɔ W)
4. (X Ɔ A)
5. (W Ɔ X)
6. {(V Ɔ Y) Ʌ (Z Ɔ A)} Ɔ (V v Z)
Conclusión: Y v A
7. W Ɔ Y H.S 2,5
8. V Ɔ Y H.S 1,7

10. 1. (B v C) Ɔ (D v E)
2. {(V v Z) v F} Ɔ (G v H)
3. (G v H) Ɔ ~D
4. F Ɔ ~G
5. B
Conclusión: H
7.((V v Z)v F) Ɔ ~D H.S 2,3
8. B v C Adicion 5
 9. D v E M.P 1,7

IV. Construir una prueba formal de validez para cada uno de los siguientes argumentos,
utilizando las abreviaciones que se sugieren:
1. Si se requiere ya sea álgebra o geometría, entonces todos los estudiantes
cursarán matemáticas. Se requiere el álgebra y se requiere la trigonometría. Por lo
tanto, todos los estudiantes tomarán matemáticas. (A. Algebra es requisito. G:
Geometría es requisito. S: Todos los estudiantes cursarán matemáticas. T=
Trigonometría es requisito.)
1. (A v G) Ɔ S
2.A Ʌ T
Conclusión: S
3.A Simplificacion 2
4.A v G Adicion 3
5. S M.P 1,4

2.O Smith asistió a la reunión o Smith no fue invitado a la reunión. Si los directores
deseaban la presencia de Smith en la reunión entonces Smith fue invitado a la reunión.
Smith no asistió a la reunión. Si los directores no deseaban la presencia de Smith en la
reunión y Smith no fue invitado a la reunión, entonces Smith está en camino hacia fuera
de la compañía. Por lo tanto, Smith está en camino hacia fuera de la compañía (A: Smith
asistió a la reunión. I: Smith fue invitado a la reunión. D: Los directores deseaban la
presencia de Smith en la reunión. C: Smith está en camino hacia fuera de la compañía.)
1.A v ~I
2.D Ɔ I
3.~A
4. . (~D Ʌ ~I) Ɔ C
Conclusión: C
5. ~I D.S 1,3
6.~D M.T 2,5
7. ~D Ʌ ~I Conjunción 6,5
8.C M.P 4,7

3. Si se desarrolla una escasez de artículos de consumo hay alza de precios. Si hay

un cambio en el gobierno no seguirán los controles fiscales. Si la amenaza de
inflación persiste seguirán los controles fiscales. Si hay sobreproducción no hay
alza de precios. O hay sobreproducción o hay un cambio de gobierno. Por lo tanto,
o no se desarrolla una escasez de artículos de consumo o la amenaza de inflación
no persiste. (E: Se desarrolla una escasez de artículos de consumo. P: Hay alza de
precios. C: Hay un cambio de gobierno. F: Siguen los controles fiscales. I: Persiste la
amenaza de inflación. S: Hay sobreproducción.)
1. (E Ɔ P)
2. (C Ɔ ~F)
 3. (I Ɔ F)
4. (S Ɔ ~P)
5. S v ~P
Conclusión: ~E v ~I
6. (S Ɔ ~P) Ʌ (C Ɔ ~F) Conjunción 4,2
7.~P v ~ F C.D 5,6

4. Si continúa la investigación se descubre nueva evidencia. Si se descubre nueva

evidencia, entonces muchos importantes ciudadanos son implicados. Si muchos
importantes ciudadanos son implicados, entonces los periódicos detienen la publicación
del caso. Si la continuación de la investigación implica que los periódicos detienen la
publicación del caso, entonces el descubrimiento de nueva evidencia implica que la
investigación continúa. La investigación no continúa. Por lo tanto, no se descubre nueva
evidencia. (C: La investigación continúa. N: Se descubre nueva evidencia. I: Son implicados
muchos importantes ciudadanos. D: Los periódicos detienen la publicación del caso.)
1. (C Ɔ N)
2. (N Ɔ I)
3. (I Ɔ D)
4.(D Ɔ C)
5.(D Ɔ C) Ɔ (N Ɔ C)
6.~C
Conclusión: ~N
7. (N Ɔ C) MP 5,4
8.~N M.T 7,6

5. Si el rey no se enroca y el peón avanza, entonces o el alfil queda bloqueado o la torre

inmovilizada. Si el rey no se enroca, entonces, si el alfil queda bloqueado entonces el
juego es tablas. O el rey se enroca o si la torre es inmovilizada se pierde el cambio. El rey
no se enroca y el peón avanza. Por lo tanto, o el juego es tablas o se pierde el cambio. (K:
El rey se enroca. P: El peón avanza. B: El alfil es bloqueado. R: La torre es inmovilizada. D:
El juego es tablas. E: Se pierde el cambio.)
1.(K Ʌ P) Ɔ (B v R)
2.~K Ɔ (B Ɔ D)
3.(K v P) Ɔ E
4. K Ʌ P
Conclusión: D v E
5. B v R M.P 1,4
6.K Simplificacion 4
7. ~(B Ɔ D) M.T 2,6

6. Si Andrews está presente entonces Brown está presente, y si Brown está presente
entonces Cohen no está presente. Si Cohen está presente entonces Davis no está
presente. Si Brown está presente, entonces Emerson está presente. Si Davis no está
presente entonces Farley está presente. O Emerson no está presente o Farley no está
presente. Por lo tanto, o Andrews no está presente o Cohen no está presente. (A:
Andrews está presente B: Brown está presente. C: Cohen está presente. D: Davis está
presente. E: Emerson está presente. F; Farley está presente.)
1. (A Ɔ B) Ʌ (B Ɔ ~C)
2. (C Ɔ ~D)
3. (B Ɔ E)
4. (~D Ɔ F)
5. ~E v ~F
Conclusión: ~A v ~C
6. A Ɔ B Simplificación 1
7. A Ɔ E H.S 3,6

7. Si o Jorge se inscribe o Harry se inscribe entonces Ira no se inscribe. O Ira se

inscribe o Harry se inscribe. Si o Harry se inscribe o Jorge no se inscribe entonces
Jaime se inscribe. Jorge se inscribe. Por lo tanto, o Jaime se inscribe o Harry no se
inscribe. (J: Jorge se inscribe, H: Harry se inscribe. I: Ira se inscribe. X: Jaime se
inscribe.)
1. (J v H) Ɔ ~I
2. I v H
3. (H v ~J) Ɔ X
4. J
Conclusión: X v ~H
5. J v H Adición 4
6. ~I M.P 1,5
7. H D.S 6,2
8. H v ~J Adición 7
9. X M.P 3,8
10. X v ~H Adicion 9

8. Si Tomás recibió el mensaje entonces Tomás tomó el avión, pero si Tomás no tomó el
avión, entonces Tomás faltó a la reunión. Si To más faltó a la reunión, entonces David fue
elegido consejero, pero si David fue elegido consejero, entonces Tomás recibió el
mensaje. Si o Tomás no faltó a la reunión o Tomás no recibió el aviso, entonces o Tomás
no tomó el avión o David fue elegido consejero, Tomás no faltó a la reunión. Por lo tanto,
o Tomás no recibió el mensaje o Tomás no faltó a la reunión, (R; Tomás recibió el mensaje.
A: Tomás tomó el avión. F: Tomás faltó a la reunión. D; David fue elegido consejero.)
1. (R Ɔ A) v (~A Ɔ F)
2. (F Ɔ D) v (D Ɔ R)
3. .(~F Ɔ ~R) Ɔ (~A v D)
4.~F
Conclusión: ~R v ~F
5. ~R v ~F Adición 4

9. Si Dick fue vacunado hace poco entonces él tiene fiebre. O Dick fue vacunado
hace poco tiempo o si aparecen viruelas entonces Dick debe ser aislado. O Dick
tiene sarampión o si se le desarrolla salpullido entonces hay complicaciones. Si
Dick tiene sarampión entonces tiene fiebre. Si Dick no fue vacunado hace poco y
Dick no tiene sarampión, entonces o se le desarrolla salpullido o aparecen
viruelas. Dick no tiene fiebre. Por lo tanto, o hay complicaciones o Dick debe ser
aislado. (D: Dick fue vacunado hace poco. F: Dick tiene fiebre. V: Le salen viruelas.
A: Dick debe ser aislado. S: Dick tiene sarampión. R: Le sale salpullido. C: Hay
complicaciones.)
1. D Ɔ F
2.(D v V) Ɔ A
3. S v R
4. S Ɔ F
5. (~D Ʌ ~S) Ɔ (R Ʌ V)
6.~D
Conclusión: C v A

10. O aumentaron los impuestos o si aumentan los gastos se eleva la deuda. Si los
impuestos aumentaron entonces el costo de recaudar los impuestos crece. Si un
aumento en los gastos implica que el gobierno pide prestado más dinero,
entonces si se eleva la deuda aumentan las tasas de interés. Si no se aumentan los
impuestos y el costo de recaudación de impuestos no crece, entonces si la deuda
no se eleva entonces el gobierno pide prestado más dinero. El costo de
recaudación de impuestos no crece. O las tasas de interés no aumentan o el
gobierno no pide prestado más dinero. Por lo tanto, o la deuda no se eleva o los
gastos no aumentan. (T: Aumentan los impuestos. E: Aumentan los gastos. D: Se
eleva la deuda. C: El costo de recaudación de impuestos crece. G: El gobierno pide
prestado más dinero. I: Aumentan las tasas de interés.)

1.(T v E) Ɔ D
2. (T Ɔ C)
3. (E Ɔ G) Ɔ (D Ɔ I)
4.(~T Ʌ ~C) Ɔ (~D Ɔ G)
5. ~I v ~G
 Conclusión: ~D v ~E

Ejercicio 2
I Para cada uno de los siguientes argumentos de la regla de inferencia por la que se sigue
su conclusión de su premisa:
1. (~A ⊃ B) ∙ ( C∨~D)
∴ (~ A ⊃B) ⋅(~ D∨C) 9. G ∨ H ¿⋅ (I ∨ J )
Conmutación ∴ [ (G ∨ H ) ⋅ I ] ∨ [ G ∨ H ) ⋅J ¿
Distribución
2. (~E∨F) ⋅(G∨~H)
∴ (E ⊃ F ¿ ⋅¿~ H)
Implicación Material
10. ( K ⋅ L ) ⊃ {M ⋅ [ ( N ⋅O ) ⋅ P ] }
3. ( I ⊃ J ) ∨ ( K ⊃ L ) ∴ ( K ⋅ L ) ⊃ {M ⋅ [ (O ⋅ N ) ⋅ P ] }
∴ ( I ⊃ J ) ∨(L ⊃K )
Conmutación
Transposición
11. {Q ∨ [ ( R ⋅ S ) ⋅ (T ∨ U ) ] }
4. M ⊃ ( N ∨ O )
∴ M ⊃( N ⋅ O) ∴ {Q∨ [ ( R ⋅ S ) ∨ ( T ∨ U ) ] }
Teorema de Morgan Teorema de Morgan

5. [ P ⊃ (Q ∨ R ) ] ∨ [ P ⊃ ( Q∨ R ) ] 12. V ⊃ {W ⊃ [ ( x ⋅ y ) ⊃ Z ] }
∴ P ⊃ (Q∨ R) ∴ V ⊃{ [W ⋅ ( X ⋅ Y ) ] ⊃ Z }
Tautología Exportación

6. [ S ⋅(T ⋅U )] ⊃(V ≡ W ) 13. [ A ∨ ( B ∨C ) ] ∨ [ ( D ∨ D ) ∨ E ]

∴ [ ( S ⋅ T ) ⋅U ] ⊃ ( V ≡ W ) ∴ [ A ∨ ( B ∨C ) ] ∨[ D ∨ ( D∨ E ) ]
Asociación Asociación

7. [ X ⋅ (Y ⋅ Z )] ⊃ ( A ≡
B) 14.
∴ X ⊃[ ( Y ⋅ Z ) ⊃ ( A ≡ B ) ] ( F ⊃G ) ⋅ {[ ( G ⊃H ) ⋅ ( H ⊃G ) ] }⊃ ( H ⊃ I )
Exportación ∴ ( F ⊃G ) ⋅ {( G ≡ H ) ⊃ ( H ⊃ I ) }
Equivalencia material
8. ( C ⋅ D ) ⊃(E ≡ F )
∴ ( C ⋅ D ) ⊃ ¿ Equivalencia
material
 15. 18.
J ≡∼ {[ ( K ⋅∼ L ) ∨ ∼ M ] ⋅ [ ( K ⋅∼ L ) ∨∼ N ] } ∨⊃ {( ∼W ⊃ ∼∼ X ) ∨ [ ( ∼Y ⊃Z ) ∨ ( ∼ Z ⊃ ∼Y ) ] }
∴ J ≡ ∼ { ( K ⋅ ∼ L ) ∨(∼ M ⋅∼ N ) } ∴ ∨⊃ {(∼ X ⊃W ) ∨ [ ( ∼ Y ⊃ Z ) ∨(∼ Z ⊃∼ Y ) ] }
Equivalencia material Transposición

16. O ⊃ [ ( P ⋅∼ Q ) ≡ ( P ⋅ ∼∼ R ) ]
∴ O⊃ [ ( P ⋅Q ) ≡(∼∼ P ⋅ ∼∼ R) ] 19. ( A ⋅ ∼B ) ⊃ [ ( C ⋅C ) ⊃ ( C ⊃ D ) ]
Doble negación ∴( A ⋅∼ B) ⊃ [ C ⊃(C ⊃D) ]
Tautología
17.
∼ S ≡ {∼ ∼T ⊃ [ ∼∼ ∼U ∨ ( ∼ T ⋅ S ) ] } 20. ( E ⋅∼ F ) ⊃ [ G⊃ ( G ⊃ H ) ]
∴ ∼ S ≡ {∼ ∼∼ T ∨ [ ∼ ∼∼ U ∨(T ⋅ S) ] } ∴(E ⋅ ∼ F) ⊃ [ (G ⋅ G) ⊃ H ]
Implicación material Exportación

II Cada una de las siguientes es una demostración formal d validez para el argumento
indicado. Enunciar la “justificación” para cada renglón que no sea una premisa.
1. 9. I ∨ H Conmutación 8
1. ( A ∨ B ) ⊃ (C ⋅ D )
2. C /∴ B
3. C ∨ D Adición 2
4. ( C ⋅ D ) Teorema de Morgan 3
5. ( A ∨ B ) Modus Tollens (1,4)
6. A ⋅ B Teorema de Morgan 5
7. B⋅ A Conmutación 6
8. B Simplificación 7
3.
1. ( J ⋅ K ) ⊃ L
2.
2. ( J ⊃ L ) ⊃ M
1. ( E ⋅ F ) ⋅G 3. K ∨ N /∴ K ⊃ (M ⋅ N )
2. ( F ≡G ) ⊃ ( H ∨ I ) /∴ I ∨ H 4. ( K ⋅J ) ⊃ L Conmutación 1
3. E ⋅ ( F ⋅G ) Asociación 1 5. K ⊃ ( J ⊃ L ) Exportación 4
4. ( F ⋅G ) ⋅ E Conmutación 3 6. K ⊃ M Silogismo hip. (5,2)
5. F ⋅G Simplificación 4 7. K ∨ M Implicación Mat. 6
6. ( F ⋅G ) ∨ ( F ⋅ G ) Adición 5 8. ( K ∨ M ) .( K ∨ N ) Tautología 7
7. F ≡ G Equivalencia material 6 9. K ∨ ( M ⋅ N ) Distribución 8
8. H ∨I Modus ponens (2,7) 10. K ⊃ ( M . N ) Implicación Mat. 9
 8. [ ( X ⋅ Y ) ⊃ Z ] ⋅ [ ( X ⋅ A ) ⊃ B ]
Conjunción (5,6)
4.
9. Z ∨ B D. Constructivo (8,7)
1. (O ⊃ P )⋅( P ⊃ Q) 10. B Silogismo disyuntivo (9,4)
2. Q ⊃O
3. R ⊃ P/∴ R
7.
4. Q ∨O Implicación Mat. 2
5. O∨ Q Conmutación 4 1. C ⊃ ( D ⊃ C )
6. (O ⊃ P )⋅( Q ⊃ P ) 2. C ≡ D∨∴ C ⋅ D
Implicación material (5,4) 3. C ⊃ ( C ⊃ D )
7. P ∨ P D. Constructivo (6,5) Transposición 1
8. P Tautología 7 4. C ⊃ ( C ⊃ D ) Doble negación 3
9. R Modus tollens (3,8) 5. ( C ⋅C ) ⊃ D Exportación 4
10. R Doble negación 9 6. C ⊃ D Tautología 5
7. C ∨ D Implicación Mat. 6
8. ( C ⋅ D ) Teorema de Morgan 7
9. ( C ⋅ D ) ∨ ( C ⋅ D )
Equivalencia material 2
10. C ⋅ D
5.
Silogismo disyuntivo (9,8)
1. S ⊃ ( T ⊃U )
2. U ⊃ U
8.
3. ( V ⊃ S ) ⋅ ( W ⊃T ) /∴V ⊃ W
4. ( S ⋅T ) ⊃U Exportación 1 1. E ⋅ ( F ∨G )
5. U ∨ U Implicación Mat. 2 2. ( E ⋅G ) ⊃ ( H ∨ I )
6. U Tautología 5 3. ( H ∨ I ) ⊃ ( E ⋅ F ) /∴ H ≡ I
7. ( S ⋅ T ) Modus tollens (4,6) 4. ( E ⋅G ) ⊃ ( H ⋅ I )
8. S ∨ T Teorema de Morgan 7 Teorema de Morgan 2
9. V ∨ W D. destructivo (3,8) 5. ( H ⋅ I ) ⊃ ( E⋅ F )
10. V ⊃ W Implicación Mat. 9 Teorema de Morgan 3
6. ( E ⋅ F ) ⊃ ( H ⋅ I ) Transposición 5
6. 7. [ ( E ⋅ F ) ⊃ ( H ⋅ I ) ] ⋅¿
Conjunción (6,4)
1. X ⊃ (Y ⊃ Z ) 8. E ⋅ F ) ∨ ( E ⋅G ) Distribución 1
(
2. X ⊃ ( A ⊃B ) 9. ( H ⋅ I ) ∨ ( H ⋅ I )
3. X ⋅ (Y ∨ A) Dilema constructivo (7,8)
4. Z /∴ B 10. H ≡ I Equivalencia Mat.9
5. ( X ⋅Y ) ⊃Z Exportación 1
6. ( X ⋅ A) ⊃ B Exportación 2
7. ( X ⋅ Y ) ∨( X ⋅ A) Distribución 3 9.
 1. J ∨ ( K ∨J )
2. K ∨( J ∨ K )
/∴ ( J ⋅ K ) ⋅( J ⋅ K )
10.
3. ( K ∨J ) ∨J Conmutación 1
4. K ∨ ( J ∨J ) Asociación 3 1. ( L∨ M ) ∨ ( N ⋅O )
5. K ∨ J Tautología 4 2. ( L⋅O ) ⋅ ( L ⋅ M )∨∴ L ⋅ N
6. K ⊃ J Implicación Mat. 5 3. L⋅ [O ⋅ ( L⋅ M ) ] Asociación 2
7. ( J ∨ K ) ∨ K Asociación 2 4. L Simplificación 3
8. J ∨ ( K ∨ K ) Asociación 7 5. L ∨ [ M ∨ ( N ⋅O ) ] Asociación 2
9. J ∨ K Tautología 8 6. M ∨ ( N . O)
10. J ⊃ K Implicación Mat. 9 Silogismo disyuntivo (5,4)
11. ( J ⊃ K ) . ( K ⊃J ) 7. ( M ∨ N ) ⋅ ( M ∨O ) Distribución 6
Conjunción (10,6) 8. M ∨ N Simplificación 7
12. J ≡ K Equivalencia Mat. 11 9. L⋅ ( M ∨ N ) Conjunción (4,8)
13. ( J ⋅ K )∨( J ⋅ K ) 10. ( L . M ) ∨ ( L⋅ N ) Distribución 9
Equivalencia Mat. 12 11. ( L⋅ M ) ⋅ ( L⋅O ) Conmutación 2
12. ( L⋅ M ) Simplificación 11
13. L⋅ N
Silogismo disyuntivo (10,12)

III Construir una demostración formal de validez para cada una de los argumentos
siguientes:
1. 2. E ⊃ ( F ∨G ) Implicación Mat. 1
3. E ∨ ( F ∨G )Implicación Mat. 2
1. A/∴ A ⊃B 4. E ∨ ( G ∨ F ) Conmutación 3
2. A ∨ B Adición 1 5. ( E ∨G ) ∨ F Asociación 4
3. A ⊃B Implicación Mat. 3 6. F ∨ ( E ∨G ) Conmutación 5
7. F ⊃ ( E ∨G ) Implicación Mat. 6
2.
8. F ⊃ ( E ⊃ G ) Implicación Mat. 7
1. C /∴ D ⊃C
2. ( C ) Doble negación 1
4.
3. ( C ) ∨ D Adición 2
4. C ⊃ D Implicación Mat. 3 1. H ⊃ ( I ⋅ J ) /∴ H ⊃ I
5. D ⊃ C Transposición 4 2. H ∨ ( I . J ) Implicación Mat. 1
3. ( H ∨ I ) . ( H ∨ J ) Distribución 2
4. H ∨ I Simplificación 3
3. 5. H ⊃I Implicación Mat. 4
1. E ⊃ ( F ⊃ G ) /∴ F ⊃ ( E ⊃G )
 8.
5. 1. T ⊃ ( U ⊃ V ) /∴T ⊃U
2. T ∨ ( U ⊃V )
1. K ⊃ L ¿ ∴ K ⊃ (L∨ M )
Implicación material 1
2. K ∨ L Implicación Mat. 1
3. ( K ∨ L ) ∨ M Adición 2 3. T ∨ ( U ∨V )
4. K ∨¿) Asociación 3 Implicación material 2
5. K ⊃ (L∨ M ) Implicación Mat. 4 4. T ∨ ( U ⋅ V )
Teorema de Morgan 3
5. T ∨ (U ⋅ V ) Doble negación 4
6. 6. ( T ∨U ) .( T ∨ V ) Distribución
1. N ⊃O/∴ ( N ⋅ P ) ⊃ O 5
2. ( N ⊃ O)∨ P Adición 1 7. T ∨U Simplificación 6
3. ( O⊃ N ) ∨ P Transposición 2 8. T ⊃U Implicación material 7
4. ( O∨ N)∨P
Implicación Material 3
5. O ∨ ( N ∨ P ) Asociación 4 9.
6. O ∨( N ⊃ P) 1. W ⊃( X . Y ) ¿ ∴W ⊃(Y ⊃ X )
Implicación Material 5 2. W ∨( X . Y ) Impl. mat.1
7. ( N ⊃P ) ∨ O Conmutación 6 3. ( W ∨ X ) .( W ∨ Y )
Distribución 2
8. ( N ⊃ P ) ∨O Doble negación 7
4. ( W ∨ Y ) . ( W ∨ X )
9. ( P ⊃ N ) ∨O Transposición 8
Conmutación 3
10. ( P ∨ N ) ∨O 5. ( W ∨ Y ) Simplificación 4
Implicación Material 9 6. ( W ∨ Y ) ∨ X Adición 5
11. ( P ⋅N ) ∨O 7. W ∨( Y ∨ X ) Asociación 6
Teorema de Morgan 10 8. W ⊃ ( Y ∨ X ) Impl. Mat. 7
12. ( N ⋅ P ) ∨O Conmutación 11 9. W ⊃ ( Y ⊃ X ) Impl. Mat. 8
13. ( N ⋅ P ) ⊃ OEquivalencia Mat. 12
10.
7. 1. A ⊃ (B ⊃C ).
1. (Q ∨ R)⊃ S /∴ Q⊃ S 2. ( D ⋅B ) ⊃C .
2. ( Q ∨ R ) ∨S Implicación Mat. 1 3. D/∴ A
3. S ∨ ( Q ∨ R ) Conmutación 2 4. [ D ⊃(B ⊃ C )] Equiv. mat. 1
4. S ∨ ( Q . R ) B⊃C
5. Modus ponens (4,3)
Teorema de Morgan 3
6. ( B ⊃C ) Doble negación 5
5. S ∨ Q ) . ( S ∨ R ) Distribución4
(
7. A Modus tollens (1,6)
6. S ∨ Q Simplificación 5
7. Q ∨S Conmutación 6
8. Q ⊃ S Implicación Mat. 7 11.
1. E ⊃ F
2. E ⊃G/∴ E ⊃(F .G)
 3. E ∨ F Implicación material 1 7. ( J ∨ H ) ∨ I Conmutación 6
4. E ∨G Implicación material 2 8. ( H ∨J )∨ I Conmutación 7
5. ( E ∨ F) .( E ∨G) 9. [ ( H ∨ J ) ] ∨ I
Conjunción (3,4) Doble negación 8
6. E ∨(F .G) Distribución 5
10. ( H ∨ J ) ⊃ I
7. E ⊃( F .G) Implicación mat. 6
Implicación material 9
11. ( H ∨ J ) Modus tollens(10,2)
12.
12. H ∨J Doble negación 11
1. H ⊃ ( I ∨ J ) 13. H ⊃J Implicación material 12
2. I /∴ H ⊃ J
3. ( I ∨ J ) ⊃ H Transposición 1
4. ( I ∨ J )∨ H
Implicación material 3
5. I ∨ J ) ∨ H Doble negación 4
(
6. I ∨ ( J ∨ H ) Asociación 5

13.
1. S ⊃T
2. S ∨T /∴ T
3. ( S ⊃T ) . ( S ∨T ) Conjunción (1,2)
4. { [ ( S ⊃T ) ⋅ ( S ∨T ) ] } Doble negación 3
5. { ( S ⊃T ) ∨ ( S ∨T ) } Teorema de Morgan 4
6. { ( S ⊃T ) ⊃ ( S ∨ T ) } Implicación material 5
7. { ( S ∨T ) } Modus ponens (6,1)
8. { S ⋅ T } Teorema de Morgan 7
9. { T ⋅ S } Conmutación 8
10. T Simplificación 9
11. T Doble negación 10

Ejercicios
Demostrar la Invalidez de los siguientes argumentos por la asignación de valores de
verdad.
 1.) 1. A→B
A B C D A→B C→D BvC AvD
2. C→D
3. B v C F V F F V V V F
4. .: A v D

2.) 1. E → (F v G)
E F G H I E → (F v G) G → (H•I) ~H E→I
2. G → (H•I)
3. ~H V V F F F V V V F
4. .: E→I

3.) 1. J → (K → L)
2. K → (~L → M)
J K L M N J→(K→ L) K→(~L→M) (LvM)→N J→N
3. (L v M) → N
4. .: J → N V F F F F V V V F

4.) 1. (O v P) → Q
2. Q → (P v R) O P Q R S (OvP)→Q Q→(PvR) O→(~S→P) (S→O)→~R P=Q
3. O →
F F F F V V V V V F
(~S→P)
4. (S→O) →
~R
5. .: P = Q

5.) 1. T = U
2. U = (V•W) T U V W X T=U U=(V•W) V=(TvX) TvX T•X
3. V = (T v X)
4. T v X V V V V F V V V V F
5. .: T • X

6.) 1. X = (Y → Z)
2. Y = (~X • ~Z) X Y Z X=(Y→Z) Y=(~X•~Z) Z=(Xv~Y) Y XvZ
3. Z = (X v ~Y) F V F V V V V F
4. Y
5. .: X v Z

7.) 1. (A→B)•(C→D)
2. A v C
3. (B v D) → (E•F)
4. E → (F→G)
5. G → (A→H)
 6. .: H
A B C D E F G H (A→B)•(C→D) AvC (BvD)→(E•F) E→(F→G) G→(A→H) H
F F V V V V V F V V V V V F

8.) 1. I v (J•K)
2. (I v J) → (L=~M)
3. (L→~M) → (M•~N)
4. (N→O) • (O→M)
5. (J→K) → O
6. .: O

I J K L M N O Iv(J•K) (IvJ)→(L=~M) (L→~M)→(M•~N) (N→O)•(O→M (J→K)→O O

)
V V F F V F F V V V V V F

9.) 1. P = (Q = ~R)
2. Q → (~Rv~S)
3. (R → (Qv~T)) • (P → Q)
4. (U → (S•T)) • (T → ~V)
5. ((Q•R) → ~U) • (U → (QvR))
6. (QvV) •~V
7. .: ~U•~V

P Q R S T U V P=(Q=~R) Q→(~Rv~S) (R→(Qv~T))•(P→Q)

V V F V V V F V V V

(U→(S•T))•(T→~V) ((Q•R)→~U)•(U→(Qv (QvV)•~V ~U•~V

R
V V V F

10.) 1. W =
(XvY)
2. X = (Z→Y)
3. Y = (Z=~A)
 4. Z = (A→B)
5. A = (B=Z)
6. B v ~W
7. .: W = B

A B W X Y Z W = (XvY) X = (Z→Y) Y = (Z=~A) Z = (A→B) A = (B=Z) B v ~W W=B

V V F F F V V V V V V V F