Proposição é uma sentença que pode ser julgada como verdadeira — V —, ou falsa — F —, mas não como V e F simultaneamente. Letras maiúsculas do alfabeto são freqüentemente usadas para simbolizar uma proposição básica. A expressão A∧B simboliza a proposição composta “A e B” e tem valor lógico V somente quando A e B forem V, nos demais casos, será F. A expressão A∨B simboliza a proposição composta “A ou B” e tem valor lógico F somente quando A e B forem F, nos demais casos, será V. A expressão da forma ¬A é a negação da proposição A, e possui valores lógicos contrários aos de A.

A expressão A→B é uma proposição composta que tem valor lógico F somente quando A for V e B for F, e nos demais casos, será V, e pode ser lida como: “se A então B”.

Uma argumentação lógica correta consiste de uma seqüência finita de proposições, em que algumas, denominadas premissas, são V, por hipótese, e as demais, as conclusões, são V por conseqüência da veracidade das premissas e de conclusões anteriores.