T_8
27 Outubro 2020, 10:30 • Mário Jorge Edmundo
Contradição, regras de substituição de equivalentes para a contradição. As regras de inferência eliminação da negação (~ Elim) e introdução da negação (~Intro); exemplo (raiz quadrada de 2 é irracional). As regras de inferência introdução da contradição e eliminação da contradição; exemplos (modus tollendo ponens, princípio da não contradição, lei da dupla negação, modus ponendo tollens).