Sumários
TP11_15
24 Novembro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (demonstrações informais); Exercícios 64 e 68.
TP12_15
23 Novembro 2020, 12:00 • Mário Jorge Edmundo
Exemplos (demonstrações informais); Exercícios 64 e 68.
TP13_13
23 Novembro 2020, 08:00 • Bruno Dinis
Mais exemplos de conectivos e respectivas formas normais disjuntiva e conjuntiva. Resolução dos exercícios 57, 59 e 62.
T_14
20 Novembro 2020, 09:30 • Mário Jorge Edmundo
A semântica das fórmulas: numa interpretação as fórmulas exprimem condições, condição universal e condição possível; A semântica das sentenças: numa interpretação uma sentença exprime uma proposição, o valor lógico de uma sentença universal e condição universal, o valor lógico de uma sentença existencial e condição possível; Exemplos.
TP11_14
20 Novembro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (outros conectivos e formas normais conjuntiva e disjuntiva); Exercícios 57, 59(1) e 62.