n. 18 ALGUNS TERMOS...

DEFINIO
Uma Definio um enunciado que descreve o significado
de um termo.
Por exemplo, a definio de linha, segundo Euclides:
Linha o que tem comprimento e no tem largura.

PROPOSIO
uma sentena declarativa, na qual so vlidos os
princpios da identidade, da no contradio e do terceiro
excludo.
Princpio da identidade: uma proposio igual a si
mesma.
Princpio da no contradio: uma proposio no pode
ser verdadeira e falsa ao mesmo tempo.
Princpio do terceiro excludo: uma proposio ou
verdadeira ou falsa, no existe uma terceira
alternativa.

ARGUMENTO
Um argumento uma sequncia finita de + 1 proposies
1 , 2 , , , onde se diz consequncia das demais.
Escrevemos 1 , 2 , , .
As proposies 1 , 2 , , so chamadas de premissas
ou HIPTESES e denominada concluso ou TESE.
 O conceito de argumento pode no fazer o menor sentido,
mas o que nos importa a sua validade, ou seja, a estrutura na
qual as proposies esto envolvidas.

AXIOMA
Axioma um ponto de partida de raciocnio, uma
proposio assumida como verdadeira e que no precisa de
prova.

POSTULADO
algo que se considera como fato reconhecido e ponto de
partida, implcito ou explcito, de uma argumentao; premissa,
ou seja, uma afirmao admitida sem necessidade de
demonstrao.

Axioma e postulado so tidos como sinnimos.

PROVA
Uma prova um argumento vlido que estabelece a
verdade de sentenas matemticas, ou seja, que uma afirmao
verdadeira.

TEOREMA
Um teorema uma proposio que garantida por uma
prova, ou seja, que se demonstra ser verdadeira baseada em
proposies anteriores.
Por exemplo, o Teorema de Pitgoras:
 A soma dos quadrados dos catetos igual ao quadrado da
hipotenusa.

LEMA
Lemas so afirmaes provadas que ajudam a provar
afirmaes mais importantes (teoremas).
Um lema normalmente um teorema auxiliar utilizado
para provar outros teoremas.

COROLRIO
Um corolrio um teorema que pode ser estabelecido
diretamente do teorema que foi provado.
Quando um teorema ou uma prova nos ajudam a concluir
facilmente que outras afirmaes so verdadeiras chamamos
estas ltimas de corolrios do teorema.

CONJECTURA
Uma conjectura uma proposio que ainda no foi
provada e nem refutada.
Uma conjectura uma sentena sendo proposta como
verdade, mas que precisa ser provada para virar teorema.

DEMONSTRAO
Uma Demonstrao a prova de que um teorema
verdadeiro, o qual foi obtido por regras vlidas.
Def.: Seja 1 , 2 , , um argumento vlido e
1 , 2 , , , 1 , 2 , , ,
proposies que forneceram a validade do argumento, em que
1 , 2 , , so argumentos validados anteriormente na teoria
em questo.
Essa sequncia denominada demonstrao e a concluso
denominada teorema.

Em geral, existem vrias maneiras de se demonstrar um

teorema.
A demonstrao direta a forma mais simples de
demonstrao, e a mais bvia: para demonstrar que p q
assuma que p verdadeiro, e atravs de uma srie de etapas,
cada uma seguinte das anteriores, conclui-se q.
Temos tambm a demonstrao condicional e a indireta
(Reduo ao Absurdo).

PROVA POR DEDUO

Consiste de uma sequncia de afirmaes cuja verdade nos
leva de alguma afirmao inicial, chamada hiptese ou
declarao dada, a uma afirmao concluso. Teorema da forma
se H ento C. Dizemos que C deduzido a partir de H.

PROVAS POR INDUO

Mtodo avanado para mostrar que todos os elementos de
um conjunto infinito tm uma propriedade especfica.
Toda prova por induo consiste de 2 partes: a base e o
passo de induo.
Referncias Bibliogrficas

ALENCAR FILHO, Edgard. Iniciao Lgica Matemtica. So Paulo, Nobel, 2002.

BISPO, Carlos Alberto F.; CASTANHEIRA, Luiz B.; FILHO, Oswaldo Melo S. Introduo
Lgica Matemtica. So Paulo: Cengage Learning, 2011.

CASTRUCCI, Benedito. Introduo Lgica Matemtica. 6 ed. So Paulo: Nobel, 1984.

DIAS, Carlos Magno Corra. Lgica matemtica: introduo ao clculo proposicional. 3 ed.
Curitiba: C. M. C. Dias, 2011.

GERNIMO, Joo Roberto; FRANCO, Valdeni Soliani. Fundamentos da Matemtica: uma

introduo lgica matemtica, teoria dos conjuntos, relaes e funes. 2 ed. Maring:
Eduem, 2008.

MORTARI, Cezar A. Introduo Lgica. So Paulo: Editora UNESP: Imprensa Oficial do

Estado, 2001.