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.