TP13_4

19 Outubro 2020, 08:00 • Bruno Dinis

Exemplos de sentenças e valores lógicos numa interpretação. Resolução dos exercícios 6, 7, 9 e 13. 

T_4

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

Equivalência lógica, propriedades, regras de substituição de equivalentes, exemplo; formas normais: forma normal negativa, forma normal disjuntiva e forma norma conjuntiva, exemplos; tt-equivalência, exemplo, tt-equivalência  e equivalência lógica.

TP11_4

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

Exemplos (identificar sentenças com conectivos numa LPO (conclusão do exercício 12)); Exemplos (sentenças e traduções). Exercícios 18 (5 ,6, 7, 8, 9, 10), 19 (1,4, 5, 7, 8)

TP12_4

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

Exemplos (identificar sentenças com conectivos numa LPO (conclusão do exercício 12)); Exemplos (sentenças e traduções). Exercícios 18 (5 ,6, 7, 8, 9, 10), 19 (1,4, 5, 7, 8)

Mundo dos Blocos

15 Outubro 2020, 08:00 • Daniela Montrasio

• Mais exemplos de sentenças e rispectivas traduções
• Esclarecimento de dúvidas dos alunos
• Conclusão do exercício 12