zkutchЛюбое корректное знакосочетание теории
![$\mathcal{T}$ $\mathcal{T}$](https://dxdy-03.korotkov.co.uk/f/6/9/3/6937e14ec122765a9d014f2cbcf4fcfe82.png)
есть последнее знакосочетание в последовательности называемой формативной конструкцией. Каждый член формативной конструкции удовлетвореяет одному из условий данных в п. 3 на стр 35.
А так же верно то, что любой член формативной конструкции есть корректное знакосочетание.
Два вопроса относительно данных в п. 4 "Формативные критерии" критериев:
В доказательстве CF6, что если
![$\boldsymbol{A}_{\boldsymbol{i}}$ $\boldsymbol{A}_{\boldsymbol{i}}$](https://dxdy-01.korotkov.co.uk/f/4/d/c/4dc362de77913f2d72da4b4195d5412f82.png)
имеет вид
![$\tau_{\boldsymbol{z}}(\boldsymbol{A}_{\boldsymbol{j}})$ $\tau_{\boldsymbol{z}}(\boldsymbol{A}_{\boldsymbol{j}})$](https://dxdy-02.korotkov.co.uk/f/9/9/0/99062d1cae3f4d733fbeea1f6e11743182.png)
и они оба есть члены формативной конструкции, то и
![$(\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}_{\boldsymbol{i}}$ $(\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}_{\boldsymbol{i}}$](https://dxdy-02.korotkov.co.uk/f/5/d/5/5d5b4f15f3e8eddf7081bfb17beddeba82.png)
имеет вид
![$\tau_{\boldsymbol{z}}((\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}_{\boldsymbol{j}})$ $\tau_{\boldsymbol{z}}((\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}_{\boldsymbol{j}})$](https://dxdy-02.korotkov.co.uk/f/d/b/5/db5e8edf861f7b6c6ac14cf553e632ca82.png)
и
![$(\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}_{\boldsymbol{i}}$ $(\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}_{\boldsymbol{i}}$](https://dxdy-02.korotkov.co.uk/f/5/d/5/5d5b4f15f3e8eddf7081bfb17beddeba82.png)
и
![$\tau_{\boldsymbol{z}}((\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}_{\boldsymbol{j}})$ $\tau_{\boldsymbol{z}}((\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}_{\boldsymbol{j}})$](https://dxdy-02.korotkov.co.uk/f/d/b/5/db5e8edf861f7b6c6ac14cf553e632ca82.png)
члены другой формативной конструкции. В пункте в) (на стр. 37), где
![$\boldsymbol{z}$ $\boldsymbol{z}$](https://dxdy-04.korotkov.co.uk/f/f/c/6/fc6269ab6bfaf94103b9320fba387bd082.png)
тождественно с
![$\boldsymbol{y}$ $\boldsymbol{y}$](https://dxdy-04.korotkov.co.uk/f/f/b/0/fb0aa255d3149254e38a4ef0b96a5b7582.png)
, для
![$\boldsymbol{A}_{\boldsymbol{i}}', A_{\boldsymbol{j}}'$ $\boldsymbol{A}_{\boldsymbol{i}}', A_{\boldsymbol{j}}'$](https://dxdy-01.korotkov.co.uk/f/c/2/d/c2d6be9a87872b03419e800d8da4332b82.png)
они рассматривают не
![$\tau_{\boldsymbol{z}}$ $\tau_{\boldsymbol{z}}$](https://dxdy-04.korotkov.co.uk/f/f/3/7/f371cc76f03ca422b60fdcb52eac740282.png)
(или что в этом пункте аналогично
![$\tau_{\boldsymbol{y}})$ $\tau_{\boldsymbol{y}})$](https://dxdy-04.korotkov.co.uk/f/b/d/d/bdd032e8b53e0a4aa9709b9c9fbd7bf782.png)
, а
![$\tau$ $\tau$](https://dxdy-01.korotkov.co.uk/f/0/f/e/0fe1677705e987cac4f589ed600aa6b382.png)
с другой буквой.
В1: Почему в пункте в) они рассматривают другую букву?
Пока не понимаю, чем CF7 отличается от CF6.
В2: В чем необходимость CF7 если доказано CF6?