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.

Noções informais em lógica (verdade lógica, consequência lógica, possibilidade lógica) e correspondentes noções matematizadas no cálculo proposicional (tautologia, tt-consequência, tt-satisfazível) e na lógica de primeira-ordem (validade FO, consequência FO e consistência FO).

24 TP11

16 Dezembro 2016, 08:00 • Fernando Ferreira

Mini-teste na aula.

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.