NON Paula, o paso 5 é incorrecto, o siloxismo disxuntivo necesitaría ademais da premisa 1 ter ¬p para obter q. Comproba a regra.
NON Paula, o paso 5 é incorrecto, o siloxismo disxuntivo necesitaría ademais da premisa 1 ter ¬p para obter q. Comproba a regra.