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:
Diz-se que as proposições P e Q são logicamente equivalentes
quando possuem tabelas-verdade idênticas, de modo que tais
proposições assumem os mesmos valores lógicos em função de
suas proposições representa uma forma de expressar uma mesma
afirmação de diferentes maneiras. Considerando essas informações,
julgue os próximos itens.
A proposição Como gosta de estudar e é compenetrado, João se tornará cientista pode ser expressa por Se João gosta de estudar e é compenetrado, então, se tornará cientista.