Símbolos lógicos matemáticos:
^
|
e
|
A ∧ B é verdadeira se ambos forem verdadeiros.
Exemplo: 2 = 4 ∧ 1 = 1 é falso
|
v
|
ou
|
A ∨ B só é falsa se ambos forem falsos.
Exemplo: 2 = 4 ∨ 1 = 1 é verdadeiro
|
→
|
implica
|
x = 3 ⇒ x² = 9 é verdadeiro, mas x² = 9 ⇒ x = 3 é em geral falso (visto que x pode ser −3)
|
↔
|
equivalência
| se e só se; se e somente se lógica proposicional A ⇔ B significa: A é verdadeiro se B for verdadeiro e A é falso se B é falso x + 6= y + 3 ⇔ x + 4 = y |
/
|
Tal que
|
z = {x z | x² } significa que z é o conjuntos dos números pertencentes aos racionais tal que esses números sejam maiores ou iguais a zero.
|
~
|
negação
|
Iremos passear
~p: Os não iremos passear.
|
∃
|
existe
|  x  N | x > 5 |
∀
|
para todo
|
Para todo
 x < 0, x é negativo. Significa que para qualquer x menor que 0, x é negativo. |
