Структура исчисления предикатов построение логического вывода
Впрочем, перечислим систематически основные типы выражений описываемого языка, каковыми являются: исходные символы, термы и формулы .
Однако в дальнейшем, например при анализе понятия следования, формулы со свободными переменными трактуются как...