Por lo tanto, cada vez que "p" → "q" sea verdadero y "p" es verdadero, "q" debe también ser verdadero.