Sumários
TP11_13
17 Novembro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (identificar sentenças com os conectivos condicional e bicondicional); Exemplos (sentenças e traduções); Exercícios 48, 50.
TP12_13
16 Novembro 2020, 12:00 • Mário Jorge Edmundo
Exemplos (identificar sentenças com os conectivos condicional e bicondicional); Exemplos (sentenças e traduções); Exercícios 48, 50.
T_12
13 Novembro 2020, 09:30 • Mário Jorge Edmundo
Variáveis e o seu papel semântico, termos de uma LPO, exemplos, notação infixa e prefixa; fórmulas atómicas de uma LPO, exemplos, notação infixa e prefixa.
TP11_12
13 Novembro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (demonstrações formais (com conectivos booleanos)); Exercícios 42 (2), 43 (2,5), 44 (1).