T_7
11 Outubro 2022, 10:30 • Mário Jorge Edmundo
Contradição, regras de substituição para a contradição. Regras de inferência: eliminação da negação, introdução da negação, exemplos (raiz quadrada de dois é irracional), introdução da contradição, eliminação da contradição, exemplos (modus tollendo ponens, princípio da não contradição, lei da dupla negação, modus podendo tollens).