in logic, an argument equally conclusive by contrary suppositions. See LOGIC.