Sumários

15 Novembro 2016, 10:30 • Fernando Ferreira

Descrição do algoritmo de satisfação de Horn. Mais um exemplo.

O método da resolução para mostrar que uma sentença em FNC não é tt-satisfazível. Resolventes de duas cláusulas (disjuntivas). Alguns exemplos.

15 Novembro 2016, 08:00 • Fernando Ferreira

Mini-teste na aula.

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

Realização do segundo mini-teste.

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

Realização do segundo mini-teste.

11 Novembro 2016, 09:30 • Fernando Ferreira

Finalização da descrição das regras do sistema de Fitch para o bicondicional (equivalência material).

Sentenças de Horn. Cláusulas de Horn. Forma condicional das cláusulas de Horn. O algoritmo da satisfação de Horn: três exemplos.