Más práctica del Teorema de Deducción

Teclea en los recuadros las correspondientes deducciones y su justificación.

1. p→(qm)     2. (q∨m)(rs)       3. (r∧s)(tu) p(tu) 4. 5. 6. 7.   8.

---

1. (p∧q)r       2. r→(st)       3. (s∧t)w (pq)w 4. 5. 6. 7.   8.