Considere a representação dos conectivos lógicos usuais da tabela abaixo:

Negação ~

Conjunção ^

Disjunção inclusiva v

Condicional →

Além disso, considere a representação das proposições declarativas simples por letras maiúsculas do alfabeto da língua portuguesa. A sentença composta: “Se Carlos pratica regularmente atividade física e não fuma, então ele tem boa expectativa de vida” pode ser corretamente representada pela expressão: