///
Considere a representação dos conectivos lógicos usuais da tabela abaixo:
| Negação | ~ |
| Conjunção | ∧ |
| Disjunção inclusiva | ∨ |
| 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: