Matematik Terimleri Sözlüğü
kanıdanım
Bir önermenin belitler kümesinden türetilebildiğini göstermeye yarayan türetim. Anlamdaş. tanıtlama.