yüklem mantığı

listen to the pronunciation of yüklem mantığı
التركية - الإنجليزية
predicate logic
First-order logic
The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic