içerme kuralı

içerme kuralı İng. implication rule

Tümel kapanışı yorumbilimde belli koşullarda kanıtlanmış olan içerme kalıbı. || (…) B içerme kalıbının tümel kapanışının kanıtlanması, (…) çıkarım kalıbının geçerliliğinin kanıtlanması anlamına gelir. Krş.. mantık kuralı, mantık yasası, eşdeğerlik kuralı. Örn. (…)


içerme kuralı, 13 karakter ile yazılır. Ayrıca, i harfi ile başlar, ı harfi ile biter. Tüm karakter dağılımı ise, 'i', 'ç', 'e', 'r', 'm', 'e', ' ', 'k', 'u', 'r', 'a', 'l', 'ı', şeklindedir.
içerme kuralı kelimesinin tersten yazılışı ılaruk emreçi diziliminde gösterilir.