kanıtsav kalıbı ne demek?

1. Her örneği, sözedilen dilde kanıtsav durumunda olan bir önerme kalıbı.|| Örn. (…) kümeler kuramının birkanıtsav kalıbıdır.
2. Theorem schema.
3. Schémede théoremè

kanıtsav

1. İ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.
2. Theorem, formal theorem, thesis.
3. Théorème, thèse

kanıtsama

1. Kanıtsamak işi.

kalb

1. Bk. yürek
2. Vücudun kan dolaşımı merkezi. Yürek.

Türetilmiş Kelimeler (bis)