Sumários

Lógica Proposicional - VIII

24 Novembro 2016, 10:00 • António José Teiga Zilhão

Teoremas do Cálculo Proposicional. Regra da Introdução de Teoremas (RIT). Sequentes válidos como implicações tautológicas.

Resolução de exercícios.  

Lógica Proposicional - VII

22 Novembro 2016, 10:00 • António José Teiga Zilhão

Resolução de exercícios.

Lógica Proposicional - VI

18 Novembro 2016, 10:00 • António José Teiga Zilhão

O Cálculo Proposicional: 2.2. Regras de inferência.

Lógica Proposicional - V

17 Novembro 2016, 10:00 • António José Teiga Zilhão

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

O Cálculo Proposicional: 1. Vocabulário; 2. Sintaxe; 2.1. Regras de Formação;

Lógica Proposicional - IV

15 Novembro 2016, 10:00 • António José Teiga Zilhão

Resolução de exercícios.