Knowing that a proposition is false requires more than deriving a contradiction from it within a for...