Proposições compostas são formadas por proposições simples unidas por conectivos lógicos, como "e" (∧), "ou" (∨), dentre outros. Tais proposições podem ser classificadas em três ti

Uma proposição composta é uma contingência quando a saída de sua tabela verdade é sempre verdadeira, independentemente dos valores lógicos das proposições que a compõem.

Uma proposição composta é uma tautologia quando a saída de sua tabela verdade é sempre falsa, independentemente dos valores lógicos das proposições que a compõem.

Uma proposição composta é uma contingência quando a saída de sua tabela verdade depende dos valores lógicos das proposições que a compõe.

Uma proposição composta é uma contradição quando a saída de sua tabela verdade é sempre verdadeira, em qualquer situação.

Uma proposição composta é uma contingência quando a saída de sua tabela verdade é sempre falsa, independentemente dos valores lógicos das proposições que a compõem.