In classical logic, from a contradiction (P ∧ ¬P), any proposition Q follows by the principle of dis...
This proposition has not been edited since the history system was added.