En esta lección se dan ejemplos de cómo usar la contradicción para demostrar que una proposición de la forma "para todo x, p(x)" es verdadera.
Además, se demuestra que si p es primo entonces la raíz cuadrada de p es irracional.
Se demuestra también que sin x+cos x es mayor que 1 en el intervalo (0,pi/2)