TP12_7
26 Outubro 2020, 12:00 • Mário Jorge Edmundo
Exemplos (pôr sentenças numa das formais normais). Exercícios 24, 25 27/28 e 29.
26 Outubro 2020, 12:00 • Mário Jorge Edmundo
Exemplos (pôr sentenças numa das formais normais). Exercícios 24, 25 27/28 e 29.