T_11

25 Outubro 2022, 10:30 • Mário Jorge Edmundo

Mais regras de inferência: introdução e eliminação do condicional, introdução e eliminação do bicondicional; exemplos de demonstrações informais e formais, incluindo: modus tollens; se o quadrado de um número inteiro é par, então ele é par; silogismos hipotético; fortalecimento do antecedente; lei da dupla negação; parte da lei do contra-recíproco; parte da regra de substituição para o condicional.