[I2] Duda divisores del 0 en primos.

[VicenteMerino]

Hola, estaba haciendo la pregunta 1 de la I1 del año pasado y creo que logré demostrar una dirección, sin embargo no se me ocurre la otra. Si tienen un tip de como empezar ese lado, lo agradecería mucho:

[N9199]

Demuestra que si n no es primo entonces tiene divisores de 0.

Edit: Puede ser que el tip no parezca muy útil, pero uno puede construir divisores de 0 explícitos para el caso cuando n no es primo.

[VicenteMerino]

Pregunta, p -> q, es lo mismo que no p -> no q? (Ya que con este tip estamos demostrando lo segundo)

[N9199]

Nope,p->q es equivalente a !q->!p, i.e. contrapositiva. En este caso, quieres demostrar un ssi, ya demostraste que n primo -> no hay divisores de 0, falta demostrar no hay divisores de 0 -> n es primo, esto último es equivalente a demostrar n no es primo -> existen divisores de 0

[VicenteMerino]

Buena, me queda claro ahora! Gracias Nicholas