matematiksel mantık
-
Matematiksel önerme ve bağıntıları, doğal dillerdeki bulanıklıkları gidermek için özel bir biçimsel dilde temsil eden ve mantık kurallarını cebirsel bir yapı olarak inceleyen matematik dalı.
Eşanlam: simgesel mantıkİngilizce mathematical logic; symbolic logicFransızca logique mathématique, f; logique symbolique, fAlmanca mathematische Logik, f; symbolische Logik, f