Все доступные журналы

Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).

• 14:20, 25 марта 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Import–export (logic) (Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Principle of classical logic}} In propositional logic, '''import-export''' is a name given to the propositional form of Exportation: :<math> (P \rightarrow ( Q \rightarrow R )) \leftrightarrow ((P \land Q) \rightarrow R)</math>. This already holds in minimal logic, and thus also in classical logic, where the conditional operator "...»)