temel mantıklı biçimsel dil sözlük anlamı nedir?

Sözlükte temel mantıklı biçimsel dil kelimesinin manası:

  1. Mantıksal değişmezleri eklemler, niceleyiciler ile eşitlik; mantıksal olmayan değişmez türleri ad, yüklem, işlev, değişkenleri de bireysel değişken olan biçimsel dil.

temel mantıklı biçimsel dil ile alakalı bazı sözcükler ve anlamları