Nome: Clayton Monteiro

Matricula: 20131110650

FUNDAMENTOS MATEMATICOS
Na matemtica existem diversos termos que podem ser pouco intuitivos para
leigos, para compreendermos melhor alguns enunciados ou sentenas, mostro abaixo
algumas palavras bem comuns e frequentemente usadas na matemtica.
Axiomas ou postulados: So armaes consideradas verdadeiras e usadas
como hiptese. Ex:
-Axioma 1: Duas coisas iguais a uma terceira, so iguais entre si.
-Axioma 2: Se parcelas iguais forem adicionadas a quantias iguais, os
resultados continuaro sendo iguais.
Lema: So teoremas menos importantes e usados na prova de outros teoremas
Teoremas: Um teorema uma armao que pode ser provada como
verdadeira atravs de outras armaes j demonstradas, como outros
teoremas, juntamente com armaes anteriormente aceitas, como axiomas.
Proposio: a armao de que algo que verdadeiro ou falso, exemplo:
- A proposio A casa azul ser verdadeira se e somente se a casa for
azul.
- A proposio A casa azul ser falsa se e somente se a casa no for
azul.
Corolrio: uma armao deduzida de uma verdade j demonstrada ou um
teorema que pode ser estabelecido diretamente (como consequncia imediata)
de outro teorema.
Conjectura: uma hiptese que a principio se tem como verdadeira, porm,
ainda no foi provada. Como uma intuio um palpite.
Prova: muito comum serem realizado provas de um determinado resultado a
m de se inferir a sua veracidade. Existem vrios tipos de prova, sem entrar a
fundo, podemos citar, por exemplo:
- Prova direta: Supe-se que P(x) verdadeiro e usando-se axiomas e
regras de inferncias, chega-se concluso de que Q(x) tambm deve ser
verdadeiro.
- Prova por contraposio: E um mtodo de prova indireto que usa o fato
de que p q logicamente equivalente a q p (contrapositiva).
- Prova por vacuosidade: Uma vez que p q verdadeiro sempre que p
falso, uma forma de provar um teorema da forma p q demonstrar que p
falso.
- Prova trivial: Com a mesma simplicidade que a prova por vacuosidade,
podemos provar que p q verdadeiro bastando provar que q sempre
verdadeiro.

Nome: Clayton Monteiro

Matricula: 20131110650

- Prova por contradio: E um mtodo de prova indireta (para uma

proposio p) que consiste em encontrar uma contradio q tal que p q
verdadeiro. Uma vez que q falso, mas p q verdadeiro, temos que p s
pode ser falso e,portanto, p verdadeiro!
- Prova por contra exemplo: Nada mais do que provar que algum
elemento do mesmo domnio falso, logo a sentena analisada tambm ser
falsa.

Induo matemtica
E um mtodo de prova usado para provar proposies da forma nP(n), onde o
universo do discurso o conjunto dos inteiros positivos.
Consiste em dois passos:
- base: Prova-se que a proposio P(1) verdadeira.
- passo indutivo: A implicao P(n) P(n + 1) mostrada ser verdadeira para
todo inteiro positivo n.

Exemplo:

P(n): 1+2+...+n= n(n+1)/2

P(1)= 1(1+1)/2=1

n E aos nmeros naturais.

provada para 1.

P(k): 1+2+...+k= k(k+1)/2

hiptese de induo

P(k+1) 1+2+...+k+(k+1)= (k+1)(k+1)+1/2

1+2+...+k+(k+1)= (k+1)(k+2)/2
substituir.

Primeira igualdade igual a HI,

K(k+1)/2 + (k+1) = (k+1)(k+2)/2

fazer MMC na primeira igualdade

K(k+1)+ 2(k+1)/2 = (k+1)(k+2)/2

Aplicando a propriedade distributiva

(k+1)(k+2)/2 = (k+1)(k+2)/2