Исчисление предикатов
Предикаты Многие утверждения, имеющие форму высказываний, на самом деле такими не являются, так как содержат переменные, значения которых не указано. Такие утверждения называются предикатами. Предикат с одной переменной, называется одноместным предикатом . Предикат с двумя переменной, называется двуместным предикатом . Предикат с n переменными, называется n - местным предикатом . Некоторые предикаты истинны для каждого возможного набора значений переменных Символ ∀х называется универсальным квантором (квантором всеобщности). Читается “для любого х”, “для каждого х”. Множество значений, которое может принимать х, называется универсом, или предметной областью.