Что он делает

это framework для семантики: можно добавлять семантику операторов, eval -функция строится по "алгебре" операторов семантики. Вобщем это некий "заменитель" алгебраизации логики предикатов (и не только). Вот кванторы например - как определить их семантику алгебраически? Есть цилиндрические алгебры и полиадические - но это не то. Через косвенный eval для операций все квантороподобные операции легко и просто определяются просто как у вчебнике.

Ну а semprog - это программная реализация этого подхода.

Почему не то

Алгебра классической логики предикатов — это как раз цилиндрическая или полиадическая

Можно ещё ограниченную алгебру Шейнфинкеля задать, пропустив предикаты через Куайна—Куна

Какова арность квантора существования например?

А можно просто как в учебнике определить. Вопрос : что более естественно?

В каком учебнике? Пример.

Любом introductory по матлогике. Название сейчас не приведу, я в машине.

Если не рассматривать плюральную квантификацию, то мы связываем отдельные переменные.

∃x,y является сокращением ∃x∃y

То есть, арность — 1

Речь идёт о том, что за определения и в каких учебниках вы имеете в виду.

Квантификация с бесконечным числом аргументов не является классической, это допустимо только в некоторой инфинитарной логике. Потому что это приводит к формуле, эквивалентной бесконечно записываемой.

Т.е. полная множественная (multiple, это не plural) квантификация доступна только в инфинитарных логиках, а до тех пор то, что N переменных в одном кванторе является сокращением N тех же кванторов на каждую переменную — выполняется.

В инфинитарных тоже выполняется, скорее всего, только они допускают вставлять ... и подобное, чтобы при этом не требовалась эффективная и конечная процедура перечисления (и можно было бы работать с несчётным числом переменных). Без таковой процедуры перечисления в классической логике ... просто недопустимы.

@unterumarmung ВНИМАНИЕ ЭТО КИДОК И МОШЕННИК 🤬

Так на что он кинул?

Чел, я не делаю ничего на заказ

Я чёт собрать не смог, кстати

в этом и кидок

Блен (((