MathLib
LibMeta
Graph RAG
Lab
Blog
About
Team
RU
EN
LibMeta
/
Formula_1873
Formula
Formula_1873
http://libmeta.ru/thesaurus/Formula_1873
Формулы
\[a \leqslant b \Rightarrow \bar{b} \leqslant \bar{a}\]
Входящие связи
← extra formula · 1
КВАНТОВАЯ ЛОГИКА