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.
PRIMERO:|--- p
SEGUNDO:|--- q Ú r
TERCERO:|--- q Ú s
CUARTO:|--- r Ú s
QUINTO:|--- q Ú r
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
DECIMOTERCERO:|--- (p Ú Ø p) ® q
DECIMOCUARTO:|--- r
DECIMOQUINTO:|--- q Ú r
DECIMOSEXTO:|--- p ® s