kanıtsav kalıbı
kanıtsav kalıbı İng. theorem schema
Her örneği, sözedilen dilde kanıtsav durumunda olan bir önerme kalıbı.|| Örn. ( ) kümeler kuramının bir kanıtsav kalıbıdır.
kanıtsav kalıbı için benzer kelimeler
kanıtsav kalıbı, 15 karakter ile yazılır. Ayrıca,
k harfi ile başlar, ı harfi ile biter. Tüm karakter dağılımı ise,
'k', 'a', 'n', 'ı', 't', 's', 'a', 'v', ' ', 'k', 'a', 'l', 'ı', 'b', 'ı', şeklindedir.
kanıtsav kalıbı kelimesinin tersten yazılışı ıbılak vastınak diziliminde gösterilir.