Sumários
TP13
14 Outubro 2016, 14:00 • Catarina Araujo de Santa Clara Gomes
Resolução de exercícios da ficha 1D (conclusão).
TP14
14 Outubro 2016, 11:00 • Catarina Araujo de Santa Clara Gomes
Resolução de exercícios da ficha 1D (conclusão).
Exercícios 2A
14 Outubro 2016, 11:00 • Mário Jorge Edmundo
Resolução de exercícios da folha de Exercícios 2A.
Tema: equivalência e implicação lógica envolvendo quantificadores
13 Outubro 2016, 11:30 • Mário Jorge Edmundo
Equivalência lógica de condições ou proposições com ou sem quantificadores: propriedades da equivalência lógica; contra-recíproco; negação de uma implicação; negação de uma equivalência; regras de substituição; recíproca e contra-recíproca de uma implicação universal; negação de uma implicação universal. Implicação lógica de condições ou proposições com ou sem quantificadores: propriedades da implicação lógica.
Exercícios 2A
13 Outubro 2016, 10:00 • Mário Jorge Edmundo
Resolução de exercícios da folha de Exercícios 2A.