A situation in logic whereby two solutions can be derived from the same proof, but those conclusions contradict one another. However, taken individually, both cases are valid.
Lost password
Sign Up
Need help? accounthelp@everything2.com