a) proposição
           1. Representação formal de uma proposição

 
Como estamos estudando lógica formal, devemos representar as proposições de maneira simbólica, da mesma maneira que representamos uma variável ou incógnita nas expressões algébricas.

Portanto uma proposição pode ser expressa por um letra minúscula do alfabeto:

a: O céu é azul.
b: A água do mar é salgada.
c: 2+2=4.
p: São Paulo é um estado do Brasil.
q: O ônibus é um meio de transporte individual.

Daqui para frente, toda a vez que formos apresentar uma proposição indicaremos o símbolo que a representa.