‫‪150‬‬

‫عملي‬ ‫‪5‬‬

‫تتمة تمارين على المنطق‬

‫‪8‬‬

‫‪6/12/2022‬‬ ‫ا ‪3‬‬ ‫د‪ .‬شذا الخطيب‬

‫الصفحا‬ ‫محتوى مجاني غير مخصص للبيع التجاري‬

‫ت‬ ‫الجبر العام‬

‫تمرين(‪:)1‬‬
‫أثبت أن القضية اآلتية استدالل‪( .‬ونقصد باالستدالل أنها دائماً صحيحة أي قيمتها ‪.)1‬‬
‫])𝑞 ∧ 𝑝(¬[ ↔ )𝑞¬ → 𝑝( ‪𝑄:‬‬ ‫القضية‪:‬‬ ‫▪‬
‫وذلك أياً تكن القضايا 𝑝 و 𝑞‪.‬‬
‫])𝑞 ∧ 𝑝(¬[ ↔ )𝑞¬ ∨ 𝑝¬( ≡ 𝑄‬ ‫الحل‪:‬‬
‫تذكر‪:‬‬
‫𝑞 ∨ 𝑝¬ ≡ 𝑞 → 𝑝‬ ‫])𝑞 ∧ 𝑝( ∧ )𝑞 ∧ 𝑝([ ∨ ])𝑞¬ ∨ 𝑝¬( ∧ )𝑞¬ ∨ 𝑝¬([ ≡‬

‫)‪(p ↔ q) ≡ (p ∧ q) ∨ (¬p ∧ ¬q‬‬

‫)𝑞 ∧ 𝑝( ∨ )𝑞¬ ∨ 𝑝¬( ≡‬

‫𝑇 ≡ 𝑝¬ ∨ 𝑝‬
‫𝑇 ≡ )𝑞 ∧ 𝑝( ∨ )𝑞 ∧ 𝑝(¬ ≡‬
‫تمرين(‪:)2‬‬
‫اكتب نفي القضية اآلتية ثم ادرس فيما إذا كانت صحيحة‪.‬‬
‫‪𝑃: ∃ 𝑥 ∈ 𝑅 , ∀ 𝑦 ∈ 𝑅 ∶ 𝑥 + 𝑦 > 0‬‬ ‫القضية‪:‬‬ ‫▪‬

‫تذكر‪:‬‬ ‫▪‬ ‫الحل"‬

‫∀ ≡∃¬‬ ‫‪/‬‬ ‫∃ ≡∀¬‬
‫‪¬𝑃: ∀ 𝑥 ∈ 𝑅 , ∃ 𝑦 ∈ 𝑅 ∶ 𝑥 + 𝑦 ≤ 0‬‬

‫الحظ أنه مهما تكن لدينا 𝑥 تنتمي إلى 𝑅 فإن هناك 𝑦 من 𝑅 تحقق 𝑥‪𝑦 + 𝑥 = 0 ⇐ 𝑦 = −‬‬
‫تحقق ‪( 𝑥 + 𝑦 ≤ 0 :‬ألن ‪)𝑦 + 𝑥 = 0‬‬ ‫نالحظ أن العالقة‬

‫ومنه نفي القضية 𝑃 صحيح فالقضية 𝑃 خاطئة أي‪𝑃 ≡ 0 :‬‬

‫محتوى مجاني غير مخصص للبيع التجاري‬ ‫‪1‬‬

 ‫الجبر العام| د‪ .‬شذا الخطيب‬

‫تمرين(‪:)3‬‬
‫أثبت صحة ما يلي‪:‬‬
‫)𝑠 ∧ 𝑟( → )𝑞 ∨ 𝑝(‬ ‫▪‬
‫𝑡→𝑟‬
‫𝑡¬‬
‫𝑝¬ ∴‬

‫الحل بطريقة قواعد االستنتاج‪:‬‬

‫𝑡→𝑟‬ ‫نالحظ أن‪:‬‬
‫𝑡¬‬
‫𝑟¬ ∴‬
‫وذلك حسب ‪Modus tollens‬‬

‫)𝑠 ∧ 𝑟( → )𝑞 ∨ 𝑝(‬ ‫فتصبح العالقة بالشكل اآلتي‪:‬‬

‫𝑟¬‬
‫𝑝¬ ∴‬
‫ومن ‪Addition‬‬
‫𝑟¬‬
‫𝑠¬ ∨ 𝑟¬ ∴‬

‫)𝑠 ∧ 𝑟( → )𝑞 ∨ 𝑝(‬ ‫تصبح العالقة‪:‬‬

‫𝑠¬ ∨ 𝑟¬‬
‫𝑝¬ ∴‬

‫)𝑠 ∧ 𝑟( → )𝑞 ∨ 𝑝(‬
‫)𝑠 ∧ 𝑟(¬‬
‫𝑝¬‬
‫حسب ‪Modus tollens‬‬
‫)𝑠 ∧ 𝑟( → )𝑞 ∨ 𝑝(‬
‫)𝑠 ∧ 𝑟(¬‬
‫)𝑞 ∨ 𝑝(¬ ∴‬

‫)𝑞 ∨ 𝑝(¬‬

‫𝑝¬ ∴‬
‫𝑞¬ ∧ 𝑝¬ ≡ )𝑞 ∨ 𝑝(¬‬
‫𝑞¬ ∧ 𝑝¬‬
‫𝑝¬ ∴‬
‫وذلك حسب ‪ .Simplification‬فالعبارة صحيحة‪.‬‬

‫محتوى مجاني غير مخصص للبيع التجاري‬

‫‪2‬‬
‫‪/ITE.RBCs‬‬
 ‫الجبر العام| د‪ .‬شذا الخطيب‬

‫بطريقة الخصائص‪:‬‬
‫)𝑠 ∧ 𝑟( → )𝑞 ∨ 𝑝(‬
‫𝑡 → 𝑟 تكتب بطريقة الربط بهذا الشكل‪:‬‬ ‫إن العبارة‬
‫𝑡¬‬
‫𝑝¬‬

‫𝑝¬ → ]𝑡¬ ∧ ]𝑡 → 𝑟[ ∧ ])𝑠 ∧ 𝑟( → )𝑞 ∨ 𝑝([[‬

‫نعلم أنّ‪𝑝 → 𝑞 ≡ ¬𝑝 ∨ 𝑞 :‬‬
‫] 𝑝¬ ∨ ] 𝑡¬ ∧ ]𝑡 ∨ 𝑟¬[ ∧ ])𝑠 ∧ 𝑟( ∨ )𝑞 ∨ 𝑝(¬[[¬ ≡‬

‫𝑝¬ ∨ ] 𝑡 ∨ ]𝑡¬ ∨ 𝑟[ ∨ ])𝑠¬ ∨ 𝑟¬( ∧ )𝑞 ∨ 𝑝([[ ≡‬

‫𝑝¬ ∨ 𝑡 ∨ )𝑡¬ ∨ 𝑟( ∨ ])𝑠¬ ∨ 𝑟¬( ∧ )𝑞 ∨ 𝑝([ ≡‬

‫])𝑡 ∨ 𝑡¬( ∧ )𝑡 ∨ 𝑟([ ∨ ]]𝑝¬ ∨ )𝑠¬ ∨ 𝑟¬([ ∧ ]𝑝¬ ∨ )𝑞 ∨ 𝑝([[ ≡‬

‫نعلم أن‪:‬‬ ‫▪‬

‫𝑇 ≡ 𝑝¬ ∨ 𝑝‬ ‫𝑇≡ 𝑝∨𝑇‬
‫𝑝≡𝑝∧𝑇‬

‫)𝑡 ∨ 𝑟( ∨ ]𝑝¬ ∨ )𝑠¬ ∨ 𝑟¬([ ≡‬

‫𝑡 ∨ 𝑝¬ ∨ 𝑠¬ ∨ )𝑟 ∨ 𝑟¬( ≡‬

‫𝑇 ≡ 𝑡 ∨ 𝑝¬ ∨ 𝑠¬ ∨ 𝑇 ≡‬

‫‪THE HARDER YOU WORK FOR SOMETHNG,‬‬

‫‪THE GREATER YOU`LL FEEL WHEN YOU‬‬
‫‪ACHIEVE IT.‬‬

‫محتوى مجاني غير مخصص للبيع التجاري‬

‫‪3‬‬
‫‪/ITE.RBCs‬‬