Conteúdo Programático
Unidade I
Linguagens Formais
Linguagens Formais
Sigma Álgebras
Relação entre Linguagens Formais e Sigma Álgebras
Sigma Domínios
Lógica Proposicional
A linguagem da lógica proposicional
A linguagem formal da lógica Proposicional
Lógica Proposicional
A Teoria Formal da Lógica Proposicional
Teorias Formais
Teoria Formal da Lógica Proposicional
Teorema da Dedução
Resolução na Lógica Proposicional
Método de Eliminação de Literais Complementares
Resultados de Completude
Unidade I
Resolução na Lógica Proposicional
Método de Eliminação de Literais Complementares
Resultados de Completude
Resolução na Lógica Proposicional
Solução
Eliminação Literal Complementar (ELC)
Resolução Básica
Define se uma sentença é ou não um teorema
Novos símbolos:
(tau), tautologia -
(caixa), contradição -
Teorema da Completude
Consequencia Lógica – Método Matemático
Consequencia – Método Formal
Resolução por Refutação – Método Computacional
Referencias
Callejas, Bedregal. Acióly, Bendito. Lógica para a
Ciência da Computação, Natal, 2001.
http://pt.wikipedia.org/wiki/L%C3%B3gica
http://www.pucsp.br/~logica/