Английская Википедия:Hintikka set: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

21 марта 2024

  • текущ.пред. 17:5117:51, 21 марта 2024EducationBot обсуждение вклад 2329 байт +2329 Новая страница: «{{Английская Википедия/Панель перехода}} {{Orphan|date=October 2022}} In mathematical logic, a '''Hintikka set''' is a set of logical formulas whose elements satisfy the following properties: # An atom or its conjugate can appear in the set but not both, # If a formula in the set has a main operator that is of "conjuctive-type", then its two operands appear in the set, # If a formula in the...»