kanıtsamak ne demek?
- Kanıt, belge veya delil olarak kabul etmek.
- To accept sth as evidence.
kanıtsama
- Kanıtsamak işi.
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 dizgeninkanıtsavları yinelgen sayılabilir olan bir küme oluşturur.
- Theorem, formal theorem, thesis.
- Théorème, thèse