BSTS / Mantık Terimleri Sözlüğü
temel mantıklı dil anlamı İng. elementary language, first-order language with equality
Mantıksal değişmezleri eklemler, niceleyiciler, eşitlik; değişkenleri tek çeşitli bireysel değişkenler; düzgün deyimleri de ad, önerme, yüklem, işlev dizimsel türlerinden olan biçimsel dil.