Sumários

AULA 12

30 Outubro 2018, 10:30 • Fernando Ferreira

Como pôr um conetivo em FND e em FNC tendo a sua tabela de verdade. Completude vero-funcional. O conetivo nem-nem.

Modus ponens, modus tollens. Método da domonstração condicional. Exemplos de demonstrações informais.

TP11-12

30 Outubro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 43 (1, 2, 5), 44 (1).

13 TP12

29 Outubro 2018, 12:00 • Fernando Ferreira

Exercícios 47 (finalização), 50 e 54.

TP13-13

29 Outubro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 43 (1, 2, 5), 44 (1).

AULA 11

26 Outubro 2018, 09:30 • Fernando Ferreira

Traduções da linguagem natural para a linguagem da lógica de primeira-ordem ("a menos que", "somente se", etc). Condição necessária e condição suficiente. O conetivo bicondicional (equivalência material).

O número de conetivos proposicionais (tabelas de verdade) com n letras proposicionais (é 2^2^n). Método sistemático de escrever esses conetivos proposicionais em forma normal disjuntiva (FND).