Mondo dos Blocos

14 Outubro 2020, 09:30 • Daniela Montrasio

• Revisão da definição de interpretação de uma LPO;
• Interpretação do mundo dos blocos;
• Alguns exemplos de sentenças no mundo dos blocos;
• Resolução do Exercício 1;
• Resolução do Exercício 2.a;
• Resolução do Exercício 4;
• Resolução do Exercício 5, Mundo de Leibinz.

Tentar fazer o Exercício 2.b  e a conclusão do exercício 5 em casa, as correções serão mostradas na próxima TP.  

TP13_3

14 Outubro 2020, 08:00 • Bruno Dinis

Alguns exemplos de sentenças e respectivas traduções no mundo de blocos. Resolução dos exercícios 12 (continuação), 18 e 19.

T_3

13 Outubro 2020, 10:30 • Mário Jorge Edmundo

Tabelas de verdade, exemplo; tautologia e tt-satisfazível, princípios do terceiro excluído e da não contradição; possibilidade e verdade lógica; tautologia e verdade lógica, exemplo; possibilidade e tt-satisfazibilidade, exemplo. Algumas referências sobre SAT, P=NP? e um prémio de um milhão de dólares.

TP11_3

13 Outubro 2020, 08:00 • Mário Jorge Edmundo

Exemplo (a LPO dos mundos de blocos (incluindo os símbolos funcionais), interpretações (mundos de blocos)). Exercícios 1/2, 4 e 5

TP12_3

12 Outubro 2020, 12:00 • Mário Jorge Edmundo

Exemplo (a LPO dos mundos de blocos (incluindo os símbolos funcionais), interpretações (mundos de blocos)). Exercícios 1/2, 4 e 5