çıkarım kuralı ne demek?

1. (…) || Krş.. ilkelçıkarım kuralı, türetilmişçıkarım kuralı, geçerli çıkarım kuralları kümesi,çıkarım kuralı örneği, ilkçıkarım kuralı, türetilmişçıkarım kuralı, giriş kuralı, çıkış kuralı, ayırma kuralı, ikilem, tümel özelleme kuralı, tikel özelleme kuralı,niceleyici değillemesi, mantıksalçıkarım kuralı. Örn. (…)
2. Inference rule.
3. Règle d’infèrence

çıkarım kuralı örneği

1. Bir çıkarım kuralının ilişkin olduğu çıkarım kalıbının (kuralın öngördüğü koşulu yerine getiren) herhangi bir örneği. || Örn. (…)

çıkarım kalıbı

1. (…) || Krş.. çıkarım, çıkarım kuralı, geçerliçıkarım kalıbı, geçersizçıkarım kalıbı, kalıp örneği.
2. Inference schema.
3. Scheme d'inférence

kuralı

1. Kurasını çekmiş, askere gitmeyi bekleyen (asker)

Türetilmiş Kelimeler (bis)