MathLib
LibMeta
Graph RAG
Лаборатория
Блог
О проекте
Команда
RU
EN
LibMeta
/
Formula_1873
Формула
Formula_1873
http://libmeta.ru/thesaurus/Formula_1873
Формулы
\[a \leqslant b \Rightarrow \bar{b} \leqslant \bar{a}\]
Входящие связи
← доп. формула · 1
КВАНТОВАЯ ЛОГИКА