Lógica de Predicados

2024/2 - Turma 0603

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