Em lógica, um conectivo é um símbolo ou palavra usado para conectar duas ou mais sentenças. Considere as proposições a seguir:

p: Lucca é analista de sistemas do Detran-AC;

q: Eloise é engenheira civil do Detran-AC.

Usando conectivos, a proposição: “Lucca é analista de sistemas e Eloise não é engenheira civil, ambos do Detran-AC” pode ser representada por