Тое парадигма (Пренек нормална форма) предикат формула и даље пред снопа формуле парадигми предиката ако предикат формула Ф еквивалентно трансформисати у
Онда је први пакет Ф парадигма, где К1, К2, ..., Кк само "или $, к1, к2, ..., кк су индивидуалне променљиве, Б је предикат квантификатор слободан формула.
Сваки предикат формула Ф могу да се конвертују у свој еквивалент прстима парадигме следеће кораке:
① елиминација везивног ®, «,` у;
② Пређите везивног Ø атомске формуле предикатна раније;③ Употреба имена промене или правилима за замену, тако да су све везане променљиве симболи су различити, а слободан и везан променљиве варијабле симболи су различити;
④ "к, $ к преместите целу крајње левог формуле;
⑤ добити парадигму формуле пете.
|
