Teclea en los recuadros las correspondientes deducciones y su justificación.
| 1. | p→¬q | ||
| 2. | ¬q→r | ||
| 3. | ¬r | ⊢¬p | |
|
4.
5.
5.
MP 1,4
6.
6.
MP 2,5
7.
7.
Prod 6,3
8.
8.
Abs 4-7
|
|||
Puedes seguir practicando en la sección de Actividades.