Em um documento de pesquisa, um analista precisa classificar diversas sentenças de acordo com os princípios da lógica formal para a modelagem de um problema. Qual das sentenças estruturadas no documento representa uma proposição lógica?