Описание тега first-order-logic

Описание тега Вопросы с тегом
Логика первого порядка - это формальная логическая система, используемая в математике, философии, лингвистике и информатике.

Ссылка на вольфрам:

Набор терминов логики первого порядка (также известный как исчисление предикатов первого порядка) определяется следующими правилами:

  1. Переменная - это термин.

  2. Если f - это n-местный функциональный символ (с n>=0) и t_1, ..., t_n - термы, то f(t_1,...,t_n) - это терм.