• ¬q →¬p Demostrar p→q 4.

(¬q v p) ^ (¬p v q) Conmutativa

1. ¬q → ¬p 5. ((¬q v p) ^ ¬p) v ((¬q v p) ^ q) Distributiva
2. ¬(¬q) v ¬p Condicional 6. (¬p ^ (¬q v p)) v (q ^ (¬q v p)) Conmutativa
3. q v ¬p Doble Negación 7. ((¬p ^ ¬q) v (¬p ^ p)) v ((q ^ ¬q) v (q ^ p)) Distributiva
4. ¬p v q Conmutativa 8. ((¬p ^ ¬q) v F) v (F v (q ^ p)) Contradicción
5. p → q Condicional 9. (¬p ^ ¬q) v (q ^ p) Identidad
10. (¬p ^ ¬q) v (p ^ q) Conmutativa
• ¬(p → q) Demostrar p ^ ¬q
1. ¬(p → q)
2. ¬(¬p v q) Condicional
3. ¬(¬p) ^ ¬ q De Morgan
4. p^¬q Doble Negación
11. (p ^ q) v (¬p ^ ¬q) Conmutativa

• ¬p ↔ ¬q Demostrar p ↔ q
1. ¬p ↔ ¬q
2. (¬p → ¬q) ^ (¬q →¬ p) Bicondicional
3. (¬(¬p) v ¬q) ^ (¬(¬q) v ¬ p) Condicional
• p → (q ^ ¬q) Demostrar¬p 4. (p v ¬q) ^ (q v ¬ p) Doble negación
1. p → (q ^ ¬q) 5. (¬q v p) ^ (¬ p v q) Conmutativa
2. p → F Contracción 6. (q → p) ^ (p → q) Condicional
3. ¬p v F Condicional 7. (p → q) ^ (q → p) Conmutativa
4. ¬p Identidad 8. p↔ q Bicondicional

• (q ^ ¬q) → p Demostrar p
1. (q ^ ¬q) → p
2. ¬(q ^ ¬q) v p Condicional
3. ¬Vvp Contradicción
4. Fvp
5. p Identidad

• ( p ^ q) → r Demostrar p → ( q → r)
1. ( p ^ q) → r
2. ¬( p ^ q) v r Condicional
3. (¬ p v ¬q) v r De Morgan
4. ¬ p v (¬q v r) Asociativa
5. p → (¬q v r) Condicional
6. p → (q → r) Condicional

• p → ( q → r) Demostrar q → ( p → r)
• ¬(p ↔ q) Demostrar ¬p ↔ q
1. ¬(p ↔ q)
2. ¬((p → q) ^ (q → p)) Bicondicional
3. ¬((¬p v q) ^ (¬q v p)) Condicional
4. ¬(¬p v q) v ¬(¬q v p) De Morgan
5. (¬(¬p) ^ ¬q) v (¬(¬q) ^ ¬p) De Morgan
6. (p ^ ¬q) v (q ^ ¬p) Doble Negación
7. ((p ^ ¬q) v q) ^ ((p ^ ¬q) v ¬p) Distributiva
8. (q v (p ^ ¬q)) ^ (¬p v (p ^ ¬q)) Conmutativa
9. ((q v p) ^(q v ¬q)) ^ ((¬p v p) ^ (¬p v ¬q)) Distributiva
10. ((q v p) ^ V) ^ ( V ^ (¬p v ¬q)) Tercer Excluido
11. (q v p) ^ (¬p v ¬q) Identidad
12. (p v q) ^ (¬q v ¬p) Conmutativa
13. (¬(¬p )v q) ^ (¬q v ¬p) Doble Negación
14. (¬p → q) ^ (q → ¬p) Condicional
15. ¬p ↔ q Bicondicional
1. p → ( q → r)
2. ¬p v ( q → r) Condicional • (p → q ) ^ (p → r) Demostrar p → (q ^ r)
3. ¬p v ( ¬q v r) Condicional 1. (p → q ) ^ (p → r)
4. (¬p v ¬q) v r Asociativa 2. (¬p v q ) ^ (¬p v r) Condicional
5. (¬q v ¬p) v r Conmutativa 3. ¬p v ( q ^ r) Distributiva
6. ¬q v (¬p v r) Asociativa 4. p → (q ^ r) Condicional
7. q → (¬p v r) Condicional
8. q → (p → r) Condicional • (p → q ) v (p → r) Demostrar p → (q v r)

• p ^ (¬p v (¬p v q)) Demostrar p ^ q

1. p ^ (¬p v (¬p v q))
2. p ^ ((¬p v ¬p) v q) Asociativa
3. p ^ (¬p v q) Idempotencia
4. (p ^ ¬p) v ( p ^ q) Distributiva
5. F v ( p ^ q) Contradicción
6. p^q Identidad

• (p → q) ↔ q Demostrar p v q
1. (p → q ) v (p → r)
2. (¬p v q ) v (¬p v r) Condicional
3. ((¬p v q ) v ¬p) v r Asociativa
4. (¬p v (q v ¬p)) v r Asociativa
5. (¬p v (¬p v q)) v r Conmutativa
6. ((¬p v ¬p) v q) v r Asociativa
7. (¬p v q) v r Idempotencia
8. ¬p v ( q v r) Asociativa
9. p → (q v r) Condicional
1. (p → q) ↔ q • (p → r ) ^ (q → r) Demostrar (p v q) → r
2. ((p → q) → q) ^ (q → (p → q)) Bicondicional 1. (p → r ) ^ (q → r)
3. ((¬p v q) → q) ^ (¬q v (p → q)) Condicional 2. (¬p v r) ^ (¬q v r) Condicional
4. (¬(¬p v q) v q) ^ (¬q v (¬p v q)) Condicional 3. (r v ¬p) ^ (r v ¬q) Conmutativa
5. ((¬(¬p) ^ ¬ q) v q) ^ (¬q v (¬p v q)) De Morgan 4. r v (¬p ^ ¬q) Distributiva
6. ((p ^ ¬ q) v q) ^ (¬q v (¬p v q)) Doble negación 5. r v ¬(p v q) De Morgan
7. ((p ^ ¬ q) v q) ^ (¬q v (q v ¬p)) Conmutativa 6. ¬(p v q) v r Conmutativa
8. ((p ^ ¬ q) v q) ^ ((¬q v q) v ¬p) Asociativa 7. (p v q) → r Condicional
9. ((p ^ ¬ q) v q) ^ (V v ¬p) Tercer Excluido
10. ((p ^ ¬ q) v q) ^ V Identidad • (p → r) v (q → r) Demostrar (p ^ q ) → r
11. ((p ^ ¬ q) v q) Identidad
12. (q v (p ^ ¬ q)) Conmutativa
13. (q v p) ^(q v ¬ q) Distributiva
14. (q v p) ^ V Tercer Excluido
15. (q v p) Identidad
16. p v q Conmutativa

• p↔ q Demostrar (p ^ q) v (¬p ^ ¬q)

1. p↔ q
2. (p → q) ^ (q → p) Bicondicional
3. (¬p v q) ^ (¬q v p) Condicional
1. (p → r) v (q → r)
2. (¬p v r) v (¬q v r) Condicional
3. ¬p v (r v (¬q v r)) Asociativa
4. ¬p v ((r v ¬q) v r) Asociativa
5. ¬p v ((¬q v r) v r) Conmutativa
6. ¬p v (¬q v ( r v r)) Asociativa
7. ¬p v (¬q v r) Idempotencia
8. (¬p v ¬q) v r Asociativa
9. ¬ (p ^ q) v r De Morgan
10. (p ^ q) → r Condicional