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