Lo siguiente es una tautología: $$(R\to \neg R) \to \neg R.$$ Es decir, si a partir de una premisa podemos demostrar que la premisa es falsa, entonces la premisa es falsa.
Si desde $P$ y $\neg Q$ podemos demostrar $Q$ , entonces de $P$ podemos demostrar $\neg Q\to Q$ reemplazando $R$ con $\neg Q$ en la tautología anterior, obtenemos $$(\neg Q\to \neg(\neg Q))\to \neg\neg Q.$$
En lógica no intuicionista, lógica clásica, la Ley del Medio Excluido nos dice que $\neg\neg Q\leftrightarrow Q$ es una tautología. Sustituyendo y utilizando el Modus Ponens, tenemos entonces que de $P$ podemos deducir $ Q$ . Desde $P$ podemos deducir $Q$ concluimos que $P\to Q$ se mantiene.
Eso es:
$$\begin{align*} 1.&&P,\neg Q&\vdash Q&\text{(what we are assuming we can prove)}\\ 2.&&P&\vdash \neg Q\to Q &\text{(Deduction Theorem)}\\ 3.&&P&\vdash ((\neg Q\to \neg\neg Q)\to \neg\neg Q) &\text{(Tautology)}\\ 4.&&P&\vdash \neg\neg Q\leftrightarrow Q &\text{(Tautology)}\\ 5.&&P&\vdash (\neg Q\to Q)\to Q &\text{(by substitution of 4 in 3)}\\ 6.&&P&\vdash Q &\text{(Modus ponens, 2,5)}\\ 7.&&&\vdash P\to Q &\text{(Deduction Theorem)} \end{align*}$$
Dicho esto:
Es muy común encontrar lo que yo llamo "falsas pruebas por contradicción". Pruebas en las que queremos demostrar $P\to Q$ ; asumimos que ambos $P$ y $\neg Q$ . Entonces sin utilizar el supuesto $\neg Q$ procedemos a utilizar la suposición $P$ para establecer $Q$ . Entonces el autor dice "Pero esto contradice $\neg Q$ , una contradicción; por lo tanto, $Q$ ."
Eso es una mala forma y una prueba mal escrita. La prueba se puede hacer directamente simplemente eliminando la línea que dice "Asumir $\neg Q$ ", y eliminando la línea que dice "Pero esto contradice $\neg Q$ una contradicción". Es decir, lo que tenemos es una prueba directa que se ha convertido en una prueba por contradicción añadiendo una suposición extra al principio (que nunca se utiliza) y una línea extra al final (que sólo señala que la nueva línea extra al principio contradice nuestra conclusión anterior).
Por ejemplo:
Teorema. Si $V$ es un espacio vectorial, y $W_1$ y $W_2$ son subespacios propios de $V$ entonces $V\neq W_1\cup W_2$ .
Prueba falsa por contradicción. Supongamos por el contrario que $V=W_1\cup W_2$ .
Si $W_1\subseteq W_2$ entonces $W_1\cup W_2=W_2\neq V$ porque estamos asumiendo $W_1$ y $W_2$ son subespacios propios. Por lo tanto, podemos suponer que $W_1\not\subseteq W_2$ . Simétricamente, si $W_2\subseteq W_1$ entonces $W_1\cup W_2=W_1\neq V$ por lo que podemos suponer $W_2\not\subseteq W_1$ .
Dejemos que $w_1\in W_1-W_2$ y $w_2\in W_2-W_1$ . Entonces $w_1+w_2\notin W_1$ (ya que $w_1\in W_1$ pero $w_2\notin W_1$ ); y $w_1+w_2\notin W_2$ (ya que $w_2\in W_2$ pero $w_1\notin W_2$ ). Por lo tanto, $w_1+w_2\notin W_1\cup W_2$ . Así, $w_1+w_2\in V-(W_1\cup W_2)$ Así que $V\neq W_1\cup W_2$ .
Pero esto contradice nuestra suposición de que $V=W_1\cup W_2$ . Por lo tanto, esta suposición es falsa, por lo que concluimos que $V\neq W_1\cup W_2$ . $\Box$
Ahora bien, fíjate en que si suprimimos las primeras líneas ("Supongamos lo contrario...") y las dos últimas ("Pero esto contradice nuestra suposición de que..."), tenemos un directo ¡prueba de lo que estábamos tratando de probar! Las líneas adicionales no hacen más que oscurecer la prueba y posiblemente crear confusión. Así que es mejor quitarlas.
Tal vez sea ese el tipo de cosas que observó, ya que menciona específicamente una "prueba por contradicción" en la que se llega a la contradicción mostrando que $P$ y $\neg Q$ implica $Q$ ?
Estos son pruebas válidas, sólo incluyen cosas que no son necesarias.
Tenga en cuenta que no está suponiendo que $Q$ , usted está asumiendo $\neg Q$ Como no estás asumiendo lo que quieres demostrar, no estás haciendo un razonamiento circular.
0 votos
Uno puede ver esto sin usar la contradicción, ya que
0 votos
Por favor, ignora el comentario de arriba, accidentalmente le di a "enter" antes de que terminara.
0 votos
Bueno, sí, si no Q implica Q, entonces Q debe ser cierto. Creo que la razón por la que es un poco confuso de pensar es debido a la flecha que conduce de nuevo a cerca de donde comenzó, pero en realidad esto sólo una tabla de verdad excepcionalmente simple con sólo dos casos a considerar: Q es falso o Q es verdadero. Uno de ellos funciona y el otro no.