O valor lógico de uma expressão composta dependerá dos valores de cada sentença individual pela qual ela é constituída, e também dos conectivos utilizados.
Os conectivos lógicos e, ou e não são usados na programação de computadores e combinados entre si, sendo as tabelas-verdade que decidem o resultado de sua combinação.
A negação inverte o valor lógico da proposição.
A expressão A^B é chamada a disjunção de A e B.