digovcd

O
H
N

Introdu¸ao aos Fundamentos da Matem´tica c˜ a

U
C
S

Pedro Pablo Durand Lazo

A
R

Conte´ do u 1 L´gica o 1.1 Proposi¸˜es . . . . . . . . . . . . . . . . . . co 1.1.1 Nega¸˜o . . . . . . . . . . . . . . . . ca 1.1.2 Conjun¸˜o e disjun¸˜o . . . . . . . . ca ca
1.1.3 Condicional . . . . . . . . . . . . . .
1.1.4 Bicondicional . . . . . . . . . . . . .
1.1.5 Uso de s´ ımbolos de cole¸˜o . . . . . ca 1.1.6 Exemplos e exerc´ ıcios . . . . . . . .
1.1.7 Tautologias. Contradi¸˜es . . . . . . co 1.1.8 Proposi¸˜es equivalentes . . . . . . . co 1.1.9 Exerc´ ıcios . . . . . . . . . . . . . . .
1.2 Implica¸˜o L´gica . . . . . . . . . . . . . . ca o
1.2.1 Argumentos . . . . . . . . . . . . . .
1.2.2 Argumentos v´lidos fundamentais . a 1.2.3 Demonstra¸˜o e Regras de inferˆncia ca e
1.2.4 Demonstra¸˜o por Absurdo . . . . . ca 1.2.5 Exemplos e exerc´ ıcios . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

3
3
3
4
5
5
7
7
8
9
11
11
11
12
13
20
20

2 Conjuntos
2.1 No¸˜o de conjunto . . . . . . . . . . . . . . . . . . . . . . . ca 2.1.1 O conjunto vazio . . . . . . . . . . . . . . . . . . . .
2.1.2 Igualdade de conjuntos . . . . . . . . . . . . . . . . .
2.1.3 Inclus˜o de conjuntos. Conjunto Complementar . . . a 2.1.4 Interse¸˜o de conjuntos . . . . . . . . . . . . . . . . ca 2.1.5 Uni˜o de conjuntos . . . . . . . . . . . . . . . . . . . a 2.1.6 Conjunto Diferen¸a e Conjunto Diferen¸a Sim´trica c c e 2.2 Conjunto Potˆncia ou Conjunto de partes de um conjunto . e 2.2.1 Fam´ de Partes de um Conjunto . . . . . . . . . . ılia 2.3 Conjunto Produto . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.

25
25
26
26
27
29
29
33
35
37
39

A
R

U
C
S

1

O
H
N
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.