Sumários
Exercícios 1B
27 Setembro 2016, 10:30 • Mário Jorge Edmundo
Resolução de exercícios da folha de Exercícios 1B.
Tema: equivalência lógica de proposições
27 Setembro 2016, 09:30 • Mário Jorge Edmundo
Equivalência lógica; recíproca e contra-recíproca; negação de uma implicação; propriedades da equivalência lógica; regras de substituição; negação de uma equivalência.
TP13
26 Setembro 2016, 13:30 • Catarina Araujo de Santa Clara Gomes
Resolução de exercícios da ficha 1A (conclusão) e 1B.
TP14
26 Setembro 2016, 11:00 • Catarina Araujo de Santa Clara Gomes
Resolução de exercícios da ficha 1A (conclusão) e 1B.
Exercícios 1B
26 Setembro 2016, 11:00 • Mário Jorge Edmundo
Resolução de exercícios da folha de Exercícios 1B.