Proposições são frases declarativas que podem ser julgadas como verdadeiras (V) ou falsas (F), mas não cabem ambos os julgamentos. Proposições simples podem ser denotadas por letras maiúsculas do alfabeto.

Expressões da forma A6B são proposições compostas, podem ser lidas como: se A então B, e são julgadas como F quando A é V e B é F, e nos demais casos é V. Expressões da forma AwB também são proposições compostas, podem ser lidas como: ou A ou B, e são julgadas como F quando A e B são F, e nos demais casos é V. Uma expressão da forma AvB é uma proposição composta, que é V quando A e B são V, e nos demais casos é F, e é lida como: A e B. Além dessas proposições compostas, também considere como proposição composta uma expressão da forma ¬A, que representa a negação de A, e é julgada como F quando A é V, e V quando A é F. Qualquer proposição pode ou não ser delimitada por parênteses.