TP13_2

12 Outubro 2020, 08:00 • Bruno Dinis

A LPO do mundo dos blocos. Resolução dos exercícios 1, 2a e parte do exercício 5.

T_2

9 Outubro 2020, 09:30 • Mário Jorge Edmundo

Interpretação de uma LPO's; termos fechados e sentenças atómicas numa interpretação; valor lógico de uma sentença atómica numa interpretação; exemplo. Reflexividade e princípio da substituição para a igualdade. Conectivos booleanos e sentenças com conectivos booleanos; nota sobre parênteses e traduções para a linguagem natural. A semântica dos conectivos booleanos. Exemplo: a LPO dos mundos de blocos (incluindo os símbolos funcionais), interpretações (mundos de blocos), sentenças atómicas e o seu valor de verdade num mundo de blocos. 

TP11_2

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

Exemplos (identificar termos fechados e sentenças atómicas numa LPO (parte do exercício 12)). Exercícios 10 e 11.

TP12_2

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

Exemplos (identificar termos fechados e sentenças atómicas numa LPO (parte do exercício 12)). Exercícios 10 e 11.

Termos e Sentenças Atômicas

8 Outubro 2020, 08:00 • Daniela Montrasio

• Revisão das definições de termos fechados e sentenças atômicas.
• Alguns exemplos mais de termos fechados e sentenças atômicas.
• Primeira metade do exercício 12.
• Exercício 10.
• Exercício 11.b.