Sumários

Tautologia versus verdade lógica; sentenças tt-satisfazíveis versus possibilidades lógicas

25 Outubro 2021, 12:00 • Maria João Antunes Dias Gouveia

Correcção do TPC.

Esclarecimento de dúvidas e clarificação dos conceitos através de exemplos.
Resolução dos exercícios 20 e 21 do caderno de exercícios disponibilizado na página Moodle da disciplina.
TPC: ex. 22

TP13_5

25 Outubro 2021, 08:00 • Mário Jorge Edmundo

Exemplos de tautologias, tt-satisfazível, verdade lógica e possibilidade lógica. Resolução dos exercícios 20, 21 e 22. 

TP14_4

22 Outubro 2021, 11:30 • Mário Jorge Edmundo

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

T_5

22 Outubro 2021, 09:30 • Mário Jorge Edmundo

Conclusão da aula anterior: tt-equivalência, exemplo, tt-equivalência e equivalência lógica, exemplo. 


Consequência lógica, inferência lógica 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_4

22 Outubro 2021, 08:00 • Mário Jorge Edmundo

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