Kanıtsav anlamı nedir?
- İ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.
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları