функция P типа: Mn → B, где B={0,1}, M – произвольное множество, т.е. функция P, сопоставляющая вектору (m1,m2,...,mn) значение 0 или 1. Множество M называется предметной областью предиката P(m1,m2,...,mn); m1,m2,...,mn – предметными переменными, P – предикатным символом.
