Sumários
Deduções formais com os conectivos booleanos
28 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 39, (1), (3), (4), 40 e 41. Consulta do mini-teste.
T12
25 Outubro 2019, 09:30 • Mário Jorge Edmundo
As regras de inferência eliminação do condicional [->Elim] e introdução do condicional [->Intro] (também conhecido por modus ponens); exemplos de demonstrações informais (incluíndo modus tollens, e, todo o número inteiro cujo quadrado é par, é par); as regras de inferência eliminação do bicondicional [<->Elim] e introdução do bicondicional [<->Intro]; exemplos de demonstrações formais (incluíndo modus tollens, silogismo hipotético, fortalecimento do antecedente, lei da dupla negação, lei do contra-recíproco).
Demonstrações informais
25 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 36 (nova demonstração por redução ao absurdo), 37 (três demontrações) e 38. Consulta do mini-teste.