Definición 2--Una expresión lógica es una "contradicción" si es falsa para todas las asignaciones posibles.