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).