Uno de los teoremas más famosos de la teoría gráfica, El teorema de los cuatro colores, Teorema 9.6.1, fue probado en 1976, después de más de un siglo de esfuerzo por muchos matemáticos. El método de ...Uno de los teoremas más famosos de la teoría gráfica, El teorema de los cuatro colores, Teorema 9.6.1, fue probado en 1976, después de más de un siglo de esfuerzo por muchos matemáticos. El método de prueba indirecta se basa en la equivalenciaP→C⇔¬(P∧¬C). En palabras, esta ley lógica establece que siP⇒C, entonces siempreP∧¬C es falsa; es decir,P∧¬C es una contradicción.
