Sumários

Aula 24 - TP14

21 Dezembro 2016, 09:30 • Maria da Purificação Antunes Coelho

Entrega do terceiro mini-teste. Exercícios 124 (alíneas 2 e 3), 137, 149 (alíneas 1 e 11) e 161 (alíneas 1, 2 e 3).

Aula 26 - TP13

21 Dezembro 2016, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 137, 142, 149 (alíneas 3, 5 e 6), 150(1) e 152(1).

AULA 26

20 Dezembro 2016, 10:30 • Fernando Ferreira

O que é uma estrutura para uma linguagem da LPO? Descrição breve. Descrição breve das noções matemáticas de "validade FO", "consequência FO" e "consistência FO". O teorema da completude de Gödel: dada uma linguagem de LPO, uma sentença (da linguagem) é consequência FO de premissas (sentenças da linguagem) dadas se, e somente se, essa sentença se deduz no sistema de Fitch dessas premissas.

Discussão breve sobre axiomatizações.

Discussão breve sobre o método de resolução em LPO (sem igualdade): no seu caso mais geral, tal envolve formas prenexas, formas de Skolem, unificação e resolução no cálculo proposicional (nada disto foi dito com detalhe). Um exemplo.

25 TP11

20 Dezembro 2016, 08:00 • Fernando Ferreira

Exercícios 135, 140, 141, 149(3)(7)(11), 161(4) e 162(1).

Aula 24 - TP12

19 Dezembro 2016, 12:00 • Maria da Purificação Antunes Coelho

Entrega do terceiro mini-teste. Exercícios 124 (alíneas 2 e 3), 137, 149 (alíneas 1, 8 e 11) e 161 (alíneas 1, 2 e 3).