Professional Documents
Culture Documents
Exemplo: 43 + 65 = 108; 2 + 7 = 9
Exemplo: 87 - 36 = 51
lógica
implicação material implica; se ... então
proposicional
lógica
equivalência material se e só se; sse
proposicional
A ⇔ B significa: A é verdadeiro se B for verdadeiro e A é falso se B é falso
⇔
↔ x+5=y+2 ⇔ x+3=y
lógica
conjunção lógica e
proposicional
lógica
disjunção lógica ou
proposicional
lógica
negação lógica não
proposicional
∀ quantificação
universal
para todos; para qualquer; para
cada
lógica
predicativa
∀ x: P(x) significa: P(x) é verdadeiro para todos os x
Exemplo: ∀ n ∈ N: n² ≥ n
quantificação lógica
existe
existencial predicativa
Exemplo: ∃ n ∈ N: n + 5 = 2n
Exemplo: 1 + 2 = 6 − 3
teoria de
{,} chavetas de conjunto o conjunto de ...
conjuntos
notação de
teoria de
construção de o conjunto de ... tal que ...
conjuntos
conjuntos
{:}
{x : P(x)} significa: o conjunto de todos os x, para os quais P(x) é verdadeiro.
{|} {x | P(x)} é o mesmo que {x : P(x)}.
teoria de
conjunto vazio conjunto vazio
conjuntos
∅
{} significa: o conjunto sem elementos; ∅ é a mesma coisa
{}
Exemplo: {n ∈ N : 1 < n² < 4} = {}
∈
∉ a ∈ S significa: a é um elemento do conjunto S; a ∉ S significa: a não é um
elemento de S
teoria de
subconjunto é um subconjunto [próprio] de
conjuntos
Exemplo: A ⊆ B significa: cada elemento de A é também elemento de B (A é
um subconjunto de B)
⊆ A ⊂ B significa: A ⊆ B mas A ≠ B (A é um subconjunto próprio de B)
⊂
Exemplo: A ∩ B ⊆ A; Q ⊂ R
Exemplo: A ⊆ B ⇔ A ∪ B = B
Exemplo: {x ∈ R : x² = 1} ∩ N = {1}
[]
{} Exemplo: Se f(x) := x², então f(3) = 3² = 9; (8/4)/2 = 2/2 = 1, mas 8/(4/2) =
8/2 = 4
N N significa: {1,2,3,...}
Exemplo: {|a| : a ∈ Z} = N
Z Z significa: {...,−3,−2,−1,0,1,2,3,...}
Exemplo: {a : |a| ∈ N} = Z
3.14 ∈ Q; π ∉ Q
números reais R números
π ∈ R; √(−1) ∉ R
C C significa: {a + bi : a,b ∈ R}
i = √(−1) ∈ C
ordenações
comparação é menor que, é maior que
parciais
<
x < y significa: x é menor que y; x > y significa: x é maior que y
>
Exemplo: x < y ⇔ y > x
Exemplo: x ≥ 1 ⇒ x² ≥ x
geometria
pi pi
euclidiana
análise
factorial factorial
combinatória
! n! é o produto 1×2×...×n
Exemplo: 4! = 24
Exemplo: ∑k=14 k² = 1² + 2² + 3² + 4² = 1 + 4 + 9 + 16 = 30
∫ ∫ab f(x) dx significa: a área entre o eixo dos x e o gráfico da função f entre x =
aex=b