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