LÓGICA APLICADA A COMPUTAÇÃO

Aquiles Burlamaqui2009.3

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

Motivação

Tabelas Verdades não são computacionalmente

tratáveis

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 -

Forma Normal Conjuntiva

FNC

Forma Normal Conjuntiva

FNC

Forma Normal Conjuntiva Reduzida

Passos para Redução(FNCR)

Passos para Redução(FNCR)

Passos para Redução(FNCR)

Passos para Redução(FNCR)

Eliminação Literais Complementares

Eliminação Literais Complementares

Dedução por Resolução

Refutação da Resolução

Refutação da Resolução

Teorema da Completude

Consequencia Lógica – Método Matemático

Consequencia – Método Formal

Resolução por Refutação – Método Computacional

Resolução na Lógica Proposicional

Exercícios

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/