kanıtsav
-
teorem, formal teorem, tez.
ilksavlı bir biçimsel dizgede kanıtlanabilen, başka bir deyişle ilksavlardan çıkarım kuralları yardımıyla türetilebilen tamdeyim.
tümdengelimci bir dizgede önsayıtlardan çıkarım kalıpları ya da kuralları aracılığıyla türetilen ya da kanıtlanabilen önerme.
temel mantıklı bir biçimsel dizgenin kanıtsavları yinelgen sayılabilir olan bir küme oluşturur.
(bkz: ilksav)
(bkz: tamdeyim)
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap