раздел математической логики, логическоеисчисление, в алфавит знаков которого, помимо символов исчислениявысказываний, входят также символы вещей (индивидов), их свойств иотношений, а также выражений "все" и "некоторые" (кванторы), позволяющиеколичественно охарактеризовать связи вещей, свойств и отношений; служитаксиоматизацией логики предикатов.






Ссылка на выделенный текст