سلام
من در کد زیر دو تا مشکل دارم:
`آیا ساختار انتخاب $(\beta, C_2(.))$ با شرایط زیر WARP را نقض میکند؟
\begin{flalign*}
C_2(\{x,y\}) =\{x\} \\
C_2(\{x,y,z\})=\{x,y\}
\end{flalign*}
آیا میتوان گفت؟
اگر $x,y\in\{x,y\}$ داریم $x\in{C_2(\{x,y\})}$ \\
اگر $x,y,z\in\{x,y,z\}$ داریم $y\in(\{x,y,z\})$ و نیز $x\in({x,y,z})$ WARP برقرار است.`
مشکل اول اینه که فرمول اول باید دقیقاً از جایی شروع بشه که فرمول دوم، اما خب اینطور نیست. (در واقع می‌خوام اولین فرمول به سمت چپ منتقل بشه تا جایی که در راستای شروع فرمول دوم باشه.)
مشکل دوم در مورد دو سطر انتهایی هست، «اگر» دوم قاعدتاً باید زیر «اگر» اول شروع بشه که نمیشه.
(تصویر پیوست شده است.)
تشکر
