Ao se admitir por verdadeira a declaração Se Paulo é alto, então Gabriela não é alta, conclui-se, de maneira correta e necessária, que se
Gabriela é alta, então Paulo não é alto.
Gabriela é alta, então Paulo é alto.
Gabriela não é alta, então Paulo não é alto.
Gabriela não é alta, então Paulo é Gabriela.
Paulo não é alto, então Gabriela é maior que Paulo.
{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...