Логика нулевого порядка - Zeroth-order logic
Логика нулевого порядка является логикой первого порядка без переменных или кванторов . Некоторые авторы используют фразу «логика нулевого порядка» как синоним пропозиционального исчисления , но альтернативное определение расширяет пропозициональную логику, добавляя константы, операции и отношения к не-булевым значениям. Каждый язык нулевого порядка в этом более широком смысле полон и компактен .