Наведем iндуктивне определение понятия формулы логiки предикатiв (предикатной формулы или просто формулы ) на предметнiй областi M. 1. Усi предикаты P(x1, x2,...,xn) на множинi M являются формулами. Такi формулы называют элементарными, или атомарными. 2. Если A i B - формулы, то (A), (B) (AB) (AB) (AB)....