مسی میدونه کی در اثبات از فصل و گزاره شرطی استفاده میشه
نمایش کامل متن تصویر (کلیک کنید)
۱ برای مجموعه های $A$ و $B$ با مرجع $U$ ثابت کنید $A \subseteq A \cup B$.
اثبات:
$\forall x; (x \in A \Rightarrow x \in A \vee x \in B) \Rightarrow x \in A \cup B$
بنابراین داریم:
$\forall x; (x \in A \Rightarrow x \in A \cup B) \Rightarrow A \subseteq A \cup B$
درستی استدلال بالا را توضیح دهید.