EJERCICIOS POR PRUEBA POR CASOS
Cuando en la premisas (no así en la conclusión) nos encontremos con una disyunción (A Ú B), habremos de seguir como estrategia en general, el uso de la denominada Prueba por Casos .
Si además de esta circunstancia, la conclusión presenta las características de alguna de las dos estrategias, Teoréma de deducción (TD) o Reducción al absurdo (Abs), habrá que decidir cuál es la más adecuada y conveniente para resolver el ejercicio.
EJERCICIOS
PRIMERO:|--- p
SEGUNDO:|--- q Ú r
TERCERO:|--- q Ú s
- -1 p ® q
- -2 r ® s
- -3 p Ú r
CUARTO:|--- r Ú s
- -1 p Ú q
- -2 p ® s
- -3 q ® r
QUINTO:|--- q Ú r
- -1 p ® (q ® r)
- -2 p Ú (q ® r)
- -3 q
SEXTO:|--- q Ú r
SEPTIMO:|--- q Ú p
OCTAVO:|--- p Ú q
NOVENO:|--- (p Úq) Ù (p Ú r)
DECIMO:|--- (p Ùq) Ú (p Ù r)
UNDECIMO:|--- p Ù (q Ú r)
DUODÉCIMO:|--- t
- -1 p Ú (q Ù r) Ú s
- -2 p ® t
- -3 (q Ù r) ® t
- -4 s ® t
DECIMOTERCERO:|--- (p Ú Ø p) ® q
DECIMOCUARTO:|--- r
- -1 p Ú q
- -2 p ® r
- -3 q ® r
DECIMOQUINTO:|--- q Ú r
- -1 p ® (q ® r)
- -2 p Ú (q ® r
- -3 q
DECIMOSEXTO:|--- p ® s
- -1 p ® (q Ú r)
- -2 q ® r
- -3 r ® s
¿Quieres conocer la Solución?
Mundo Lógica