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