T_7

29 Outubro 2021, 09:30 • Mário Jorge Edmundo

Mais um exemplo de demonstração (existem irracionais b>0 e c tais que b^c é racional). Contradição, regras de substituição para a contradição.  Regras de inferência: eliminação da negação e introdução da negação. Exemplo de demonstração (raiz quadrada de dois é irracional). Regras de inferência: introdução da contradição e eliminação da contradição. Exemplos de demonstrações (modus tollendo ponens, princípio da não contradição, lei da dupla negação, modus ponendo tollens).