mantıksal çıkarım kuralı

mantıksal çıkarım kuralı İng. logical inference rule

Mantıksal önerme kalıplarına ilişkin çıkarım kuralı. || Örn. ()

mantıksal çıkarım kuralı ile benzer kelimeler

mantıksal dönüştürme kuralı

İng. logical transformation rule

Eşdeğerlik kuralı.

() || Krş.. ilkel , türetilmiş , geçerli çıkarım kuralları kümesi, örneği, ilk , türetilmiş , giriş kuralı, çıkış kuralı, ayırma kuralı, ikilem, tümel özelleme kuralı, tikel özelleme kuralı,niceleyici değillemesi, mantıksal . Örn. () ...

çıkarım kuralı örneği

İng. instance of an inference rule

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. ()

ilkel çıkarım kuralı

İng. primitive inference rule

Dizimbilim ilksavı olan çıkarım kuralı.

öncülsüz çıkarım kuralı

İng. premiss-free inference rule

Sıfır sayıda öncülü olan ya da başka bir deyişle hiç bir öncülü kapsamayan çıkarım kuralı.

türetilmiş çıkarım kuralı

İng. derived inference rule

Dizimbilimde kanıtlanabilen ilkel olmayan çıkarım kuralı.

geçerli mantıksal dizge

İng. sound logical system

Her kanıtlanır çıkarımı geçerli olan mantıksal dizge.

mantıksal

sf. Mantıklı: Mantıksal bir dille açığa vurduğu bu harika önerinin aksayan bir yanı vardı. -N. Nadi.

"mantıksal çıkarım kuralı" karakter analizi

mantıksal çıkarım kuralı, 24 karakter ile yazılır.
m harfi ile başlar, ı harfi ile biter.

Karakter dağılımı

'm', 'a', 'n', 't', 'ı', 'k', 's', 'a', 'l', ' ', 'ç', 'ı', 'k', 'a', 'r', 'ı', 'm', ' ', 'k', 'u', 'r', 'a', 'l', 'ı', şeklindedir.
mantıksal çıkarım kuralı kelimesinin tersten yazılışı ' ılaruk mırakıç laskıtnam' diziliminde gösterilir.