Частный случай формулы

---

Если в формулу ${\displaystyle A(x_{1},\dots ,x_{n})}$ вместо переменных ${\displaystyle x_{1},\dots ,x_{n}}$ подставить соответственно формулы ${\displaystyle B_{1},\dots ,B_{n}}$ то получится формула ${\displaystyle B}$, которая называется частным случаем формулы ${\displaystyle A}$:

Каждая формула ${\displaystyle B_{i}}$ подставляется вместо всех вхождений переменной ${\displaystyle x_{i}}$.

Набор подстановок ${\displaystyle \{B_{i}//x_{i}\}_{i=1}^{n}}$ называется унификатором.

Набор формул ${\displaystyle B_{1},\dots ,B_{n}}$ называется частным случаем набора формул ${\displaystyle A_{1},\dots ,A_{n}}$, если каждая формула ${\displaystyle B_{i}}$ является частным случаем формулы ${\displaystyle A_{i}}$ при одном и том же наборе подстановок.

---