Uma proposição é uma sentença que pode ser julgada como
verdadeira - V -, ou falsa - F -, mas não V e F
simultaneamente. Proposições simples são simbolizadas por letras
maiúsculas A, B, C etc., chamadas letras proposicionais. São
proposições compostas expressões da forma A
B, que é lida como
"A ou B" e tem valor lógico F quando A e B forem F, caso
contrário será sempre V; A
B, que é lida como "A e B" e tem valor
lógico V quando A e B forem V, caso contrário será sempre F; ¬A,
que é a negação de A e tem valores lógicos contrários aos de A.