![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
(no subject)
May. 15th, 2011 07:57 am Предлагаю сокращённую форму математической записи.
Вместо:
forall a (.....a.....)
писать:
(.....forall.....)
Вместо:
exists b (.....a op1 b and b op2 c.....)
писать:
(.....a op1 op2 c.....)
В обоих случаях подразумеваю, что переменная под квантором не имеет других вхождений в данном высказывании.
Вместо:
forall a (.....a.....)
писать:
(.....forall.....)
Вместо:
exists b (.....a op1 b and b op2 c.....)
писать:
(.....a op1 op2 c.....)
В обоих случаях подразумеваю, что переменная под квантором не имеет других вхождений в данном высказывании.
