Graduação
  1. Álgebra  1.1. Álgebra linear  1.1.1. Matrizes  1.1.2. Determinantes  1.1.3. Sistemas de equações lineares  1.1.4. Compreendendo espaços vetoriais na álgebra linear  1.1.5. Transformações lineares  1.1.6. Autovalores e autovetores  1.1.7. Diagonalização  1.1.8. Espaço de produto interno  1.1.9. Ortogonalidade e base ortonormal  1.1.10. Decomposição em valores singulares  1.2. Álgebra abstrata  1.2.1. Grupo  1.2.2. Subgrupos  1.2.3. Grupos cíclicos  1.2.4. Grupo de Permutações  1.2.5. Homeomorfismo  1.2.6. Subgrupos normais  1.2.7. Introdução aos anéis na álgebra abstrata  1.2.8. Campo  1.2.9. Ideais e anéis quocientes  1.2.10. Anéis de polinômios  1.2.11. Espaço vetorial sobre um campo  1.2.12. Módulo  1.2.13. Introdução à teoria de Galois
  2. Cálculos  2.1. Cálculo diferencial  2.1.1. Compreendendo limites no cálculo diferencial  2.1.2. Compreendendo o contínuo no cálculo diferencial  2.1.3. Derivadas  2.1.4. Compreendendo a regra da cadeia no cálculo diferencial  2.1.5. Diferenciação implícita  2.1.6. Aplicações das derivadas  2.1.7. Problemas de otimização  2.1.8. Entendendo o teorema do valor médio  2.2. Cálculo integral  2.2.1. Integral definida  2.2.2. Integral indefinida  2.2.3. Técnicas de integração  2.2.4. Integrais impróprias  2.2.5. Aplicações da integração  2.2.6. Comprimento de arco e área de superfície  2.3. Cálculo Multivariável  2.3.1. Derivada parcial  2.3.2. Gradiente em cálculo multivariável  2.3.3. Divergência e rotacional  2.3.4. Introdução à integração múltipla  2.3.5. Compreendendo integrais de linha  2.3.6. Integrais de superfície  2.3.7. Explicação do teorema de Green  2.3.8. Teorema de Stokes  2.3.9. Teorema da divergência  2.3.10. Jacobian
  3. Equações diferenciais  3.1. Equação diferencial ordinária  3.1.1. Equações diferenciais de primeira ordem  3.1.2. Equações diferenciais de ordem superior  3.1.3. Sistemas de equações diferenciais  3.1.4. Solução por séries  3.1.5. Métodos numéricos para EDOs  3.2. Equações diferenciais parciais  3.2.1. Compreendendo a equação do calor  3.2.2. Equação da onda  3.2.3. Equação de Laplace  3.2.4. Separação de variáveis  3.2.5. Métodos de transformação de Fourier em equações diferenciais parciais
  4. Análise Real  4.1. Sequências e séries  4.1.1. Convergência de sequências  4.1.2. Teste de Séries  4.1.3. Séries de potência  4.1.4. Convergência uniforme  4.2. Funções de variáveis reais  4.2.1. Limites e continuidade  4.2.2. Compreendendo a continuidade uniforme  4.2.3. Diferenciação de funções de variáveis reais  4.2.4. Integração de Riemann  4.2.5. Integração de Lebesgue
  5. Introdução à Análise Complexa  5.1. Números complexos  5.1.1. Forma polar  5.1.2. Forma exponencial em números complexos  5.2. Funções de uma variável complexa  5.2.1. Funções Analíticas  5.2.2. Equações de Cauchy-Riemann  5.2.3. Integrais de contorno  5.2.4. Teorema de integração de Cauchy  5.2.5. Teorema de Resíduos na Análise Complexa  5.2.6. Mapeamento Conformal
  6. Probabilidade e estatística  6.1. Teoria da Probabilidade  6.1.1. Conceitos Básicos de Probabilidade  6.1.2. Variáveis aleatórias  6.1.3. Compreendendo Distribuições de Probabilidade  6.1.4. Expectativa e variação  6.1.5. Probabilidade condicional e o teorema de Bayes  6.2. Figuras  6.2.1. Estatísticas descritivas  6.2.2. Estatística inferencial  6.2.3. Teste de hipótese  6.2.4. Análise de regressão  6.2.5. Compreendendo a ANOVA: Análise de Variância
  7. Métodos numéricos  7.1. Algoritmo de busca de raízes  7.2. Integração numérica  7.3. Diferenciação numérica  7.4. Soluções numéricas de equações diferenciais  7.5. Cálculos com matrizes  7.6. Interpolação e extrapolação
  8. Introdução à Matemática Discreta  8.1. Argumentos e provas  8.2. Companheirismo  8.3. Teoria dos grafos  8.4. Álgebra booleana  8.5. Relação de recorrência
  9. Programação Linear e Otimização  9.1. Entendendo o método simplex em programação linear e otimização  9.2. Dualidade em programação linear e otimização  9.3. Programação inteira  9.4. Otimização não linear
  10. Compreendendo topologia: uma jornada através de formas e espaços  10.1. Espaço métrico  10.2. Espaços topológicos  10.3. Continuidade e homeomorfismos  10.4. Densidade  10.5. Associatividade em topologia
  11. Introdução à Geometria  11.1. Geometria euclidiana  11.2. Geometria diferencial  11.3. Geometria não euclidiana  11.4. Geometria projetiva
  12. Física matemática  12.1. Séries de Fourier  12.2. Transformada de Laplace  12.3. Aplicações de equações diferenciais  12.4. Funções especiais
  13. Teoria dos conjuntos e lógica  13.1. Conjuntos e subconjuntos  13.2. Relações e funções  13.3. Compreendendo a cardinalidade na teoria dos conjuntos e na lógica  13.4. Compreendendo a lógica formal em teoria dos conjuntos e lógica  13.5. Teoria dos conjuntos de Zermelo–Fraenkel
  14. Introdução à análise funcional  14.1. Localização padrão  14.2. Espaços de Banach  14.3. Compreensão do espaço de Hilbert na análise funcional  14.4. Operadores lineares

Graduação → Introdução à Matemática Discreta ↓


Argumentos e provas


A matemática discreta desempenha um papel importante no currículo de matemática globalmente, especialmente na área de ciência da computação. Lida com elementos contáveis e distintos e inclui tópicos como lógica, prova, teoria dos conjuntos, teoria dos grafos e combinatória. Neste guia abrangente, focamos nos aspectos fundamentais da matemática discreta: lógica e prova.

Compreendendo o argumento

O termo 'lógica' refere-se a um método sistemático de chegar a uma conclusão. Na matemática, a lógica é uma ferramenta usada para inferir a verdade, e o raciocínio é a espinha dorsal da prova matemática. Envolve raciocinar a partir de premissas para chegar a uma conclusão.

Proposta

Na lógica, uma proposição é uma declaração que pode ser verdadeira ou falsa, mas não ambas. Aqui estão alguns exemplos:

  • O céu é azul. (Esta declaração é verdadeira em um dia claro)
  • 2 + 2 é igual a 5. (uma proposição falsa)
  • Todos os seres humanos são imortais. (Proposição falsa)

Os não exemplos incluirão o seguinte:

  • Que horas são agora? (Isso não é uma proposta, mas uma pergunta)
  • Por favor, feche a porta. (Isso não é uma oferta, mas um pedido)

Operações lógicas

As operações lógicas são usadas para formar proposições complexas e entender seus valores de verdade. As principais operações lógicas são apresentadas abaixo:

Negação

A negação de uma proposição altera seu valor de verdade. É representada pelo símbolo '¬'. Por exemplo, se P é "a maçã é vermelha", então ¬P é "a maçã não é vermelha". Se P é verdadeiro, então ¬P é falso e vice-versa.

Conjunção

A conjunção ('e') de proposições é verdadeira somente se ambas as proposições forem verdadeiras. É representada pelo signo '∧'. Por exemplo, P ∧ Q significa "o céu é azul e a grama é verde". É verdadeiro somente se P e Q forem verdadeiros.

    +---------------+------+------+
| P     | Q    | P ∧ Q |
+---------------+------+------+
| True  | True | True   |
| True  | False| False  |
| False | True | False  |
| False | False| False  |
+---------------+------+------+

Disjunção

A disjunção ('ou') de proposições é verdadeira se pelo menos uma das proposições for verdadeira. É representada pelo símbolo '∨'. Por exemplo, P ∨ Q significa "o céu é azul ou a grama é verde".

    +---------------+------+------+
| P     | Q    | P ∨ Q |
+---------------+------+------+
| True  | True | True   |
| True  | False| True   |
| False | True | True   |
| False | False| False  |
+---------------+------+------+

Implicação

A implicação afirma que uma proposição leva a outra proposição e é representada por '→'. Por exemplo, P → Q significa "se P, então Q". A implicação é falsa apenas se a primeira proposição for verdadeira e a segunda for falsa.

    +---------------+------+------+
| P     | Q    | P → Q |
+---------------+------+------+
| True  | True | True   |
| True  | False| False  |
| False | True | True   |
| False | False| True   |
+---------------+------+------+

Bicondicional

Uma declaração bicondicional declara "P se e somente se Q", que é representada por '↔'. É verdadeiro se o valor de verdade de ambas as proposições for o mesmo.

    +---------------+------+------+
| P     | Q    | P ↔ Q |
+---------------+------+------+
| True  | True | True   |
| True  | False| False  |
| False | True | False  |
| False | False| True   |
+---------------+------+------+

Exemplos visuais de declarações lógicas

Conceitos lógicos podem ser melhor compreendidos com auxílio visual.

Exemplo de conjunção:
p ∧ q

Exemplo de disjunção:
p ∨ q

Prova matemática

Uma prova é um argumento lógico que verifica a verdade de uma proposição. Os matemáticos usam provas para testar e estabelecer rigorosamente novos teoremas. O objetivo básico é mostrar como suposições iniciais levam logicamente a uma conclusão. Vamos explorar diferentes métodos de prova.

Prova direta

A prova direta é um método direto no qual você assume premissas dadas (suposições) como verdadeiras e, através de uma série de passos lógicos, mostra que a conclusão deve ser verdadeira.

Exemplo: Prove que se n é um número inteiro par, então n^2 é par.

Prova: Assuma que n é par. Por definição, n = 2k para algum inteiro k. Então, n^2 = (2k)^2 = 4k^2 = 2(2k^2), o que é par. Portanto, se n é par, n^2 é par.

Prova por contradição

Na prova por contradição, você assume o oposto do que deseja provar e mostra que isso leva a uma situação ilógica ou contraditória. Assim, a declaração original deve ser verdadeira.

Exemplo: Prove que a raiz quadrada de 2 é irracional.

Prova: Assuma que a raiz quadrada de 2 é racional. Isso implica que pode ser expressa como uma fração a/b, onde a e b são números inteiros sem fatores comuns, e b ≠ 0. Assim, (a/b)^2 = 2 torna-se a^2 = 2b^2. Isso implica que a^2 é par, então a deve ser par. Seja a = 2c, então (2c)^2 = 2b^2 simplifica para 4c^2 = 2b^2, ou 2c^2 = b^2. Portanto, b^2 é par, o que faz b ser par. No entanto, isso implica que a e b têm ambos um fator de 2, o que contradiz nossa suposição. Portanto, a raiz quadrada de 2 é irracional.

Prova por indução

A prova por indução é uma técnica usada para provar proposições sobre um conjunto infinitamente grande de objetos. Envolve um caso base e um passo indutivo.

Exemplo: Prove que para todo n ≥ 1, 1 + 2 + 3 + ... + n = n(n + 1)/2

Prova:

  1. Caso base: Seja n = 1. O lado esquerdo é 1 e o lado direito é 1(1 + 1)/2 = 1. Assim, é verdadeiro para n = 1.
  2. Passo indutivo: Assuma que é verdadeiro para n = k (hipótese de indução), ou seja, 1 + 2 + ... + k = k(k + 1)/2. Temos de mostrar que é verdadeiro para n = k + 1.
  3. Considere a soma até k + 1: 1 + 2 + ... + k + (k + 1) = k(k + 1)/2 + (k + 1).
  4. Simplifique: k(k + 1)/2 + 2(k + 1)/2 = (k + 1)(k + 2)/2.
  5. Portanto, a fórmula é verdadeira para k + 1. Por indução, é verdadeira para todo n ≥ 1.

Erros comuns em raciocínio e prova

É importante estar ciente de falácias lógicas e erros comuns na construção de argumentos. Alguns exemplos incluem:

  • Afirmar o consequente: Assumir que, como a conclusão é verdadeira, a premissa também deve ser verdadeira. Isso é uma falácia. Por exemplo, Se chover, o chão fica molhado. O chão está molhado, portanto choveu, o que pode ser falso se os sprinklers estiverem sendo usados.
  • Negar o antecedente: Assumir que, como a premissa é falsa, a conclusão também deve ser falsa, o que pode não ser verdade.
  • Raciocínio circular: Quando a conclusão de um argumento é assumida com base em uma das premissas. Basicamente, o argumento se move em uma direção circular sem nenhuma evidência inicial.

Conclusão

Compreender a lógica e a prova é a base da matemática e de todo raciocínio científico. Ajuda a aprimorar as habilidades de resolução de problemas e de pensamento estruturado. Quando você pratica a formulação e comprovação de argumentos, não apenas obtém uma visão matemática, mas também melhora suas habilidades cognitivas.


Graduação → 8.1


U
username
0%
concluído em Graduação

← Anterior (8)
Introdução à Matemática Discreta
Próximo (8.2) →
Companheirismo

Comentários 



Argumentos e provas

https://www.buddymath.com/ug/8.1?bmal=pt