Lógica de Predicados

2025/1 - Turma 0607

Ementa

Operadores Lógicos. Tabelas-Verdade. Formalização de Argumentos. Regras de Inferência. Verificação da validade de fórmulas por Árvores de Refutação. Verificação da validade de fórmulas por Tabelas-Verdade. Cálculo Proposicional. Cálculo de Predicados.

Competências

Objetivos

Programa

Metodologia

Avaliação

Bibliografia

Básica

Complementar

Material Digital