Símbolos lógicos matemáticos

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 Significa que existe um x pertencente ao conjunto dos números inteiros tal que x é maior que 5.
∀	para todo	Para todo   x < 0, x é negativo. Significa que para qualquer x menor que 0, x é negativo.