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.