Логика первого порядка — история изменений

Перейти к навигации Перейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предыдущей версии; м — малые изменения.

30 декабря 2025

  • текущ.пред. 00:2400:24, 30 декабря 2025 178.70.33.173 обсуждение 18 665 байт +18 665 →Аксиоматика и доказательство формул: Без правила для удаления квантора существования аксиома введения, приведённая в данной статье неполна. Если у нас есть полная пара "удаление – введение" только для квантора всеобщности, то квантор существования – не примитивное, а производное понятие, которое в классической логике можно выразить через двойное отрицание. Как вариант, можно оставить старый вариант аксиомы, но тогда нужно добавить правило для удаления квантора существования, а это сложнее
Источник — https://camokathomelab.servebeer.com/mediawiki/index.php/Логика_первого_порядка