BSTS / Mantık Terimleri Sözlüğü
mantıksal ilksav anlamı İng. logical axiom Alm. logisches Axiom Fr. axiom logique
Geçerli bir mantıksal dizgede mantıksal, ilkel, öncülsüz bir çıkarım kuralının örneği olan sözedilen dil önermesi. || Krş.. çıkarım kuralı örneği,öncülsüz çıkarım kuralı.