Portal:Lógica/Símbolos

Símbolos lógicos

Símbolo	Significado
$\mathrm{\neg }A$	Negação de A.
$A\to B$	Implicação Se A então B.
$A\wedge B$	Conjunção A e B.
$A\vee B$	Disjunção A ou B.
$A\leftrightarrow B$	Equivalência A é equivalente a B; A se e somente se B.
$\mathrm{\Gamma }⊢A$	Dedução Do conjunto de fórmulas $\mathrm{\Gamma }$ deduzimos A.
$M\models A$	Modelização M é um modelo de A; A é verdade em M.
$⊢A$	Teorema.
$\models A$	Tautologia.
$M⊩A$	Realizabilidade M percebe A; M "força" A.