Sumários

TP12_4

3 Outubro 2022, 12:00 • Mário Jorge Edmundo

Resolução dos exercícios 20, 22 e 23.

TP14_3

30 Setembro 2022, 11:30 • Mário Jorge Edmundo

Resolução dos exercícios 12, 13, 18 e 19 (TPC).

T_4

30 Setembro 2022, 09:30 • Mário Jorge Edmundo

Equivalência lógica, propriedades, regras de substituição, exemplo; formas normais negativa, disjuntiva e conjuntiva, exemplos; tt-equivalência, exemplos; tt-equivalência e equivalência lógica, exemplo. 

TP12_3

29 Setembro 2022, 10:30 • Mário Jorge Edmundo

Resolução dos exercícios 12, 13, 18 e 19 (TPC).

TP14_2

28 Setembro 2022, 09:30 • Mário Jorge Edmundo

Resolução dos exercícios 2, 4 e 5.