===== DEMONSTRAÇÃO INDIRETA =====
Enquanto a [[lexico:d:demonstracao|demonstração]] direta deduz, sem rodeios, de proposições dadas a [[lexico:p:proposicao|proposição]] que deve [[lexico:s:ser|ser]] demonstrada, a [[lexico:d:demonstracao-indireta|demonstração indireta]] mostra, antes de mais [[lexico:n:nada|nada]], que, admitindo a contraditória oposta ([[lexico:o:oposicao|oposição]]) da proposição em [[lexico:q:questao|questão]], o resultado é uma conclusão manifestamente falsa; mas como de pressuposições verdadeiras só podem deduzir-se conclusões verdadeiras, fica assim demonstrada a [[lexico:f:falsidade|falsidade]] da [[lexico:h:hipotese|hipótese]] feita, e portanto, a [[lexico:v:verdade|verdade]] da proposição que se devia demonstrar. Se a conclusão, a que conduz a demonstração indireta, enuncia uma [[lexico:c:contradicao|contradição]] manifesta, temos o caso [[lexico:p:particular|particular]] da "[[lexico:r:reducao|redução]] ao [[lexico:p:principio-de-contradicao|princípio de contradição]]". Esquematicamente, esta [[lexico:e:especie|espécie]] de [[lexico:r:raciocinio|raciocínio]] decorre da seguinte maneira: Vamos demonstrar que S = P. Suponhamos que S = não-P; se não-P = M, teríamos S = M. Mas, na [[lexico:r:realidade|realidade]], sendo M = não-S, teríamos S = não-S. Como isto é uma contradição, deve ser falsa a hipótese S = não-P, e, portanto, verdadeira, a hipótese S = P, pressupondo, naturalmente, que as proposições intermédias empregadas (não-P = M; M = não-S) sejam inatacáveis. Só quando estas forem analíticas, é que a demonstração indireta será uma redução "[[lexico:a:analitica|analítica]]" ao [[lexico:p:principio|princípio]] de contradição; neste caso, a [[lexico:n:negacao|negação]] da proposição S = P inclui uma contradição [[lexico:f:formal|formal]]. A demonstração indireta pode sempre converter-se em direta por [[lexico:m:meio|meio]] de transformações adequadas. — De Vries.