En efecto, hemos probado\((P \& Q) \Rightarrow R\): que si el Papa y la Reina están aquí, entonces el Registrador está aquí. Puede parecer como si esto es una prueba de que se puede derivar cualquier ...En efecto, hemos probado\((P \& Q) \Rightarrow R\): que si el Papa y la Reina están aquí, entonces el Registrador está aquí. Puede parecer como si esto es una prueba de que se puede derivar cualquier conclusión\(Q\) (como la conclusión de que la Reina está aquí) de cualquier hipótesis\(P\) (como la hipótesis de que el Papa está aquí).
