Se "p → q" é falso, então: