Ir para a página inicial
UFAC
Início » Filosofia » Currículo » Lógica II
Filosofia
177
Informações Gerais
Disciplina
Lógica II ( CFCH364 )
Unidade
Centro de Filosofia e Ciências Humanas
Tipo
Obrigatória
Período Ideal no Curso
3
Nota Mínima para Aprovação
5.0
Carga Horária
60
Nº de Créditos
4
Docentes
Nenhum professor encontrado!
Objetivos
Não consta
Ementa

Introdução à Lógica moderna. Cálculo sentencial: estudo semântico ( tábuas de verdade e tautologias ) e sintático ( dedução natural, formas normais e método axiomático ) do cálculo sentencial. Cálculo dos predicados: estudo semântico ( interpretações, modelos e validade ) e sintático ( dedução natural, método axiomático ) do cálculo dos predicados.

Programa
Não consta
V.2.0.202306021048 - Copyright © 2023 ASTEN.