predicate logic of first order

birli yüklemler mantığı

1. • matematik
   Yalnızca birli yüklem simgeleri ve ad simgelerine dayanan mantık dalı.
   İngilizce one-place predicate logic; predicate logic of first order

   Fransızca logique du premier ordre, f; calcul des prédicats du premier ordre, m; calcul des relations, m

   Almanca Praedikantlogik der Ersten Stufe, f