BSTS / Mantık Terimleri Sözlüğü
mantıksal ilksav kalıbı anlamı İng. logical axiom-schema Alm. logisches Axiomschema Fr.schème d'axiome logique
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ı (…)