Proposições são sentenças que podem ser julgadas como ver...

As proposições simples são freqüentemente simbolizadas por letras maiúsculas do alfabeto, e as proposições compostas são conexões de proposições simples.

Uma expressão da forma AB é uma proposição composta que tem valor lógico V quando A e B forem ambas V e, nos demais casos, será F, e é lida "A e B".

A expressão ¬A, "não A", tem valor lógico F se A for V, e valor lógico V se A for F.

 A expressão A V B, lida como "A ou B", tem valor lógico F se ambas as proposições A e B forem F; nos demais casos, é V.

A expressão - tem valor lógico F se A for V e B for F. Nos demais casos, será V, e tem, entre outras, as seguintes leituras: "se A então B", "A é condição suficiente para B", "B é condição necessária para A".

Uma argumentação lógica correta consiste de uma seqüência de proposições em que algumas são premissas, isto é, são verdadeiras por hipótese, e as outras, as conclusões, são obrigatoriamente verdadeiras por conseqüência das premissas.

Considere a seguinte lista de sentenças:

I Qual é o nome pelo qual é conhecido o Ministério das Relações Exteriores?

II O Palácio Itamaraty em Brasília é uma bela construção do século XIX.

III As quantidades de embaixadas e consulados gerais que o Itamaraty possui são, respectivamente, x e y.

IV O barão do Rio Branco foi um diplomata notável.

Nessa situação, é correto afirmar que entre as sentenças acima, apenas uma delas não é uma proposição