Sumários

TP14_13

24 Novembro 2021, 09:30 • Mário Jorge Edmundo

Resolução dos exercícios 57, 59 e 62.

TP13_14

24 Novembro 2021, 08:00 • Mário Jorge Edmundo

Resolução dos exercícios 64 e 68.

T_12

23 Novembro 2021, 10:30 • Mário Jorge Edmundo

Linguagens de primeira ordem, variáveis, termos, exemplos, notação prefixa/infixa. Fórmulas atómicas, exemplos, notação prefixa/infixa.  Fórmulas, quantificador universal, quantificador existencial, exemplos.  

TP11_13

23 Novembro 2021, 08:00 • Mário Jorge Edmundo

Resolução dos exercícios 57, 59 e 62.

Demonstrações formais. Os conectivos implicação formal e equivalência formal

22 Novembro 2021, 12:00 • Maria João Antunes Dias Gouveia

Resolução dos exercícios 44 (1 e 3),  45, 52 (nºs ímpares), 48.

TPC: 52(b) e 50.