Considere verdadeira a afirmação “se André é trabalhador, então Joana é estudante” e falsa a afirmação “André é trabalhador e Joana é estudante”.

Nessas condições, é correto afirmar que, necessariamente,