Ler como Entid

Símb Valor ade Símbolo

Explicação Exemplos
olo Categori
a Unicode HTM LaTeX
L
condicion A ⇒ B é verdade
al (em 3 das 4
(implicaç possibilidades)
ão) ambos falsos,
implica, ambos
verdadeiros ou
se .. então B verdadeiro

→ pode
significar o x = 2 ⇒ x2 = 4 é
⇒ mesmo que ⇒ verdadeiro,
&rAr
\Rightarro
w
(pois existe mas x2 = 4 ⇒ x
U+21D2 r;
outro caso onde = 2 é,
ele indica a considerando
\to
→
relação entre todas as
U+2192 &rarr
domínio e possibilidades
lógica contra domínio ;
falso \supset
proposici de uma função; U+2283
(considerando
onal, veja tabela de ⊃
⊃ Heyting símbolos
que o x poderia
ser também −2).
álgebra matemáticos). \implies

⊃ pode
significar o
mesmo que ⇒
(pois existe
outro caso onde
ele
indica subconju
nto).
se e A⇔Bé
somente verdade apenas
⇔ se (sse) se A e B forem &hAr
\Leftrighta
rrow
se e falso r;
U+21D4
apenas se;
sse ou A e B forem
x+5=y+2 ⇔ \equiv
verdadeiro.
≡
&equi
x+3=y U+2261
v;
lógica A<->B é U+2194 \leftrightar
proposici verdade quando &har row
↔ onal ( A -> B & B ->
A)
r;

é verdade \iff
 negação
¬ negado
&not;
A proposição ¬(¬A) ⇔ A U+00AC
\lnot
¬A é verdadeiro
˜ lógica se e somente se x ≠ y ⇔ ¬(x = y or \neg
proposici A é falso. &tilde
) U+02DC \sim
onal ;~

!
conjunção
∧ logica
e (and) A proposição A &and
n<
∧ B é verdadeiro U+2227 ;
lógica se A e B são 4 ∧ n >2 ⇔ n \wedge or
= 3 quando n é
• proposici ambos
onal, verdadeiro; um numero
U+0026 &amp
\land
natural. \&[1]
senão é falso. ;
Álgebra
& booleana

disjunção
∨ lógica A proposição A
(inclusiva ∨ B é verdadeiro
) se A ou B (ou n≥4 ∨ n≤
ou (or) ambos) é 2 ⇔n≠3
verdadeiro; se quando n é U+2228 &or; \lor or
+ lógica ambos são
proposici falsos, a
um número \vee
natural.
onal, proposição é
Álgebra falsa.
ǀǀ booleana
Disjunção A proposição A
exclusiva ⊕ B é
⊕ xor verdadeira
quando pelo (¬A) ⊕ A é U+2295 \oplus
lógica menos um A ou sempre &oplu
proposici B, mas nunca verdadeiro, A ⊕ s;
onal, ambos, é A é sempre falso. U+22BB
Álgebra verdadeiro. A ⊻ \veebar
⊻ booleana B tem mesmo
significado.
Tautologi
a A proposição ⊤
é, independente A ⇒ ⊤ é sempre
U+22A4 T
⊤ verdade, de condições,
verdadeir verdadeira.
verdadeiro. \top
o,
 (top,
verum)

T lógica
proposici
onal,
Álgebra
1 booleana
Contradiç
ão
⊥ (bottom,
falsum)
falsidade, A proposição ⊥
falso é, independente ⊥ ⇒ A é sempre U+22A5
&per
de condições, verdadeiro. p; F \bot
F lógica falsa.
proposici
onal,
Álgebra
0 booleana
quantifica
dor
universal
∀ para todo;
∀ x: P(x) ou
(x)P(x)
para
significa
qualquer &fora
∀ n ∈ ℕ: n2 ≥ n. U+2200
um; ll; \forall
P(x) é
verdadeiro para
para cada
() lógica de
todo x.
primeira
ordem
quantifica
dor
existencia
l ∃ x: P(x)
significa que há
existe;
pelo menos ∃ n ∈ ℕ: &exis
∃ há pelo
um x para onde n é par.
U+2203
t; \exists
o qual P(x) é
menos um
verdeiro.
lógica de
primeira
ordem
quantifica
∃! x: P(x) ∃! n ∈ ℕ: n + 5 = U+2203 U+0 &exis
∃! dor para
unicidade
significa que 2n. 021 t; ! \exists !
 existe existe
exatament exatamente
e um um x para o
lógica de qual P(x) é
primeira verdadeiro.
ordem
definição x := y ou x ≡ y
é definido significa x está
como sendo definido
:= como outro
nome usando y U+2254 :=
cosh x := :=
(mas note que ≡ (U+003A U+
(1/2)(exp x +
pode 003D) :
exp (−x))
≡
significar congr
uência). \equiv
&equi
conceito U+2261 v;
A XOR B :⇔
universal (A ∨ B) ∧ ¬(A ∧
P :⇔ Q U+003A U+2 &hAr \Leftrighta
: significa P está
B)
29C r; rrow
⇔ sendo definido
para
ser logicamente
equivalente a Q.
grupo que
possui
precedênc é realizado
ia primeiro as (8 ÷ 4) ÷ 2 = 2 ÷
U+0028 U+0
() parênteses operações de
, dentro do
2 = 1, mas 8 ÷ (4
÷ 2) = 8 ÷ 2 = 4.
029
()
()
(brackets) parenteses.
conceito
universal
Catraca x ⊢ y
deduz que
lógica significa y perm
proposici ite ser provado a A → B ⊢ ¬B → &#88
⊢ onal, partir de x (em ¬A
U+22A2
66; \vdash
lógica de um sistema
primeira formal
ordem especificado).
dupla x ⊨ y significa
catraca que x
semanticamente
A → B ⊨ ¬B → &#88
⊨ acarreta y
¬A
U+22A8
72; \vDash