Escolar Documentos
Profissional Documentos
Cultura Documentos
Introduo
www.dcc.ufmg.br/~lucilia/cursos/md1
Luclia Figueiredo
Programa do Curso
Lgica Matemtica
Sintaxe Semntica Clculo Algbrico Regras de Deduo Estratgias de Prova
Teoria de Conjuntos, Funes e Relaes Conjuntos e Funes Recursivas Princpio de Prova por Induo
Bibliografia
Rosen, Discrete Mathematics and its Applications, McGraw Hill, 1998. Daniel J. Velleman; How to Prove it: A Structured Approach Cambridge University Press, 1994. Joo Nunes de Souza, Lgica para a Cincia da Computao, Editora Campus, 2002. Judith Gersting: Fundamentos Tericos para a Computao, Editora LTC Edward R. Scheinerman, Matemtica Discreta: Uma Introduo, Editora Thompson, 2003
O que Lgica?
uma ferramenta para raciocnio Para descrever o mundo, usamos sentenas declarativas tais como:
i. Amanh vai chover ou vai nevar ii. Aqui muito quente para nevar
Aplicando algumas regras gerais de raciocnio, podemos concluir a partir dessas afirmaes:
iii. Ento, amanh vai chover
O que Lgica?
uma ferramenta para raciocnio
Amanh vai chover ou vai nevar Aqui muito quente para nevar Portanto, amanh vai chover
Eu vou aula hoje ou amanh Amanh eu vou ficar em casa. Portanto, eu vou aula hoje.
Lgica
uma ferramenta para raciocnio
Podemos implementar tal raciocnio no computador? Para que o computador possa lidar com argumentos como os que vimos anteriormente, precismos primeiro definir a sintaxe da linguagem em que as sentenas so escritas
A sintaxe da linguagem deve capturar a estrutura, e no o significado das sentenas A linguagem deve ser definida formalmente
Alm disso, devemos poder expressar as regras de raciocnio a serem usadas pelo sistema tais como a que permite concluir iii) de i) e 8ii)
Lgica Proposicional
a linguagem da lgica proposicional Sentenas atmicas (indivisveis) so denotadas por variveis, ou smbolos de proposio: P, Q, R etc Novas sentenas so formadas combinando sentenas por meio de conectivos lgicos :
Negao Lgica E Lgico p Implicao Lgica Ou Lgico m Equivalncia Lgica
9
7 e3 3e T e 4
3 um divisor comum de 6, 9 e 15