|
UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
|
| UNIDADE: INSTITUTO DE FILOSOFIA E CIÊNCIAS HUMANAS | ||
| DEPARTAMENTO: DEPTO. DE FILOSOFIA | ||
| DISCIPLINA: Lógica Matemática I | ||
| CARGA HORÁRIA: 60 | CRÉDITOS: 4 | CÓDIGO: IFCH03-05765 |
| MODALIDADE DE ENSINO: Presencial | TIPO DE APROVAÇÃO: Nota e Frequência | |
| STATUS | CURSO(S) / HABILITAÇÃO(ÕES) / ÊNFASE(S) |
| Obrigatória | IFCH - Filosofia (versão 1) |
| Eletiva Definida | IFCH - Filosofia (versão 1) IFCH - Filosofia (versão 2) IFCH - Filosofia (versão 3) |
| Eletiva Universal | para todos os cursos da UERJ |
| TIPO DE AULA | CRÉDITO | CH SEMANAL | CH TOTAL |
| Teórica | 4 | 4 | 60 |
| TOTAL | 4 | 4 | 60 |
OBJETIVO(S):
Desenvolver noções fundamentais do Cálculo Sentencial. Ao final do período o aluno deverá ser capaz de compreender os mais importantes aspectos da linguagem simbólica e das técnicas dedutivas bem como de utilizar os processos que permitem avaliar a validade ou invalidade de um argumento.
EMENTA:
Esforço histórico. O Cálculo Sentencial. Sentença Atômica e molecular. Valor de verdade da sentença. Procedimento de decisão do CS. Tábuas de verdade. Tautologia, contradição e contingência. A validade dos argumentos. Método por assinalação de verdade. A dedução natural.
BIBLIOGRAFIA: Hegenberg, Leonidas. Lógica; O Cálculo Sentencial. EDUSP, S. Paulo.
Alencar Filho, Edgard. Iniciação à lógica matemática, Nobel, São Paulo.