2003 1ºSem.: Lógica Matemática
(2003s1 Lógica)

 Este curso tem um código de inscrição

Conteúdo programático

1. Introdução

A lógica de Aristóteles.

Silogismos.

2. Cálculo proposicional

Proposições.

Conectivos.

Tabelas-verdade.

Fórmulas tautológicas, contra-válidas e indeterminadas.

Implicação lógica.

Equivalência lógica.

3. Álgebra das proposições

Propriedades da conjunção.

Propriedades da disjunção.

Propriedades da conjunção e disjunção.

Negação da condicional.

Negação da bicondicional.

4. Métodos dedutivos

Exemplificação.

Redução do número de conectivos.

Forma normal das proposições.

Forma normal conjuntiva.

Forma normal disjuntiva.

5. Argumentos

Definição de argumentos.

Validade de um argumento.

Critério de validade de um argumento.

Argumentos válidos fundamentais.

Este curso tem um código de inscrição