‫السنة الاولى علوم و تكنولوجيا‬ ‫الحل النموذجي لسلسة المنطق‪ ،‬المجموعات العلاقات و التطبيقات‬

‫التمرين الأول ‪:‬‬

‫‪h‬‬ ‫‪³‬‬ ‫‪´i‬‬ ‫‪h‬‬ ‫‪³‬‬ ‫‪´i‬‬
‫‪ P ⇐⇒ (Q =⇒ P ) ∧ Q =⇒ P v‬بوضع ‪ A : (Q =⇒ P ) ∧ Q =⇒ P :‬لدينا‪:‬‬ ‫¬‬

‫‪P‬‬ ‫‪Q‬‬ ‫‪Q‬‬ ‫‪Q ⇒P‬‬ ‫‪Q ⇒P‬‬ ‫‪A‬‬ ‫‪P⇔A‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫و منه القضية دائما صحيحة ‪.‬‬

‫‪³‬‬ ‫‪´ ³‬‬ ‫´‬ ‫‪h³‬‬ ‫‪´ ³‬‬ ‫‪´i‬‬
‫‪ P ⇐⇒ P =⇒ Q ∧ P =⇒ Q v‬بوضع ‪A : P =⇒ Q ∧ P =⇒ Q :‬‬ ‫­‬

‫‪P‬‬ ‫‪Q‬‬ ‫‪P‬‬ ‫‪Q‬‬ ‫‪P ⇒Q‬‬ ‫‪P ⇒Q‬‬ ‫‪A‬‬ ‫‪P⇔A‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬

‫و منه القضية دائما صحيحة ‪.‬‬

‫‪³‬‬ ‫´‬
‫‪(P ⇐⇒ Q) ∧ P ⇐⇒ Q v‬‬ ‫®‬
‫‪³‬‬ ‫´‬
‫‪P‬‬ ‫‪Q‬‬ ‫‪Q‬‬ ‫‪P ⇔Q‬‬ ‫‪P ⇔Q‬‬ ‫‪(P ⇔ Q) ∧ P ⇔ Q‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬

‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬

‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬

‫و منه القضية دائما خاطئة ‪.‬‬

‫‪ ((P ∨Q) =⇒ R) ⇐⇒ ((P =⇒ R) ∨ (Q =⇒ R)) v‬بوضع‪ A : ((P ∨Q) =⇒ R) :‬و )‪.B : (P =⇒ R) ∨ (Q =⇒ R‬‬ ‫¯‬
‫جامعة ‪ 20‬أوت ‪1955‬‬ ‫السنة الجامعية ‪2020-2021 :‬‬ ‫أساتذة المقياس‬
‫الحل النموذجي لسلسة المنطق‪ ،‬المجموعات العلاقات و التطبيقات‬ ‫السنة الاولى علوم و تكنولوجيا‬

‫‪P‬‬ ‫‪Q‬‬ ‫‪R‬‬ ‫‪P ∨Q‬‬ ‫‪A‬‬ ‫‪P ⇒R‬‬ ‫‪Q ⇒R‬‬ ‫‪B‬‬ ‫‪A⇔B‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬

‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫و منه القضية تحتمل الصحة كما تحتمل الخطأ‪.‬‬

‫التمرين الثاني ‪:‬‬

‫¶ ‪ f‬زوجي‪ .∀x ∈ R : f (x) = f (−x) :‬نفيها‪.∃x ∈ R : f (x) 6= f (−x) :‬‬ ‫¬‬

‫· ‪ f‬فردي ‪ .∀x ∈ R : f (−x) = − f (x) :‬نفيها‪.∃x ∈ R : f (−x) 6= − f (x) :‬‬
‫¸ ‪ f‬لا ينعدم أبدا‪ .∀x ∈ R : f (x) 6= 0 :‬نفيها‪.∃x ∈ R : f (x) = 0 :‬‬
‫‪ f ¹‬لا ينعدم‪ .∃x ∈ R : f (x) 6= 0 :‬نفيها‪.∀x ∈ R : f (x) = 0 :‬‬
‫‪ f º‬رتيب أي‪ f :‬متناقص أو ‪ f‬متزايد‪:‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪∀x 1 , x 2 ∈ R : x 1 < x 2 ⇒ f (x 1 ) ≤ f (x 2 ).‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫∨‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪∀x 1 , x 2 ∈ R : x 1 < x 2 ⇒ f (x 1 ) ≥ f (x 2 ).‬‬

‫نفيها‪:‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪∃x 1 , x 2 ∈ R : x 1 < x 2 ∧ f (x 1 ) > f (x 2 ).‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫∧‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪∀x 1 , x 2 ∈ R : x 1 < x 2 ∧ f (x 1 ) < f (x 2 ).‬‬

‫» ‪ f‬أصغر من ‪ .∀x ∈ R : f (x) ≤ g (x) :g‬نفيها‪.∃x ∈ R : f (x) > g (x) :‬‬

‫¼ ‪ f‬ليس أصغر من ‪ .∃x ∈ R : f (x) > g (x) :g‬نفيها‪.∀x ∈ R : f (x) ≤ g (x) :‬‬
‫½ كل عدد طبيعي زوجي أو كل عدد طبيعي فردي‪:‬‬

‫)‪(∀n ∈ N, ∃k ∈ N : n = 2k) ∨ (∀n ∈ N, ∃l ∈ N : n = 2l + 1‬‬

‫أساتذة المقياس‬ ‫السنة الجامعية ‪2020-2021 :‬‬ ‫جامعة ‪ 20‬أوت ‪1955‬‬

‫السنة الاولى علوم و تكنولوجيا‬ ‫الحل النموذجي لسلسة المنطق‪ ،‬المجموعات العلاقات و التطبيقات‬

‫نفيها‪:‬‬

‫)‪(∃n ∈ N; ∀k ∈ N : n 6= 2k) ∧ (∃n ∈ N, ∀l ∈ N : n 6= 2l + 1‬‬

‫¾ ‪ f‬دوري‪ .∃k ∈ R; ∀x ∈ R : f (x + k) = f (x) :‬نفيها‪.∀k ∈ R, ∃x ∈ R : f (x + k) 6= f (x) :‬‬

‫التمرين الثالث ‪ p :‬البرهان بالتراجع على القضية‪:‬‬

‫‪∀n ≥ 4 : n! ≥ n 2 .‬‬

‫من أجل ‪ n = 4‬العلاقة محققة ‪.‬‬

‫نفرض أن القضية محققة من أجل ‪ n ≥ 4‬و نثبت صحتها من أجل )‪.(n + 1‬‬
‫لدينا ‪:‬‬

‫)‪(n + 1)! = 1 × 2 × 3 × ... × n × (n + 1‬‬

‫)‪= (1 × 2 × 3 × ... × n) × (n + 1‬‬

‫‪= n!(n + 1) ≥ n 2 (n + 1) = n 3 + n 2 ≥ n 2 + 2n + 1 = (n + 1)2 .‬‬

‫و منه العلاقة محققة من أجل )‪ (n + 1‬و بالتالي محققة من أجل ‪.n ≥ 4‬‬
‫‪ p‬عكس نقيض القضية‪:‬‬

‫‪(n 2 − 1).‬قابلا للقسمة على ‪ n ⇒ 8‬فردي‬

‫‪ v‬إذا كان ‪ n = 4k + 1‬فإن‪:‬‬

‫)‪n 2 − 1 = (4k + 1)2 − 1 = 16k 2 + 8k = 8k(2k + 1‬‬

‫و منه ‪ (n 2 − 1) :‬يقبل القسمة على ‪.8‬‬

‫‪ v‬إذا كان ‪ n = 4k + 3‬فإن‪:‬‬

‫)‪n 2 − 1 = (4k + 3)2 − 1 = 16k 2 + 12k + 9 − 1 = 8(2k 2 + k + 1‬‬

‫و منه‪ (n 2 − 1) :‬يقبل القسمة على ‪.8‬‬

‫و بالتالي ‪ :‬من أجل ‪ n‬فردي ‪ (n 2 − 1) :‬قابلا للقسمة على العدد ‪.8‬‬

‫جامعة ‪ 20‬أوت ‪1955‬‬ ‫السنة الجامعية ‪2020-2021 :‬‬ ‫أساتذة المقياس‬

‫الحل النموذجي لسلسة المنطق‪ ،‬المجموعات العلاقات و التطبيقات‬ ‫السنة الاولى علوم و تكنولوجيا‬

‫التمرين الرابع ‪:‬‬

‫‪• A ∩ B = ]−5, +∞[ ∩ ]−2, 7] = ]−2, 7] = B.‬‬

‫‪• A ∪ B = ]−5, +∞[ ∪ ]−2, 7] = ]−5, +∞[ = A.‬‬

‫‪• B ∩C = ]−2, 7] ∩ ]−∞, 3] = ]−2, 3] .‬‬

‫‪• B ∪C = ]−2, 7] ∪ ]−∞, 3] = ]−∞, 7] .‬‬

‫‪• A = R − ]−5, +∞[ = ]−∞, −5[ .‬‬

‫‪• B = R − ]−2, 7] = ]−∞, −2] ∪ ]7, +∞[ .‬‬

‫)[∞‪• A − B = A ∩ B = ]−5, +∞[ ∩ (]−∞, −2] ∪ ]7, +‬‬

‫)[∞‪= (]−5, +∞[ ∩ ]−∞, −2]) ∪ (]−5, +∞[ ∩ ]7, +‬‬

‫‪= ]−5, −2] ∪ ]7, +∞[ .‬‬

‫‪• A ∩ B = A ∪ B = A = ]−∞, −5] .‬‬

‫‪• (A ∩C ) ∪ (B ∩C ) = A ∩ (B ∪C ) = ]−5, +∞[ ∩ ]−∞, 7] = ]−5, 7] .‬‬

‫التمرين الخامس ‪:‬‬

‫لدينا‪:‬‬ ‫¬‬
‫¯‬ ‫¯ ¯‬ ‫¯‬
‫‪∀x, y ∈ R : xSy ⇔ ¯x 2 − 4¯ = ¯ y 2 − 4¯ .‬‬

‫‪ S‬علاقة تكافؤ معناها ‪ S‬انعكاسية‪ ،‬تناظر ية و متعدية ‪.‬‬

‫‪¯ 2‬‬ ‫‪¯ ¯ 2‬‬ ‫¯‬
‫‪ S‬انعكاسية أي‪ ∀x ∈ R : xSx :‬محققة ‪ .‬لدينا‪ ¯x − 4¯ = ¯x − 4¯ :‬المساواة انعكاسية ‪.‬‬
‫‪ S‬تناظر ية أي‪∀x, y ∈ R : xSy ⇒ ySx :‬‬
‫لدينا‪:‬‬
‫¯‬ ‫¯ ¯‬ ‫¯ ¯‬ ‫¯ ¯‬ ‫¯‬
‫‪xSy ⇔ ¯x 2 − 4¯ = ¯ y 2 − 4¯ ⇒ ¯ y 2 − 4¯ = ¯x 2 − 4¯ ⇒ ySx.‬‬

‫محققة ‪.‬‬
‫‪ S‬متعدية أي‪ .∀x, y, z ∈ R : xSy ∧ ySz ⇒ xSz :‬لدينا‪:‬‬

‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫¯‬ ‫¯ ¯‬ ‫¯‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫¯‪xSy ⇒ ¯x 2 − 4¯ = ¯ y 2 − 4‬‬
‫‪‬‬
‫‪‬‬ ‫¯‬ ‫¯ ¯‬ ‫¯‬
‫∧‬ ‫‪⇒ ¯x 2 − 4¯ = ¯z 2 − 4¯ ⇒ xSz‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫¯‬ ‫¯ ¯‬ ‫¯‬
‫‪‬‬
‫‪‬‬
‫¯‪ ySz ⇒ ¯ y 2 − 4¯ = ¯z 2 − 4‬‬

‫و منه ‪ S‬متعدية ‪ .‬أي ‪ S‬علاقة تكافؤ في ‪. R‬‬

‫‪ v‬إ يجاد أصناف تكافؤ العددين }‪.{0, 2‬‬

‫أساتذة المقياس‬ ‫السنة الجامعية ‪2020-2021 :‬‬ ‫جامعة ‪ 20‬أوت ‪1955‬‬

‫السنة الاولى علوم و تكنولوجيا‬ ‫الحل النموذجي لسلسة المنطق‪ ،‬المجموعات العلاقات و التطبيقات‬

‫لدينا‪:‬‬
‫©‬ ‫¯‬ ‫¯ ¯‬ ‫‪¯ª‬‬
‫‪•0̇ = {x ∈ R : xS0} = x ∈ R : ¯x 2 − 4¯ = ¯02 − 4¯ .‬‬
‫‪¯ 2‬‬ ‫¯‬ ‫¯‬ ‫¯‬ ‫¡‬ ‫‪¢‬‬
‫‪¯x − 4¯ = |0 − 4| ⇔ ¯x 2 − 4¯ = 4 ⇔ x 2 − 4 = 4 ∨ −x 2 + 4 = 4‬‬
‫‪p‬‬ ‫‪p‬‬
‫‪x 2 = 8 ∨ x 2 = 0 ⇔ x = 2 2 ∨ x = −2 2 ∨ x = 0.‬‬

‫و منه‪:‬‬
‫‪n‬‬ ‫‪p‬‬ ‫‪p o‬‬
‫‪0̇ = −2 2, 0, 2 2 .‬‬

‫©‬ ‫¯‬ ‫¯ ¯‬ ‫‪¯ª‬‬

‫‪•2̇ = {x ∈ R : xS2} = x ∈ R : ¯x 2 − 4¯ = ¯22 − 4¯ .‬‬
‫¯‬ ‫¯ ¯‬ ‫¯ ¯‬ ‫¯‬
‫‪¯x 2 − 4¯ = ¯22 − 4¯ ⇔ ¯x 2 − 4¯ = 0 ⇔ x 2 − 4 = 0 ⇔ x = 2 ∨ x = −2‬‬

‫و منه‪:‬‬
‫‪2̇ = {−2, 2} .‬‬

‫لدينا‪:‬‬ ‫­‬
‫‪∀x, y ∈ R : xT y ⇔ x 3 − y 3 ≥ 0.‬‬

‫‪ T‬علاثة ترتيب معناه‪ T :‬انعكاسية‪ ،‬ضد تناظر ية و متعدية‪.‬‬

‫‪ T‬انعكاسية معناه‪ ∀x ∈ R : xT x :‬محققة‪.‬‬
‫لدينا‪ xT x ⇔ x 3 − x 3 = 0 :‬محققة‪.‬‬
‫‪ T‬ضد تناظر ية معناه‪∀x, y ∈ R : xT y ∧ yT x ⇒ x = y. :‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪ 3‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪xT y ⇔ x 3 − y 3 ≥ 0‬‬ ‫‪x ≥ y 3‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫∧‬ ‫∧ ⇒‬ ‫‪⇔ x 3 = y 3.‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪y 3 ≥ x3‬‬
‫‪ yT x ⇔ y 3 − x 3 ≥ 0‬‬ ‫‪‬‬

‫لدينا‪:‬‬
‫‪x 3 = y 3 ⇒ x 3 − y 3 = 0 ⇒ (x − y)(x 2 + x y + y 2 ) = 0‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪x−y =0‬‬ ‫‪‬‬
‫‪‬‬ ‫‪x=y‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫∨ ⇒‬ ‫∨ ⇒‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪x + x y + y = 0‬‬
‫‪2‬‬ ‫‪2‬‬ ‫)∗(‪x 2 + x y + y 2 = 0.................‬‬

‫بالنسبة للمعادلة )∗(‪∆ = −3y 2 ≤ 0 :‬‬

‫إذا كان ‪ ∆ = 0‬فإن ‪y = 0 ⇒ x = 0 ⇒ x = y.‬‬
‫إذا كان ‪ ∆ < 0‬المعادلة )∗( لا تقبل حلول و بالتالي في جميع الحالات ‪x = y.‬‬
‫و منه ‪ T‬ضد تناظر ية ‪.‬‬
‫‪ T‬متعدية معناه ‪∀x, y, z ∈ R : xT y ∧ yT z ⇒ xT z. :‬‬
‫لدينا‪:‬‬

‫جامعة ‪ 20‬أوت ‪1955‬‬ ‫السنة الجامعية ‪2020-2021 :‬‬ ‫أساتذة المقياس‬

‫الحل النموذجي لسلسة المنطق‪ ،‬المجموعات العلاقات و التطبيقات‬ ‫السنة الاولى علوم و تكنولوجيا‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫)‪xT y ⇒ x 3 − y 3 ≥ 0........(1‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫∧‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫)‪ yT z ⇒ y 3 − z 3 ≥ 0.........(2‬‬

‫بجمع المعادلتين )‪ (1) + (2‬نجد‬

‫‪x 3 − y 3 = (x 3 − y 3 ) + (y 3 − z 3 ) ≥ 0‬‬

‫و منه ‪ T :‬متعدية‪ .‬و منه العلاقة ‪ T‬علاقة ترتيب‪.‬‬

‫نوع الترتيب؟ لدينا‪:‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪x≤y‬‬ ‫‪‬‬
‫‪‬‬ ‫‪x3 ≤ y 3‬‬ ‫‪‬‬
‫‪‬‬ ‫‪y 3 − x3 ≥ 0‬‬ ‫‪‬‬
‫‪‬‬ ‫‪ySx‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫∨ ‪∀x, y ∈ R :‬‬ ‫∨ ⇒‬ ‫∨ ⇒‬ ‫∨ ⇒‬ ‫‪⇒ ∀x, y ∈ R : xSy ∨ ySx‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪y ≤ x‬‬ ‫‪y 3 ≤ x3‬‬ ‫‪x 3 − y 3 ≥ 0‬‬ ‫‪xSy‬‬

‫و منه الترتيب كلي‪.‬‬

‫التمرين السادس ‪:‬‬
‫©‬ ‫‪ª‬‬
‫‪f (I ) = y ∈ R : ∃x ∈ I ; y = f (x) .‬‬ ‫¬‬
‫بماأن ‪ f 0 (x) = 2x − 1‬فإنه من أجل ‪ x ∈ I‬يكون ‪ f 0 (x) > 0‬أي متزايد تماما‪ .‬بماأن ‪ f‬متزايد و مستمر فإن‪:‬‬

‫‪£‬‬ ‫‪¤‬‬
‫‪f (I ) = f ([2, 4]) = f (2), f (4) = [0, 10] .‬‬

‫أي ‪f (I ) = [0, 10] . :‬‬

‫حلول المتراجحات‪ :‬بإستعمال جدول الإشارة نجد‪:‬‬ ‫­‬

‫‪x 2 − x ≥ 0 ⇒ x ∈ ]−∞, 0] ∪ [1, +∞[ .‬‬

‫‪x 2 − x − 6 ≤ 0 ⇒ x ∈ [−2, 3] .‬‬

‫الصورة العكسية‪:‬‬ ‫®‬

‫©‬ ‫© ‪ª‬‬ ‫‪ª‬‬
‫]‪f −1 (J ) = x ∈ R : f (x) ∈ J = x ∈ R : f (x) ∈ [−2, 4‬‬
‫©‬ ‫© ‪ª‬‬ ‫‪ª‬‬
‫‪= x ∈ R : −2 ≤ f (x) ≤ 4 = x ∈ R : 0 ≤ x 2 − x ≤ 6‬‬
‫©‬ ‫¡‬ ‫¡ ‪¢‬‬ ‫‪¢ª‬‬
‫‪= x ∈ R : x2 − x ≥ 0 ∧ x2 − x − 6 ≤ 0 .‬‬

‫حسب ما سبق لدينا‪:‬‬

‫})]‪f −1 (J ) = {x ∈ R : (x ∈ ]−∞, 0[ ∪ [1, +∞[) ∧ (x ∈ [−2, 3‬‬

‫‪= {x ∈ R : x ∈ [−2, 0] ∪ [1, 3]} .‬‬

‫أساتذة المقياس‬ ‫السنة الجامعية ‪2020-2021 :‬‬ ‫جامعة ‪ 20‬أوت ‪1955‬‬

‫السنة الاولى علوم و تكنولوجيا‬ ‫الحل النموذجي لسلسة المنطق‪ ،‬المجموعات العلاقات و التطبيقات‬

‫أي‪:‬‬

‫‪f −1 (J ) = [−2, 0] ∪ [1, 3] .‬‬

‫التمرين السابع ‪:‬‬

‫لدينا‪:‬‬ ‫¬‬
‫©‬ ‫‪ª‬‬
‫‪E = x ∈ R : e x − 1 6= 0‬‬
‫∗‪.e x − 1 6= 0 ⇔ e x 6= 1 ⇔ x 6= 0 ⇔ E = R‬‬
‫دراسة تباين التطبيق ‪: h 1‬‬ ‫­‬
‫ليكن ∗‪ x 1 , x 2 ∈ R‬بحيث‪ h1 (x 1 ) = h1 (x 2 ) :‬لدينا‪:‬‬

‫) ‪h 1 (x 1 ) = h 1 (x 2 ) ⇔ h 1 (x 1 ) = h 1 (x 2‬‬
‫‪e x1 + 1 e x2 + 1‬‬
‫⇔‬ ‫=‬
‫‪e x1 − 1 e x2 − 1‬‬
‫)‪⇒ (e x1 + 1)(e x2 − 1) = (e x2 + 1)(e x1 − 1‬‬

‫‪⇒ e x1 +x2 − e x1 + e x2 − 1 = e x1 +x2 − e x2 + e x1 − 1‬‬

‫‪⇒ 2e x1 = 2e x2‬‬

‫‪⇒ e x1 = e x2 ⇒ x 1 = x 2 .‬‬

‫و منه‪:‬‬

‫‪∀x 1 , x 2 ∈ R : h 1 (x 1 ) = h 1 (x 2 ) ⇒ x 1 = x 2 .‬‬

‫دراسةغمر التطبيق ‪: h 1‬‬ ‫®‬

‫ليكن ‪ y ∈ R‬كيفي‪ ،‬هل يوجد ∗‪ x ∈ R‬بحيث ‪ y = h1 (x).‬لدينا‪:‬‬

‫‪ex + 1‬‬
‫= ‪y = h 1 (x) ⇒ y‬‬ ‫‪⇒ y(e x − 1) = e x + 1‬‬
‫‪ex − 1‬‬
‫‪⇒ e x (y − 1) = y + 1‬‬
‫‪y +1‬‬
‫= ‪⇒ ex‬‬
‫‪y −1‬‬
‫‪µ‬‬ ‫¶‬
‫‪y +1‬‬
‫‪⇒ x = ln‬‬ ‫‪, y 6= 1.‬‬
‫‪y −1‬‬

‫لدينا‪:‬‬

‫‪y +1‬‬
‫‪> 0 ⇔ (y + 1)(y − 1) > 0 ⇔ y 2 − 1 > 0 ⇔ y ∈ ]−∞, −1[ ∪ ]1, +∞[ .‬‬
‫‪y −1‬‬

‫و منه العناصر ‪ y‬تقبل سابقة بواسطة التطبيق ‪ h1‬هي عناصر من [∞‪ ]−∞, −1[ ∪ ]1, +‬فقط و منه ‪:‬‬

‫)]‪∃y ∈ R; ∀x ∈ E : y 6= h 1 (x)(y ∈ [−1, 1‬‬

‫جامعة ‪ 20‬أوت ‪1955‬‬ ‫السنة الجامعية ‪2020-2021 :‬‬ ‫أساتذة المقياس‬

‫الحل النموذجي لسلسة المنطق‪ ،‬المجموعات العلاقات و التطبيقات‬ ‫السنة الاولى علوم و تكنولوجيا‬

‫و منه ‪ h1‬ليس غامرا‪.‬‬

‫تعيين الجزء ‪ F‬من ‪ R‬بحيث يكون التطبيق ‪ h2‬تقابليا ‪.‬‬ ‫¯‬
‫‪ v‬حسب الغمر العناصر التي لها صور تنتمي [∞‪ ]−∞, −1[ ∪ ]1, +‬و بماأن‪:‬‬

‫)∗(‪∀x ∈ R∗ : h(x) = h 1 (x) = h 2 (x)......‬‬

‫فالعناصر التي لها سابقة بواسطة التطبيق ‪ h2‬فهي عناصر من المجال [∞‪ ]−∞, −1[ ∪ ]1, +‬اعتبارا أن [∞‪ F = ]−∞, −1[ ∪ ]1, +‬لدينا‪:‬‬

‫‪∀y ∈ ]−∞, −1[ ∪ ]1, +∞[ ; ∃x ∈ E : y = h 2 (x).‬‬

‫معناه‪ :‬التطبيق ‪ h2‬المعرف من [∞‪ R∗ −→ F = ]−∞, −1[ ∪ ]1, +‬غامر ‪.‬‬

‫‪ v‬بالنسبة للتباين بماأن ‪ h1‬متباين و من )∗( لدينا ‪ h2‬متباين ‪ .‬و بالتالي التطبيق ‪ h2‬تقابلي‪.‬‬
‫‪ v‬تعيين التطبيق العكسي ل ‪:h2‬‬
‫من )∗( و من دراسة غمر التطبيق ‪ h1‬لدينا‪:‬‬

‫∗‪h 2−1 : ]−∞, −1[ ∪ ]1, +∞[ −→ R‬‬

‫‪µ‬‬ ‫¶‬
‫‪x +1‬‬
‫‪x 7−→ ln‬‬ ‫‪.‬‬
‫‪x −1‬‬

‫التمرين الثامن ‪:‬‬

‫لدينا‪:‬‬ ‫¬‬
‫}‪A = {12, 16, 20, 24, 28, 32, 36, 40‬‬

‫و منه‪:‬‬
‫‪sup A = max A = 40; min A = inf A = 12.‬‬

‫‪max B = sup B = 1; inf B = 0, Ø min B.‬‬

‫‪1‬‬
‫‪minC = infC = ; maxC = supC = 1.‬‬
‫‪2‬‬
‫‪1‬‬
‫‪min D = inf D = ; sup D = max D = 1.‬‬
‫‪81‬‬

‫أساتذة المقياس‬ ‫السنة الجامعية ‪2020-2021 :‬‬ ‫جامعة ‪ 20‬أوت ‪1955‬‬