If a sentence S is true, then all logical consequences of S are true; denying this violates basic lo...
This proposition has not been edited since the history system was added.