Portal:Lógica/Símbolos

Símbolos lógicos

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