Prof. Carlos afirmou que "Não é verdade que todas as perguntas de lógica são complicadas". A condição necessária e suficiente para que a afirmação de Prof. Carlos seja verdadeira é que seja verdadeira a seguinte proposição: