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