سلام.عکس صورت سوال رو دوباره اینجا آپلود کردم:



پاسخ :

سوال اول- پاسخ به اونایی که در سوال ۱ عکس ، با علامت سوال قرمز رنگ مشخص شده )

- *اثبات [tex]A_1A_2\: \longrightarrow\: A_4[/tex] :

[tex]A_2\: \longrightarrow\: A_3A_4[/tex] ،در نتیجه طبق قاعده تجزیه [tex]A_2\: \longrightarrow\: A_3[/tex] و [tex]A_2\: \longrightarrow\: A_4[/tex]

پس میتونیم نتیجه بگیریم که [tex]A_2\: \longrightarrow\: A_4[/tex] ،سپس طبق قاعده افزایشی، [tex]A_1A_2\: \longrightarrow\: A_1A_4[/tex] و سپس طبق قاعده تجزیه [tex]A_1A_2\: \longrightarrow\: A_4[/tex]



- *اثبات [tex]A_1A_2\: \longrightarrow\: A_3[/tex] :

[tex]A_2\: \longrightarrow\: A_3A_4[/tex] ،در نتیجه طبق قاعده تجزیه [tex]A_2\: \longrightarrow\: A_3[/tex] و [tex]A_2\: \longrightarrow\: A_4[/tex]

پس میتونیم نتیجه بگیریم که [tex]A_2\: \longrightarrow\: A_3[/tex] ،سپس طبق قاعده افزایشی، [tex]A_1A_2\: \longrightarrow\: A_1A_3[/tex] و سپس طبق قاعده تجزیه [tex]A_1A_2\: \longrightarrow\: A_3[/tex]



*اثبات [tex]A_4\: \longrightarrow\: A_3[/tex] :

[tex]A_4\: \longrightarrow\: A_2[/tex] و با توجه به اثبات قبلی که [tex]A_2\: \longrightarrow\: A_3[/tex] ، در نتیجه طبق قاعده انتقالی [tex]A_4\: \longrightarrow\: A_3[/tex]






سوال دوم-پاسخ به اینکه چرا [tex]\{xyz\}^+[/tex] ، برابر xyzqwv شده)

[tex]\{xyz\}^+[/tex] یعنی همه‌ی خصیصه‌هایی که قابل استنتاج از اعضای [tex]\{xyz\}[/tex] یعنی y ، x و z هستند.
که چون [tex]xyz\: \longrightarrow\: Q[/tex] و [tex]y\: \longrightarrow\: w[/tex] و [tex]y\: \longrightarrow\: v[/tex] ،در نتیجه: