Sumários

AULA 20

29 Novembro 2016, 10:30 • Fernando Ferreira

As quatro formas aristotélicas: universais afirmativas, particulares afirmativas, universais negativas e particulares negativas.

Definição de fórmula duma linguagem de LPO. Definição de ocorrência muda duma variável numa fórmula. Uma fórmula em que todas as variáveis ocorrem mudas (i.e., não tem ocorrências livres de variáveis) denomina-se de sentença. Dada uma interpretação da linguagem, uma sentença é verdadeira ou falsa.
Leis de De Morgan para a quantificação. Outras leis. Falácias.

19 TP11

29 Novembro 2016, 08:00 • Fernando Ferreira

Exercícios 95, 97(4)(5), 98(1-20).

Aula 20 - TP12

28 Novembro 2016, 12:00 • Maria da Purificação Antunes Coelho

Referência às quatro formas aristotélicas. Exercícios 98 (alíneas 1 a 21), 103 e 100.

Aula 19 - TP13

28 Novembro 2016, 08:00 • Maria da Purificação Antunes Coelho

Unificação de termos: exercícios 97 (alíneas 1 e 5) e 95 (conclusão).
Quantificação: referência às quatro formas aristotélicas; exercício 98 (alíneas 1 a 21).

AULA 19

25 Novembro 2016, 09:30 • Fernando Ferreira

Mais exemplos da aplicação do algoritmo de unificação mais geral.

Fórmulas atómicas (com variáveis). A noção de satisfação. Introdução à quantificação. Quantificadors universais e existenciais. Universais afirmativas e particulares afirmativas.