Conectivo lógico

term: Conectivo lógico summary: "Operador que combina proposições para formar novas proposições. Os cinco fundamentais: ¬, ∧, ∨, →, ↔." relatedModules: [propositional-logic] seeAlso: [negacao, conjuncao, disjuncao, condicional, bicondicional]

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$).