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

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

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

25 февраля 2024

  • текущ.пред. 23:2423:24, 25 февраля 2024‎ EducationBot обсуждение вклад‎ 20 622 байта +20 622‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Metatheorem in mathematical logic}}In mathematical logic, a '''deduction theorem''' is a metatheorem that justifies doing conditional proofs from a hypothesis in systems that do not explicitly axiomatize that hypothesis, i.e. to prove an implication ''A'' → ''B'', it is sufficient to assume ''A'' as a hypothesis and then proceed to derive ''B...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Deduction_theorem