T_11

19 Novembro 2021, 09:30 • Mário Jorge Edmundo

Regras de inferência para o condicional e o bicondicional. Exemplos de demonstrações informais (modus tollens, se k^2 é par, então k é par). Exemplos de demonstrações formais (modus tollens, silogismo hipotético, fortalecimento do antecedente, lei da dupla negação, lei do contra-recíproco, regra de substituição para o condicional).