As proposições simples são freqüentemente simbolizadas por letras maiúsculas do alfabeto, e as proposições compostas são conexões de proposições simples.
Uma expressão da forma A
B é uma proposição composta que tem valor lógico V quando A e B forem ambas V e, nos demais casos, será F, e é lida "A e B".
A expressão ¬A, "não A", tem valor lógico F se A for V, e valor lógico V se A for F.
A expressão A V B, lida como "A ou B", tem valor lógico F se ambas as proposições A e B forem F; nos demais casos, é V.
A expressão - tem valor lógico F se A for V e...
B é uma proposição composta que tem valor lógico V quando A e B forem ambas V e, nos demais casos, será F, e é lida "A e B". 





