in logic, an argument equally con- clusive by contrary suppositions.