Raciocínio Lógico — diagrams de venn (quantificadores universais)

Segundo a lógica aristotélica, as proposições têm como uma de suas propriedades básicas poderem ser verdadeiras ou falsas, isto é, terem um valor de verdade. Assim sendo, a oração A Terra é um planeta do sistema solar”, por exemplo, é uma proposição verdadeira e a oração O Sol gira em torno da Terra”, por sua vez, é uma proposição comprovadamente falsa. Mas nem todas as orações são proposições, pois algumas orações não podem ser consideradas nem verdadeiras e nem falsas, como é o caso da oração: