Assinale a opção que apresenta uma proposição lógica.