Para probar $p\iff q$ cuando $p$ es verdadero, ¿tengo que demostrar solo que $q$ debe ser verdadero?
Dado que $p$ es verdadero, los únicos casos posibles son '$p$ es verdadero y $q$ es verdadero' y '$p$ es verdadero y $q$ es falso'. Así que solo tengo que demostrar que $q$ debe ser verdadero. ¿Es eso correcto?
