kanıtlama
a. Kanıtlamak işi, ispatlama: Dil saygısızlığını düzgün bir dille kanıtlamaya çalışanlara da rastlayabiliriz, ona ne kuşku. -N. Uygur.
kanıtlama İng. proving
Bir önermeyi belitler kümesinden kalkarak türetme işlemi.
kanıtlama İng. proving
Bir biçimsel dizgede belli bir önermeyi ilksavlar kümesinden türetme işlemi. || Anl. tanıtlama.
kanıtlama İng. proving
Tümdengelimci bir dizgede herhangi bir vargı ya da çıkarımı öncüllere ve sonunda önsayıtlara indirgeme.
kanıtlama için benzer kelimeler
kanıtlama, 9 karakter ile yazılır. Ayrıca,
k harfi ile başlar, a harfi ile biter. Tüm karakter dağılımı ise,
'k', 'a', 'n', 'ı', 't', 'l', 'a', 'm', 'a', şeklindedir.
kanıtlama kelimesinin tersten yazılışı amaltınak diziliminde gösterilir.