Neste exercicio podríase por unha solución máis abreviada? Esta por exemplo?:
-1. p v q "Conclusión": s
-2. ¬ r
-3. p -> r
-4. q -> s
5. q S.D 1
6. s M.P 4
Neste exercicio podríase por unha solución máis abreviada? Esta por exemplo?:
-1. p v q "Conclusión": s
-2. ¬ r
-3. p -> r
-4. q -> s
5. q S.D 1
6. s M.P 4