Introdução à Lógica de Predicados

Uma introdução aos conceitos de Lógica de Predicados.

Apresentação

Exercícios de lógica de predicados podem ser encontrados nos livros textos da bibliografia da disciplina.

Ao final dessa etapa de lógica de predicados você deve ter competências para:

Avaliar veracidade de expressões lógicas envolvendo quantificadores.
Dizer o que é uma variável livre.
Expressar as operações e propriedades de conjuntos utilizando fórmulas lógicas.
Interpretar expressões lógicas com quantificadores.
Escrever em português as negações de expressões lógicas utilizando as leis de morgan para lógica de predicados.