gerektirme kuralı
gerektirme kuralı İng. necessitation rule
p kanıtsav olması koşuluyla, ( ) nin türetilebildiğini dile getiren öncülsüz çıkarım kuralı.
gerektirme kuralı için benzer kelimeler
gerektirme kuralı, 17 karakter ile yazılır. Ayrıca,
g harfi ile başlar, ı harfi ile biter. Tüm karakter dağılımı ise,
'g', 'e', 'r', 'e', 'k', 't', 'i', 'r', 'm', 'e', ' ', 'k', 'u', 'r', 'a', 'l', 'ı', şeklindedir.
gerektirme kuralı kelimesinin tersten yazılışı ılaruk emritkereg diziliminde gösterilir.