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).