Sumários
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.
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