Contradiction elimination

In symbolic logic, a valid inference in a system of truth-functional rules. From a contradiction, anything follows. So, once a contradiction has been established in a proof, any statement is permitted immediately after.