III. Lógica Proposicional - 9

27 Novembro 2019, 18:00 • António José Teiga Zilhão

Resolução de exercícios no Cálculo Proposicional.  

III. Lógica Proposicional - 8

25 Novembro 2019, 18:00 • António José Teiga Zilhão

Teoremas do Cálculo Proposicional. Regra da Introdução de Teoremas (RIT). Distinção entre as noções de Teorema do Cálculo Proposicional e de Sequente válido do Cálculo Proposicional. Introdução da noção de um Sequente Tautológico. Noções elementares de Consistência e Completude do Cálculo Proposicional.

.

III. Lógica Proposicional - 7

21 Novembro 2019, 18:00 • António José Teiga Zilhão

O Cálculo Proposicional: 2.2. Regras de inferência, primitivas e derivadas.

III. Lógica Proposicional - 6

20 Novembro 2019, 18: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.

III. Lógica Proposicional - 5

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

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