EAD509 

­ INTRODUCAO A LOGICA MATEMATICA ­ LICENCIATURA EM MATEMATICA ­
TIMOTEO ­ 2016

Apresentação:

INTRODUÇÃO À LÓGICA MATEMÁTICA ­ EAD 509 
Unidade: CEAD / UFOP
Pólo: TIMOTEO 
Curso:  Licenciatura em Matemática
2016/2
Olá! Caros (as) alunos e alunas!

Sou a professora de vocês. Meu nome é Marcia Nunes e vamos trabalhar juntos nessa disciplina Introdução à Lógica
Matemática ­ EAD 509 durante todo esse semestre.
Espero que o desânimo e a falta de tempo não sejam seus companheiros durante esse semestre.
Há muito assunto que precisamos estudar. Estaremos aqui para auxiliá­los.
Fiquem atentos às datas estabelecidas e não deixem as leituras e as atividades para os minutos finais.
Abraços e um ótimo semestre para todos nós.
"Quando penso que cheguei ao meu limite, descubro que tenho forças para ir além." (Ayrton Senna).

ATIVIDADES DURANTE O SEMESTRE: 

1ª PARTE:

Conteúdo:
1)    Proposições (Simples, Compostas e Especiais).

2)    Tabela Verdade.

3)    Quantificadores Lógicos.

Atividades (Nota e Frequência):
1º Fórum de Leitura e Pesquisa (0,3 pontos): 03/10/2016
1º Fórum de Dúvidas (0,2 pontos): 31/10/2016

1ª Lista de Atividades Avaliativas (1,5 pontos): 24/10/2016 

1ª Avaliação Presencial: 12/11/2016

2ª PARTE:
 Conteúdo:
1) Métodos de Demonstração

2) Princípio de Indução Finita (PIF).

Atividades (Nota e Frequência):
2º Fórum de Leitura e Pesquisa (0,3 pontos): 28/11/2016

2º Fórum de Dúvidas (0,2 pontos): 23/01/2017
2ª Lista de Atividades Avaliativas (1,5 pontos): 15/01/2017 

EXAME ESPECIAL: Valor:10,0 pontos (18/02/2017)

Fórum de notícias

MATERIAL DE APOIO

ATIVIDADES AVALIATIVAS ­ EAD 509

TRABALHO FINAL ­ EAD 509

1º Fórum: "Leitura e Pesquisa"

1º Fórum de Dúvidas

2º Fórum: "Leitura e Pesquisa"

2º Fórum de Dúvidas

Tópico 1

1ª PARTE:

Reflita........

Você já parou para pensar o que significa a palavra lógica?

E lógica matemática?

Lógica e Filosofia é a mesma coisa?

Para que serve a Lógica?

Que relação a lógica estabelece com a Filosofia e com a Matemática?

A lógica tem alguma relação com a verdade?

Quando surgiu a lógica? Quem a inventou? O que é raciocínio, argumentos e proposições?

Nesta semana faremos um breve estudo sobre a Lógica Matemática, por meio de um passeio pela história. Veremos algumas aplicações,
conceitos preliminares e conheceremos um pouco sobre o que a lógica não é.

Faça a leitura do texto "Introdução à Lógica Matemática" com bastante atenção e participe do Fórum 1.

Não se esqueça que cada Fórum conta frequência e nota.
 Texto 1: Participação no 1º Fórum de Leitura e Pesquisa

Proposições Lógicas
PROPOSIÇÕES SIMPLES E COMPOSTAS
O que é uma proposição?
O que a faz ser Verdadeira ou Falsa???

Fique atento a esse assunto...

Proposições Lógicas: Material de Apoio

Video aula ­ PROPOSIÇÃO LÓGICA

Video­Aula: Conectivos Proposicionais

Tabelas­Verdade

Tabelas­Verdade:
Objetivos:

a) Compreender Tabelas­Verdade.

b) Construir diferentes tabelas­verdade.

c) Analisar as proposições especiais: Tautologia // Contradição // Contingência.

Tabela­Verdade: Material de Apoio

Quantificadores

Predicados & Quantificadores Lógicos
Para alguns estudiosos, a invenção da Lógica deve­se a Aristóteles [384 ­ 322 a. C.] que também introduziu o estudo
sobre a quantificação como parte essencial da mesma.

Observaremos que dessa vez, a Lógica Proposicional sofrerá algumas limitações.

Por exemplo, quando certos tipos de questões incluírem em seus enunciados alguns quantificadores como todo ,
nenhum, existe um , existe algum , para algum etc. e nesses casos não poderemos aplicar a Lógica das Proposições.

Fique atento a essa seção.
Bons estudos e sucesso!!!
 MAterial de Apoio

1ª Avaliação Presencial

Não perca o foco!!!!!!!!!

É hora de dedicação Total!!!
Aproveite e certifique­se que está bem preparado para a nossa 1ª Avaliação Presencial...

Links de Aulas para auxiliar nos estudos

1ª Lista de Atividades Avaliativas

Gabarito ­ 1ª Lista Avaliativa

2ª Parte

Métodos de Demonstração;
Princípio de Indução Finita.

MÉTODOS DE DEMONSTRAÇÃO

Nessas duas semanas veremos algumas técnicas de demonstração em Matemática.

Mas o que é demonstração?
No artigo “O QUE É DEMONSTRAÇÃO? ASPECTOS FILOSÓFICOS” dos autores Thiago Nagafuchi e Irinéa de Lourdes
Batista encontramos algumas explicações por meio de uma busca no dicionário de língua portuguesa Houaiss online
com os seguintes significados e rubricas:

Demonstração: ato ou efeito de demonstrar. 1 qualquer recurso capaz de atestar a veracidade ou a autenticidade
de alguma coisa; prova. 1.1 raciocínio que torna evidente o caráter verídico de uma proposição, idéia ou teoria Ex.:
d.matemática.
 Prova: 1 aquilo que demonstra que uma afirmação ou um fato são verdadeiros; evidência, comprovação. 2 ato que
dá uma demonstração cabal de (afeto, fidelidade, felicidade etc.); manifestação, sinal. 3 trabalho escolar, ger.
Composto de uma série de perguntas, que tem por finalidade avaliar os conhecimentos do aluno; teste, exame.
(HOUAISS Online).
Um olhar mais cuidadoso para as palavras nos leva a um dicionário de termos filosóficos, no qual encontramos o
seguinte:

Demonstração: Uma demonstração é uma dedução destinada a provar a verdade da sua conclusão apoiando­se
sobre premissas reconhecidas ou admitidas como verdadeiras. (LALANDE, 1999, p. 239).
Prova: Operação que leva a inteligência de uma maneira indubitável e universalmente convincente (pelo menos de
direito) a conhecer a verdade de uma proposição antes considerada como duvidosa. A prova é, em geral, um
raciocínio, mas nem sempre: pode consistir numa apresentação de fato que afasta a dúvida. Daí que esta palavra,
num sentido, por assim dizer, material, se aplique também ao fato, ao documento, que prova alguma coisa. Por outro
lado, a prova distingue­se, pelo seu caráter de verdade, das formas do raciocínio hipotéticodedutivo, onde
simplesmente se mostra que existe uma ligação necessária entre certas premissas e certas conseqüências, sem
nada pronunciar assertoticamente sobre estas. A idéia de ‘prova’ pertence à mesma ordem de noções lógicas como
as de dúvida, refutação e certeza (LALANDE, 1999, p. 879).
Ou seja, neste dicionário, o termo prova é tomado como mais amplo que demonstração, e da mesma forma que o
dicionário de Língua Portuguesa, inclui o significado de demonstração.

Demonstração: série de relações pelas quais passamos de axiomas, ou de teoremas já estabelecidos, para um
teorema dado. (CHAMBADAL, 1969, p. 67).
Entretanto, muitas vezes, principalmente em Matemática e nas aulas a que somos submetidos às provas, as palavras são
tomadas como sinônimos. Como nos diz Pietropaolo (2005), no âmbito da Matemática as palavras são sinônimas e não
precisam de adjetivações, como no caso de prova rigorosa.
Bons estudos e ótima compreensão do assunto!!

Material de Apoio: Métodos de Demonstração

Video­Aula: Métodos de Demonstração

TEOREMAS & DEMONSTRAÇÕES

                                                   NOTAÇÕES

 
 IMPORTANTE: Métodos de Demonstração

Hipótese, Tese, Recíproca e Contraexemplo

PIF
PRINCÍPIO DE INDUÇÃO FINITA (PIF):

O método da indução finita é um procedimento matemático para provar propriedades que são verdadeiras para uma
sequência de objetos. É um método bastante utilizado em teoria dos números,geometria, análise combinatória, etc.. Mas
trata­se de um tipo de demonstração que pode aparecer em qualquer domínio da Matemática.

O P.I.F., intuitivamente, nos garante que se tivermos um conjunto finito de, por exemplo, peças de dominó dispostas
verticalmente, de tal modo que quando uma cai, a seguinte cai ­ e sendo dado que a primeira cai ­ concluímos que todas
caem. Evidentemente, não importa quantas peças tenhamos em nosso conjunto...
Provar a veracidade de uma dada afirmação, utilizando o Princípio da Indução Finita, significa, em comparação à
situação das peças do dominó, mostrar que todas as peças caem. Para tanto, pelo Teorema, basta mostrar que a primeira
cai e que, quando uma qualquer cai, a seguinte cai.
 MATERIAL DE APOIO

2ª Lista de Atividades Avaliativas

Video­Aula: Principio de Indução Finita ­ PIF

Gabarito da 2ª Lista

Orientações: TRABALHO FINAL
Datas Importantes:
* Envio da 2ª Lista: 15/01/2017
* Envio da Parte Escrita: 22/01/2017

* Envio da Apresentação: 28/01/2017
 

Organização dos GRUPOS

Envio: Parte Escrita
 Envio: Apresentação

Orientações

TRABALHO FINAL

Final

EXAME ESPECIAL

Conteúdo:
1. Tabela­verdade.
2. Proposições especiais: tautogia, contradição, contigência.
3. Métodos de demonstração
4. Princípio de indução finita ­ pif