Ö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ı.
TDK Mantık Terimleri Sözlüğü