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

 This course requires an enrolment key

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.

This course requires an enrolment key