Expresiones para formalizar:

1. Mañana es martes y nos veremos en clase.

2. Aunque hoy te cueste trabajo, mañana te compensará haber estudiado.

3. Estudias o suspendes.

4. O te pones a trabajar desde hoy mismo o no superarás el curso y tendrás que repetir 1º.

5. Si haces lo que debes, no te arrepentirás.

6. Si no hizo sus deberes, entonces no aprendió o no llegó a entender la materia.

7. Sólo si empiezas a hacer las cosas, sabes cuánto tiempo te va a llevar y no se te hace
tarde.

8. Sólo en el caso de que hayas estudiado y el examen sea sobre lo explicado en clase,
podrás no tendrás problemas para aprobar.

9. Si te esfuerzas mucho y trabajas a diario, entonces te sentirás orgulloso de tu trabajo u

obtendrás buenos resultados.

10. Si tardas mucho en empezar, terminarás tarde y no podrás descansar.

Tablas de verdad
1. p → ￢ p 6. (p v q) → ￢ p

2. q v ￢ p 7. [ (￢p→q) ⋀ (q→r)] → (￢p →r)

3. (p ⋀ q) v ￢ p 8. [ (p ⋀ q) v (r →p)] → (￢p ⋀ ￢ r)
 4. ￢ (p ⋀ q) ⋀ (￢p v ￢ q) 9. [p → (q v r)] ￢ [p → (q v r)]

5. [ p → (q ⋀ r) ⋀ (￢p v r)] 10. [ (p → ￢ q) ⋀ r] v ￢￢ (p ⋀ r)

Derivaciones.
1) 1. (p ∧ q) → r r∨s 4) 1. p → q q
2. p 2. p ∧ r
3. q

2) 1. p → r s 5) 1. p → r r∧s
2. r → s 2. p
3. p 3. q → s
4. q

6) 1. p ∧ q r∧s
3) 1. p → r r 2. p → r
2. q → p 3. q → s
3. q