in Logic, an argument equally conclusive by contrary suppositions.