eng

kanıtsav ne demek?

kanıtsav

İ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.

TDK Mantık Terimleri Sözlüğü

kanıtsav

Yöntembilim Terimleri Sözlüğü
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