Переменная-предикат
- Переменные-предикаты в логике используются для кодирования схем аксиом и теорем.
- Метапеременные-предикаты используются для кодирования схем аксиом и теорем, в отличие от обычных «букв-предикатов».
- Переменные-предикаты могут быть связаны с пропозициональными переменными или буквами-предикатами с различной арностью.
- Логика второго порядка использует переменные-предикаты, связанные с пропозициональными переменными.
- Исчисление предикатов более высокого порядка использует переменные-предикаты, связанные с пропозициональными функциями.
Полный текст статьи: