Considere as seguintes afirmativas:
• Se X é líquido, então não é azul.
• Se X não é líquido, então é vegetal.
Pode-se concluir logicamente que:
