Conectivo lógico

Definição

Operação que combina proposições para formar novas proposições.

Intuição

Os "operadores" da lógica. Assim como $+$ e $\times$ combinam números, conectivos combinam afirmações.

Registro computacional

Operadores booleanos: and, or, not, etc.

Os cinco conectivos clássicos

Negação ($\neg$), conjunção ($\wedge$), disjunção ($\vee$), condicional ($\rightarrow$), bicondicional ($\leftrightarrow$).