Colegas: Neste curioso vídeo onde o povo do IMPA agora dá aulas de Lógica no YouTube:
http://www.youtube.com/watch?v=y47D5GvKKeA&feature=related o conhecido analista Elon Lages Lima (IMPA) afirma categoricamente (entre 2min40s- 3 mim) que os matemáticos não precisam saber lógica. Ente outras frases: “Nao há necessidade nenhuma de usar lógica na matemática” “Toda a parte da lógica que a gente precisa saber é baseada no senso comum e na teoria dos conjuntos” As noções de **lógica proposicional** de fato se traduzem, sim, a operações sobre conjuntos: mas lógica não é, obviamente, só isso! Um exemplinho: (i) Nenhum número lindo é divisível por 2 (ii) Alguns números divisíveis por 2 são divisíveis por 3 Conclua que: (iii) algum número divisível por 3 não é lindo Usando: (a) L(x): x é lindo (b) D(x): x é divisível por 2 (ic) T(x): x é divisível por 3 o problema é simbolizado da seguinte maneira, (NAO na Lógica Proposicional, mas na Lógica de Predicados!!) - - - - - - - - - -- (i) (∀x) (L(x) → ~ D(x)) (ii) (∃x) (D(x) ∧ T (x)). Mostre que: (iii) (∃x) (T(x) ∧ ~ L(x)) - - - - - - - - - - - Pergunto: o Elon consegue mesmo concluir isso usando **somente** Lógica Proposicional, como ele prega? Abs, Walter ----------------------------------------------- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
