Квантор: Разлика между версии
Изтрито е съдържание Добавено е съдържание
м Замяна на оттегления синтекс на латекс в съответствие с mw:Extensions:Math/Roadmap |
|||
Ред 2:
:<math>(\exist x)_{R(x)}P(x)</math>,
което е равнозначно на
:<math>\exist x(R(x) \
или
:<math>(\forall x)_{R(x)}P(x)</math>,
| |||