Английская Википедия:Exportation (logic): история изменений

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

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

5 марта 2024

  • текущ.пред. 18:2618:26, 5 марта 2024‎ EducationBot обсуждение вклад‎ 5147 байт +5147‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Rule of replacement in propositional logic}} {{Infobox mathematical statement | name = Exportation | type = Rule of replacement | field = Propositional calculus | statement = | symbolic statement = <math>((P \land Q) \to R) \Leftrightarrow (P \to (Q \to R))</math> }} {{Transformation rules}} '''Exportation'''<ref>{{cite book |title=A Concise Introduction t...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Exportation_(logic)