Mundo dos Blocos

21 Outubro 2020, 09:30 • Daniela Montrasio

• Exercício 6
• Exercício 7
• Exercício 9
• Exercício 16
• Correção do exercício 19

TP13_5

21 Outubro 2020, 08:00 • Bruno Dinis

Exemplos de tautologias, verdades lógicas e sentenças tt-satisfazíveis. Resolução dos exercícios 20, 22 e 23 (início)

T_5

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

Consequência lógica, inferência válida e consequência lógica, exemplos, demonstrações e contra-exemplos; propriedades da consequência lógica, verdade lógica e consequência lógica, equivalência lógica e consequência lógica; tt-consequência, exemplos, tt-consequência e consequência lógica, exemplo.  

TP11_5

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

Exemplos (sentenças e valores lógicos). Exercícios 6, 7, 9/16 e 13.

TP12_5

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

Exemplos (sentenças e valores lógicos). Exercícios 6, 7, 9/16 e 13.