Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 04:21, 9 февраля 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Biconditional elimination (Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Inference in propositional logic}} {{Infobox mathematical statement | name = Biconditional elimination | type = Rule of inference | field = Propositional calculus | statement = If <math>P \leftrightarrow Q</math> is true, then one may infer that <math>P \to Q</math> is true, and also that <math>Q \to P</math> is true. | symbolic statement = {{plainlist| * <m...»)