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



پاسخ :

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

- *اثبات $A_1A_2\: \longrightarrow\: A_4$ :

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

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



- *اثبات $A_1A_2\: \longrightarrow\: A_3$ :

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

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



*اثبات $A_4\: \longrightarrow\: A_3$ :

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






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

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