Conectivas

símbolo

leitura

Operação lógica

outros símbolos

L

e

conjunção

&, .

V,W

ou

disjunção (inclusiva ou exclusiva)

+, V*

~

não

negação

¬

→

se...então

condicional ou implicação material

Þ

↔

se e só se

bicondicional ou equivalência material

Û