ALGUNS TERMOS...

DEFINIÇÃO

Uma Definição é um enunciado que descreve o significado

de um termo.

Por exemplo, a definição de linha, segundo Euclides:

“Linha é o que tem comprimento e não tem largura.”

PROPOSIÇÃO

É uma sentença declarativa, na qual são válidos os

princípios da identidade, da não contradição e do terceiro
excluído.

▪ Princípio da identidade: uma proposição é igual a si

mesma.

▪ Princípio da não contradição: uma proposição não pode ser

verdadeira e falsa ao mesmo tempo.

▪ Princípio do terceiro excluído: uma proposição ou é

verdadeira ou é falsa, não existe uma terceira alternativa.

ARGUMENTO

Um argumento é uma sequência finita de + 1 proposições1,

2,…, , onde se diz consequência das demais.

Escrevemos 1, 2,…,.As proposições 1, 2,…, são chamadas de

premissas ou HIPÓTESES e é denominada conclusão ou TESE.

O conceito de argumento pode não fazer o menor sentido,

mas o que nos importa é a sua validade, ou seja, a estrutura na
qual as proposições estão envolvidas.

Definição: Um argumento é valido se qualquer

circunstância que torna suas premissas verdadeiras faz com que
sua conclusão seja automaticamente verdadeira.

AXIOMA
 Axioma é um ponto de partida de raciocínio, uma proposição
assumida como verdadeira e que não precisa de prova.

POSTULADO

É algo que se considera como fato reconhecido e ponto de

partida, implícito ou explícito, de uma argumentação; premissa,
ou seja, uma afirmação admitida sem necessidade de
demonstração.

Axioma e postulado são tidos como sinônimos

PROVA

Uma prova é um argumento válido que estabelece a verdade

de sentenças matemáticas, ou seja, que uma afirmação é
verdadeira.

TEOREMA

Um teorema é uma proposição que é garantida por uma

prova, ou seja, que se demonstra ser verdadeira baseada em
proposições anteriores.

Por exemplo, o Teorema de Pitágoras:

“A soma dos quadrados dos catetos é igual ao quadrado da

hipotenusa.”

LEMA

Lemas são afirmações provadas que ajudam a provar

afirmações mais importantes (teoremas).

Um lema é normalmente um teorema auxiliar utilizado

para provar outros teoremas.

COROLÁRIO

Um corolário é 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 afirmações são verdadeiras chamamos
estas últimas de corolários do teorema.

CONJECTURA

Uma conjectura é uma proposição que ainda não foi provada

e nem refutada.

Uma conjectura é uma sentença sendo proposta como

verdade, mas que precisa ser provada para virar teorema.

DEMONSTRAÇÃO

Uma Demonstração é a prova de que um teorema é

verdadeiro, o qual foi obtido por regras válidas.

Def.: Seja 1, 2,…, um argumento válido e 1, 2,…, , 1, 2,…, ,

proposições que forneceram a validade do argumento, em que
1, 2,…, são argumentos validados anteriormente na teoria em
questão.

Essa sequência é denominada demonstração e a conclusão é

denominada teorema

Em geral, existem várias maneiras de se demonstrar um

teorema.

A demonstração direta é a forma mais simples de

demonstração, e a mais óbvia: para demonstrar que p ⇒ q
assuma que p é verdadeiro, e através de uma série de etapas,
cada uma seguinte das anteriores, conclui-se q.

Temos também a demonstração condicional e a indireta

(Redução ao Absurdo).

PROVA POR DEDUÇÃO

Consiste de uma sequência de afirmações cuja verdade nos

leva de alguma afirmação inicial, chamada hipótese ou
declaração dada, a uma afirmação conclusão. Teorema da forma
“se H então C”. Dizemos que C é deduzido a partir de H.
 Método dedutivo é um processo de análise da
informação que utiliza o raciocínio lógico e a dedução
para obter uma conclusão a respeito de um determinado
assunto.

Neste processo, os raciocínios dedutivos apresentam

conclusões que devem, necessariamente ser verdadeiras, se todas
as premissas sejam também verdadeiras e ele respeitar uma
estrutura lógica de pensamento.

Este método normalmente é usado para testar as hipóteses

já existentes, chamadas de axiomas, para assim, provar teorias,
denominadas de teoremas. Por isso, ele é também denominado
de método hipotético-dedutivo.

Ele então está diretamente relacionado com o princípio

da dedução, que significa o ato de concluir ou enumerar
minuciosamente fatos e argumentos para chegar a uma
conclusão.

PROVAS POR INDUÇÃO

Método avançado para mostrar que todos os elementos de

um conjunto infinito têm uma propriedade específica.

Toda prova por indução consiste de 2 partes: a base e o

passo de indução.

O que é Indução:

Indução é o ato de induzir, ou seja, chegar a um

resultado a partir de elementos previamente presentes ou
indiciosos para tal conclusão.
 Mas, a palavra indução pode se interpretada a partir de
diferentes pontos de vista, de acordo com a área do conhecimento
humano.

A origem etimológica desta palavra está no latim inductio,

que pode ser traduzido literalmente como “ação de levar e trazer”
ou “ação de introduzir”.

A indução é um tipo de raciocínio que consiste em afirmar

uma verdade generalizada a partir da observação de alguns
elementos.

Exemplo: “Mário é brasileiro e gosta de futebol, assim como

João, Pedro, Henrique, Maria, Joana e outros. Portanto, todo
brasileiro gosta de futebol”.

Método indutivo é um processo mental que, para chegar

ao conhecimento ou demonstração da verdade, parte de fatos
particulares, comprovados, e tira uma conclusão genérica.

Outro aspecto importante é que, em muitas vezes, o método

indutivo leva a uma generalização indevida dos casos específicos,
que nem sempre podem ser consideradas verdades. Isto não
ocorre no método dedutivo, pois ele utiliza o processo das
premissas para chegar a conclusão.

Generalizar de demostrar nada se chama indução vulgar.

Referências Bibliográficas

ALENCAR FILHO, Edgard. Iniciação à Lógica

Matemática. São Paulo, Nobel, 2002.

BISPO, Carlos Alberto F.; CASTANHEIRA, Luiz B.;

FILHO, Oswaldo Melo S. Introdução à Lógica Matemática.
São Paulo: Cengage Learning, 2011.
 CASTRUCCI, Benedito. Introdução à Lógica
Matemática. 6 ed. São Paulo: Nobel, 1984.

DIAS, Carlos Magno Corrêa. Lógica matemática:

introdução ao cálculo proposicional. 3 ed. Curitiba: C. M. C. Dias,
2011.

GERÔNIMO, João Roberto; FRANCO, Valdeni

Soliani. Fundamentos da Matemática: uma introdução à
lógica matemática, teoria dos conjuntos, relações e funções. 2 ed.
Maringá: Eduem, 2008.

MORTARI, Cezar A. Introdução à Lógica. São Paulo:

Editora UNESP: Imprensa Oficial do Estado, 2001.