Lógica proposicional e quantificadores; tabelas-verdade e demonstração

Anotacoes

ANÁLISE REAL Alguns livros - Introdução à análise matemática - Geraldo Avila. - Análise Real - Elon - Curso de Análise - Elon - Princípios de Mathematical Analysis - Rudim - Analysis: An Introduction to Proof - Steven R Say Provas: (Risão 2, 3, 23). Datas: P1: 04/04 (2ª) P2: 13/05 (6ª) P3: 20/06 (2ª) Supl: 27/06 (2ª) Parte 6 no livro Introdução Início do cálculo - Newton e Submay - séc. XVII. (mais intuitivo). 2 - início do séc. XIX: - exemplos e problemas - Fórum: séries Tópicos: - Mineras reais, supremo e ínfimo: - requências: - continuidade, derivada, integração: - séries numéricas: - requências e séries de funções: Um ponto sobre "esgica" e demonstração: Esgica: define a linguagem, sentenças, fórmulas, regras de inferência, demonstração. Matemática: Olhamos afirmações e queremos saber se são verdolenas ou falsas. Sega P uma afirmação. P pode ser V ou F (valor verdade) de P. Podemos obter novas afirmações a partir de outras usando os conectivos: 7 (v) não ⇒ implica ∧ e ⇔ se somente se ∨ ou 11 Precisamos saber como o valor verdade das afirmações completas fica determinado a partir do valor verdade das afirmações mas simples. Por exemplo: $$ \text{Informação} \Rightarrow T P_e' \t...