Изменения

функцию <tex>f_{P^k_n}: D^k \rightarrow V</tex>.

|definition=

Формула в исчислении предикатов общезначима, если она истинна на любом предметном множестве <tex>D</tex>, при любой оценке предикатов, и при