kanıtsav

kanıtsav

bk. sav.

kanıtsav İng. theorem, formal theorem, thesis

İlksavlı bir biçimsel dizgede kanıtlanabilen, başka bir deyişle ilksavlardan çıkarım kuralları yardımıyla türetilebilen tamdeyim. || Temel mantıklı bir biçimsel dizgenin kanıtsavları yinelgen sayılabilir olan bir küme oluşturur.

kanıtsav İng. theorem

Tümdengelimci bir dizgede önsayıtlardan çıkarım kalıpları ya da kuralları aracılığıyla türetilen ya da kanıtlanabilen önerme.

---

kanıtsav ile benzer kelimeler

kanıtsav kalıbı İng. theorem schema Her örneği, sözedilen dilde kanıtsav durumunda olan bir önerme kalıbı.|| Örn. ( ) kümeler kuramının bir dır.

mantıksal kanıtsav İng. logical theorem Geçerli bir mantıksal dizgede, öncülsüz bir çıkarımın sonucu olarak ya da başka bir deyişle boş kümeden türetilebilen önerme. ||Krş.. öncülsüz çıkarım.

sözeden kanıtsav İng. metatheorem Bir biçimsel dili konu edinen dizimbilim, yorumbilim ya da kullanımbilim kanıtsavı. || Örn. tümdengelim kanıtsavı,

---