Práctica con la Prueba por Casos
Teclea en los recuadros las correspondientes deducciones y su justificación.
| 1. | p∨q | ||
| 2. | p→r | ||
| 3. | r→s | ||
| 4. | q→t | ||
| 5. | t→s | ⊢s∨w | |
|
6.
7.
7.
MP 2,6
8.
8.
MP 3,7
9.
10.
10.
MP 4,9
11.
11.
MP 5,10
12.
12.
Cas 1,6-8,9-11
13.
13.
Ad 12
|
|||
Puedes practicar la prueba por casos en la actividad relaciona.
Actividad relacionada:
Es momento de pasar a la siguiente página, que explica y permite practicar la Doble Negación.