Основное выражение
- В математической логике термин без переменных является основным термином формальной системы.
- Базовая формула не содержит переменных.
- В логике первого порядка с тождеством с постоянными символами, приговор Q(a) ∨ P(b) является основной формулой.
- Основное выражение — это основной термин или основная формула.
- Примеры основных условий и основных формул приведены в статье.
- Формальное определение языков первого порядка включает набор постоянных символов, функциональных операторов и символов-предикатов.
- Основной термин определяется с помощью логической рекурсии и может быть задан с помощью конечных правил.
- Основной атом — это атомарная формула, все члены аргумента которой являются основными терминами.
- Основная формула или предложение ground — это формула без переменных, которая может быть определена с помощью синтаксической рекурсии.
Полный текст статьи: