As proposições simples combinam-se com outras, ou são modificadas por alguns operadores, gerando novas sentenças chamadas moléculas. As moléculas em que os valores lógicos independem dos valores das proposições constituem uma