BSTS / Mantık Terimleri Sözlüğü
giriş kuralı anlamı İng. introduction rule Alm. Einführungsregel Fr. régle d'introduction
Öncülleri bir mantıksal değişmezi kapsamayıp sonucu bu değişmezi kapsayan çıkarım kuralı. Eklemlerin giriş kuralları şöyledir: (…) Krş.. tikel niceleyicinin giriş kuralı, tümel niceleyicinin giriş kuralı, olanaklılık giriş kuralı.