संस्‍कृतशब्‍दकोशः

Monier–Williams

उपपत्तिसम — {sama} m. (in log.) a kind of contradiction in which both the contradicting assertions are supposed to be demonstrable (e.g. sound is uneternal, because it is produced##it is eternal, because it is not tangible) Nyāyad. Nyāyak