Користувач:Галактион/Якість

Подстраница "Користувач:Галактион/Якість" создана для того, чтобы перенести информацию из раздела "Обговорення" статьи "Якість". Галактион 15:23, 5 березня 2010 (UTC)

Дополнение к статье "Якiсть"

$~\mathrm {Any\ quality\ is\ an\ attribute\ or\ a\ property.}$

Примеры

В аксиоме выделения

$~a\vdash \quad \forall x\exists y\forall z\ (z\in y\ \leftrightarrow \ z\in x\ \land \ \mathrm {S_{entence}} [z])$

"якiсть" отражена в [определительном придаточном] предложении

$~\mathrm {S_{entence}} [z]$.

В предложении

$~\vdash \quad \exists y\forall z\ (z\in y\ \leftrightarrow \ z\in \mathbb {R} \ \land \ z>0)$

"якiсть" отражена в [определительном придаточном] предложении

$~z>0$.

В предложении

$~\mathrm {abs} =\{\langle x,y\rangle |\quad \langle x,y\rangle \in \mathbb {R} ^{2}\quad \land \quad (x<0\to y=-x)\ \land \ (x\not <0\to y=x)\}$

"якiсть" отражена в [определительном придаточном] предложении

$~(x<0\to y=-x)\ \land \ (x\not <0\to y=x)$

В предложении

$~\mathrm {S_{f}} =\{\mathrm {f} |\quad \mathrm {f} \in {\mathcal {P}}(X\times Y)\quad \land \quad \mathrm {f} :X\mapsto Y\}$

"якiсть" отражена в [определительном придаточном] предложении

$~\mathrm {f} :X\mapsto Y$

Галактион 11:33, 18 серпня 2009 (UTC)