Sumários
T24
10 Dezembro 2019, 10:30 • Mário Jorge Edmundo
Contra-exemplos e demonstrações informais/formais: resolução dos exercícios 149 e 151 (1).
Deduções formais com quantificadores
10 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 137 e 139 com e sem a permissa extra de que haja pelo menos um objecto.
Formalização dos argumentos no sistema dedutivo de Fitch.
TP12_25
9 Dezembro 2019, 12:00 • Mário Jorge Edmundo
Exercícios 168 (1, 3, 11, 13, 15), 137 (com demonstração informal e formal).
Lógica dos Quantificadores
9 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 118, 132(2,4), 133 e 168(1,3).
T23
6 Dezembro 2019, 09:30 • Mário Jorge Edmundo
A regra introdução do quantificador universal (A Intro) (ou generalização universal); dois exemplos de inferências válidas e respectivas demonstrações informal e formal usando (A Intro). Discussão de uma demonstração errada usando (E Elim).