Obsérvese que si Q (x) es un predicado para el cual (∀x) Q (x) es falso, entonces un contraejemplo a esta proposición equivale a mostrar (x) (¬Q (x)), lo que puede probarse siguiendo la estructura de ...Obsérvese que si Q (x) es un predicado para el cual (∀x) Q (x) es falso, entonces un contraejemplo a esta proposición equivale a mostrar (x) (¬Q (x)), lo que puede probarse siguiendo la estructura de Prueba Esqueleto 2.84. Por ejemplo, si quisieras probar una proposición de la forma (∀x) (P (x) =⇒ Q (x)) por contradicción, comenzaríamos asumiendo que existe x en el universo del discurso tal que P (x) y ¬Q (x).
