Contraejemplo
Un contraejemplo es un caso específico que muestra que un enunciado general es falso.
Ejemplo 1:
Proporcione un contraejemplo para mostrar que el enunciado
"Cada cuadrilátero tiene por lo menos dos lados congruentes"
no siempre es verdadero.
Cualquier cuadrilátero escaleno servirá como un contraejemplo.
Para un enunciado condicional (si-entonces), un contraejemplo debe ser un ejemplo que satisface la hipótesis , pero no la conclusión .
Ejemplo 2:
Proporcione un contraejemplo para mostrar que el enunciado
Si , entonces
no es verdadero para todos los números reales p, q , y x .
Digamos que p = 1, q = 0 y x = 0.
Entonces pero , ya que la división entre 0 no está definida.