mantıksal ilksav kalıbı
mantıksal ilksav kalıbı İng. logical axiom-schema
Bir biçimsel dizgede, öncülsüz ilkel geçerli çıkarım kuralı. || Örn. Doğrusal eklemler mantığına ilişkin Hilbert-Ackermann mantıksal ilksav kalıpları ( )
mantıksal ilksav kalıbı için benzer kelimeler
mantıksal ilksav kalıbı, 23 karakter ile yazılır. Ayrıca,
m harfi ile başlar, ı harfi ile biter. Tüm karakter dağılımı ise,
'm', 'a', 'n', 't', 'ı', 'k', 's', 'a', 'l', ' ', 'i', 'l', 'k', 's', 'a', 'v', ' ', 'k', 'a', 'l', 'ı', 'b', 'ı', şeklindedir.
mantıksal ilksav kalıbı kelimesinin tersten yazılışı ıbılak vaskli laskıtnam diziliminde gösterilir.