Sumários
Aula 25 - TP13
19 Dezembro 2016, 08:00 • Maria da Purificação Antunes Coelho
Entrega do terceiro mini-teste. Exercícios 120, 149 (alíneas 1, 2 e 11), 160 e 161.
AULA 25
16 Dezembro 2016, 09:30 • Fernando Ferreira
A regra GenCond (método de demosntração condicional geral). Comparação com a junção das regras AIntro (generalização universal) e -->Intro (método da demonstração condicional). Alguns exemplos de deduções formais com quantificadores no sistema de Fitch. Resolução do exercício 148(5). Discussão duma falácia.
Aula 23 - TP12
15 Dezembro 2016, 10:30 • Maria da Purificação Antunes Coelho
Realização do terceiro miniteste.
Aula 23 - TP14
15 Dezembro 2016, 08:00 • Maria da Purificação Antunes Coelho
Realização do terceiro miniteste.