Sumários

IV. Lógica de Predicados - 1

4 Dezembro 2020, 14:00 • António José Teiga Zilhão

A. Introdução à Lógica de Predicados. 


B. O Cálculo de Predicados.

1. Vocabulário; 

2. Sintaxe; 

2.1. Regras de Formação.

III. Lógica Proposicional - 5

3 Dezembro 2020, 15:30 • António José Teiga Zilhão

Resolução de exercícios no âmbito da Lógica Proposicional.

III. Lógica Proposicional - 4

27 Novembro 2020, 14:00 • António José Teiga Zilhão

O Cálculo Proposicional.

1. Vocabulário; 

2. Sintaxe; 2.1. Regras de Formação. 2.2. Regras de inferência. 2.2.1. Regras primitivas de inferência. 2.2.2. Regras derivadas de inferência; 

3. Teoremas do Cálculo Proposicional; 

4. Regra da Introdução de Teoremas (RIT). 


III. Lógica Proposicional - 3

26 Novembro 2020, 15:30 • António José Teiga Zilhão

O Problema da Decisão: métodos semântico e sintáctico de o resolver.

Inferência Proposicional: implicações tautológicas como paradigmas da inferência proposicional. 
 

III. Lógica Proposicional - 2

24 Novembro 2020, 15:30 • António José Teiga Zilhão

Derivação de substituibilidades não elementares na álgebra das proposições - II.
Tautologias, contradições e fórmulas contingentes.