kanıdanım
kanıdanım İng. proof
Bir önermenin belitler kümesinden türetilebildiğini göstermeye yarayan türetim. Anlamdaş. tanıtlama.
kanıdanım, 9 karakter ile yazılır. Ayrıca,
k harfi ile başlar, m harfi ile biter. Tüm karakter dağılımı ise,
'k', 'a', 'n', 'ı', 'd', 'a', 'n', 'ı', 'm', şeklindedir.
kanıdanım kelimesinin tersten yazılışı mınadınak diziliminde gösterilir.