Saltar para o conteúdo

Portal:Lógica/Símbolos

Origem: Wikipédia, a enciclopédia livre.

Símbolos lógicos

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