Onde se aprende lógica matemática????

JavaEvangelist Membro desde: 12/07/2005 16:13:03 Mensagens: 418 Offline

O assunto é meio urgente. Não sei mais o que fazer. Já repeti a cadeira de Matemática Discreta e estou tentando de novo.

O meu professor não consegue utilizar uma linguagem clara, mesmo que eu pergunte. Os meus colegas tbm não entendem.

Tenho um livro que não serve de nada(Iniciação à lógica matemática). Quando chega em determinado ponto, já não entendo e cada vez fica mais complicado.
Arranjei outro e é muito resumido.

Perguntei em fóruns de matemática, inclusive do orkut e das poucas pessoas que respondem, só tiram uma mísera dúvida. Acho que pensam que é muita bobagem e por isso ignoram o resto das minhas perguntas.

Afinal, apenas estudantes de computação estudam lógica matemática?
Talvez onde vcs estudem tenha outro nome(aqui é matemática discreta), mas eu me refiro a tabelas verdade, regras de De Morgan, modus ponens, modus tollens, silogismo disjuntivo etc.

Já recomeçaram os exercícios na faculdade que pedem pra mostrar a validade de argumentos. Ainda exige que explique qual a regra utilizada.
Continuo sem saber.

Vcs entendem do assunto ou conhecem alguém que entenda?

Se seu professor não consegue ensinar de uma forma que você consiga absorver, talvez seja a hora de tentar um professor particular pra te dar um apoio. Obviamente, um que tenha a didática necessária para que você possa aprender...

JavaGuru Membro desde: 06/02/2007 10:54:37 Mensagens: 234 Offline

Cara... eu faço Matemática (Licenciatura)...
Tem um professor meu q escreveu um livro sobre logica...
http://www.planetanews.com/produto/L/93451/preludio-a-logica--um-hercules-de-araujo-feitosa--amp--leonardo-paulovich.html

Talvez eu possa te ajudar... mas preciso saber quais são suas duvidas...
qualquer coisa manda um mp
Flw

veja se o monitor do curso não consegue te ajudar...

flw!

GUJ Master Membro desde: 26/10/2003 12:18:59 Mensagens: 1294 Offline

Infelizmente tem muito professor que não tem nenhuma didática. Há muita gente inteligente que só sabe pra si mesmo, não sabe passar o conhecimento a outros. Eu tentaria assistir aulas com outro professor, se possível, ou então tentar explicar a situação para alguma pessoa de nível acima dele(um coordenador do curso, por exemplo)

Virtual Machine Man Membro desde: 13/11/2006 16:44:54 Mensagens: 523 Offline

kra você pode ver alguns livros de eletro-eletronica tambem

Olha, livro de lógica com as coisas que vc quer é meio difícil de achar...Pelo menos eu nunca achei!
Eu tive um professor que escreveu uma apostila legal sobre isso....mas só tem na facul que eu estudo....

Outro prof tb me indicou um livro, mas é em inglês...Se vc quiser, posso passar o nome do livro pra vc depois...

Mas o melhor pra estudar isso, é muito exercício mesmo...Fala onde vc estuda, quem sabe alguém por perto não te dá uma força?!

Se vc quiser tb, pode me mandar e-mail c/ as suas dúvidas...eu não manjo tudo, mas acho que posso ajudar com o q eu sei!

GUJ Ranger Membro desde: 20/01/2003 15:45:15 Mensagens: 782 Offline

Roger75 wrote:... ou então tentar explicar a situação para alguma pessoa de nível acima dele(um coordenador do curso, por exemplo)

Nossa.... faz isso não.

Já tentou conversar com o professor? Reclamar que ninguem entende e que a didatica nao tá ajudando? Pediu para passar exercicio em sala e resolver com acompanhamento?

Primeiro conversa com o professor, se ele for um troll e te ignorar completamente, ai vc vai na coordenação...

Entusiasta Java Membro desde: 22/09/2006 17:42:50 Mensagens: 19 Offline

Tente procurar "álgebra booleana" em vez de "lógica matemática".

Por exemplo, olhe as referências lá embaixo desse artigo da Wikipedia sobre álgebra booleana. Quem sabe isso te ajude.
http://en.wikipedia.org/wiki/Boolean_algebra_%28logic%29

This message was edited 1 time. Last update was at 29/08/2007 12:37:52

Aqui vai uma amostra do que não entendo. Quem puder responder alguma, obrigado.

Seja a proposição
P(p,q) = ~(p ^ q) v ~(q <-> p)

A tabela verdade é essa
http://i17.tinypic.com/52m466c.png

Na imagem já tem algumas perguntas.
Só acrescento que eu sei que a bicondicional tem mais prioridade do que o "~"(não).

2ª dúvida:

I) (p ^ q ) v r
II) p ^ (q v r)

Meu livro diz que I) é uma disjunção e II), uma conjunção. Se quem tem mais prioridade são os parênteses(o que estiver lá dentro é realizado primeiro), não deveria ser I) uma conjunção e II) uma disjunção?

3ª dúvida:

Usar o método dedutivo para demonstrar que ~p -> p <=> p

(supondo que o valor de p=V)
~ V - > V = V

(supondo que o valor de p=F)
~ V - > F = V
De qualquer maneira, o valor é V.

Então V < = > p

V < = > V = V
Acertei?

O que está me intrigando é essa parte: ~p -> p
Isso não tem que dar falso? Senão, como ~p então p pode ser igual a V? Parece uma contradição.

4ª dúvida. A pior. Nunca consigo justificar.

Mostrar a validade de

r -> p v q, r, ~p |- q

Na forma normal,
1) r -> p v q (premissa)
2) r (premissa)
3)~p (premissa)
_______________
(a partir daqui, é exigido que se desenvolva a questão utilizando as regras de inferência)
Ele fez:
4) p v q (1,2 - MP(modus ponens)
(a conclusão) Q: q (3,4 - SD(silogismo disjuntivo))

Modus ponens diz que

p -> q
p
______________
q

ou seja, de p então q, a conclusão é q.

Acontece que o item 4 mostra p v q, que é o que se pode concluir a partir da premissa 1 e da 2.
O que não estou entendendo é como pode-se ter p v q, se a regra MP só conclui "q".

A mesma dúvida se repete na conclusão. Como se pode concluir "q", usando o silogismo disjuntivo?
SD diz que
p v q
~ q
___________
p

Procure também por "Algebra Linear Computacional"

Entusiasta Java Membro desde: 22/09/2006 17:42:50 Mensagens: 19 Offline

Eu não vou responder tudo porque não dá tempo de ler agora.

1) A bicondicional não tem como ter mais prioridade que a negação nesse exemplo da figura porque ela está entre parênteses. Tudo o que está entre parênteses tem mais prioridade do que está fora dos parênteses e, portanto, deve ser avaliado primeiro. Sendo assim, as negações devem ser avaliadas depois dos parênteses. Resumindo, é aquilo mesmo.

2) I é uma disjunção justamente porque ^ tem prioridade. Sendo assim, (p ^ q) é um termo da disjunção e r é o outro termo. Portanto, de forma análoga, II é uma conjunção.

JavaEvangelist Membro desde: 12/07/2005 16:13:03 Mensagens: 418 Offline

Obrigado..

Mas e aí, ninguém mais sabe as outras?

Por que é tão difícil encontrar pessoas que entendam?

Thread.start() Membro desde: 11/12/2006 14:06:55 Mensagens: 35 Offline

Kra como o próprio nome da matéria diz, Lógica Matemática...
todas as "funções" ensinadas, são nada mais do que fórmulas de associação, substituição...
talvez se vc treinar mais o seu raciocinio em exercícios de lógica(algoritmos, álgebra booleana, etc...),
você vai perceber que é muito simples resolver esses problemas...

JavaEvangelist Membro desde: 12/07/2005 16:13:03 Mensagens: 418 Offline

Simples? Eu já li o livro de introdução à lógica matemática de cabo a rabo.
Em nenhum momento ele explica o porquê de uma implicação 'virar' uma disjunção ou em uma conjunção.

No meu entendimento, não tem lógica uma coisa implicar em outra e ser "transformada" em outra: 'aquilo ou isso'.

Notícias, artigos e o maior fórum brasileiro sobre Java