Introdução à Lógica Proposicional

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

Apresentação

A sequencia de apresentações usadas na disciplina:

• Formalismo, Negação, Conjunção, Tabela Verdade
• Disjunção, Implicação, Equivalência, Tautologias

Exercícios

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

Competências

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

• Construir tabelas verdade envolvendo expressões lógicas.
• Interpretar expressões lógicas.
• Escrever em português as negações de expressões lógicas utilizando as leis de morgan.