kanıtlama

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 kuramı

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.