Lógica Matemática

O curso de Lógica Matemática é uma introdução a esse assunto visto, como apresentado em disciplina de graduação, em duas partes: o Cálculo de Proposições e o Cálculo de Predicados.

No Cálculo de Proposições (ou cálculo proposicional), apresenta-se a Lógica com o estudo dos conectivos, das operações lógicas geradas por eles, das tabelas verdade e propriedades de cada operação, das tautologias, das contradições, das contingências e das formas de argumentos e validação dos mesmos.

No Cálculo de Predicados, apresentam-se os quantificadores existencial e universal.

O curso é apresentado em treze capítulos, subdivididos em partes de acordo com a especificidade de cada tema.

Os vídeos são em forma de escrita à mão, com linguagem clara e tempo adequado, nunca sendo vídeos longos (com mais de 30 minutos). Tudo é construído como numa aula presencial.

Ementa do curso:

Módulo I – Proposições e Conectivos

• Parte I – Proposições

• Parte II – Tipos de Proposições

• Parte III – Conectivos

Módulo II – Operações Lógicas

• Parte I – Negação

• Parte II – Conjunção

• Parte III – Disjunção

• Parte IV – Condicional

• Parte V – Bicondicional

Módulo III – Tabela Verdade

• Parte I – Número de Linhas

• Parte II – Construção

• Parte III – Exemplos

Módulo IV – Tautologias, Contradições e Contingências

Módulo V – Implicação Lógica

Módulo VI – Equivalência Lógica

Módulo VII – Propriedades das Proposições

Módulo VIII – Método Dedutivo

Módulo IX – Argumentos

Módulo X – Demonstração Condicional e Indireta

Módulo XI – Sentenças Abertas

Módulo XII – Operações Lógicas sobre Sentenças Abertas

Módulo XIII – Quantificadores

Referências Bibliográficas:

• ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. 18. ed. São Paulo: Nobel, 2000.

• KELLER, Vicente; BASTOS, Cleverson L. Aprendendo lógica. 13 ed. Rio de Janeiro: Vozes, 2004.

• BISPO, Carlos Alberto F.; CASTANHEIRA, Luiz B.; SOUZA FILHO, Oswaldo Melo. Introdução à lógica matemática. São Paulo: Cengage Learning, 2011.