e/tr/Tüketerek tanıtlama

Information
instance of	(noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof

Meaning
Turkish
has gloss	tur: Tüketerek tanıtlama veya kaba kuvvet yöntemi ya da durum çözümlemesi olarak bilinen yöntem, tanıtlanacak önermenin sonlu sayıda duruma bölünerek her durumun ayrı ayrı tanıtlandığı bir matematiksel tanıt yoludur. Tüketerek tanıtlama iki aşamada gerçekleştirilir:
lexicalization	tur: tüketerek tanıtlama