PRUF 是(Possibilistic Rela-tional Universal Fuzzy)的缩写，它是一个目然语言的意义表示语言。一个 PRUF 的表达式是一个过程，它是用于计算由一个用目然语言表示的命题引入的可能性分布。

通过对这种分布应用 PRUF 的推理法则，我们得到其它的可能性分布，它们是从模糊前提出发演绎得到的结论，然后对它们进行再翻译，用语言近似地表示出来。

模糊逻辑推理的基本法则是投影原理，特指/合取原理和必含原理。