eng

kanıtlama ne demek?

kanıtlama

Tümdengelimci bir dizgede herhangi bir vargı ya da çıkarımı öncüllere ve sonunda önsayıtlara indirgeme.

Yöntembilim Terimleri Sözlüğü

kanıtlama

Bir biçimsel dizgede belli bir önermeyi ilksavlar kümesinden türetme işlemi. || Anl. tanıtlama.

kanıtlama

Bir önermeyi belitler kümesinden kalkarak türetme işlemi.