Denomina-se proposição toda frase que pode ser julgada como verdadeira — V — ou falsa — F —, mas não como V e F simultaneamente. As proposições simples são aquelas que não contêm mais de uma proposição como parte. As proposições compostas são construídas a partir de outras proposições, usando-se símbolos lógicos e parênteses para evitar ambiguidades. As proposições são usualmente simbolizadas por letras maiúsculas do alfabeto: A, B, C etc. Uma proposição composta na forma AνB, chamada disjunção, é lida como “A ou B” e tem valor lógico F se A e B são F, e V, nos demais casos. Uma proposição composta na forma A∧B, chamada conjunção, é lida como “A e B” e tem valor lógico V se A e B são V, e F, nos demais casos. Uma proposição composta na forma A→B, chamada implicação, é lida como “se A, então B” e tem valor lógico F se A é V e B é F, e V, nos demais casos. Além disso, ¬A, que simboliza a negação da proposição A, é V se A for F, e é F se A for V.