Sebenta - Matemática Discreta e Álgebra Linear

Índice

índice

Parte I- Matemática Discreta ....................................................................................................... 9
1

Lógica .................................................................................................................................... 9
1.1 Introdução à Lógica- Elementos de Teoria da Dedução ................................................ 9
1.2 Conjectura e demonstração ............................................................................................... 10
1.3 Lógica Proposicional .............................................................................................................. 13
1.3.1

Tautologias e contradições .......................................................................................... 16

1.4 Teoremas e demonstrações ................................................................................................. 19
1.5 Lógica com quantificadores ................................................................................................ 23
1.5.1 Variáveis e conjuntos ......................................................................................................... 23
1.5.2

Os quantificadores universal e existencial ................................................................. 24

Exercícios – Lógica ...................................................................................................................... 28
2

Teoria de Conjuntos ........................................................................................................... 37
2.1 Operações com conjuntos .................................................................................................. 40

Exercícios – Teoria de Conjuntos .............................................................................................. 43
Parte II –Álgebra Linear