T_11
10 Novembro 2020, 10:30 • Mário Jorge Edmundo
As regras de inferência eliminação do condicional (modus ponens) e introdução do condicional, as regras de inferência eliminação do bicondicional e introdução do bicondicional; exemplos de demonstrações informais (incluindo modus tollens e, se o quadrado de um número inteiro é par, então o número é par); exemplos de demonstrações formais (incluindo modus tollens, silogismo hipotético, fortalecimento do antecedente, lei da dupla negação, lei do contra-recíproco e regra de substituição para o condicional).