‫‪250‬‬

‫عملي‬ ‫‪5‬‬

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

‫‪7‬‬

‫‪29/11/2022‬‬ ‫‪5‬‬ ‫د‪ .‬شذا الخطيب‬

‫الجبر العام‬
‫▪ مقدمة‪:‬‬
‫يشار إلى القضية الصحيحة ب 𝑇 أو ‪.1‬‬
‫ويشار إلى القضية الخاطئة ب 𝐹 أو ‪.0‬‬
‫"≡" إشارة بمعنى التكافؤ‪.‬‬

‫𝑇∨𝐹⟸ 𝑇‬ ‫تذكر‪:‬‬
‫𝑇∧𝐹⟸ 𝐹‬
‫𝐹∨𝐹⟸ 𝐹‬
‫𝑇∧𝑇⟸ 𝑇‬
‫تمرين (‪:)1‬‬
‫لتكن لدينا القضايا اآلتية‪:‬‬
‫𝑇 ‪𝑞:‬‬ ‫𝐹 ‪𝑝:‬‬ ‫𝐹 ‪𝑟:‬‬
‫أوجد قيمة القضية المركبة‪:‬‬
‫])𝑝 ∨ 𝑟(¬ ∨ )𝑟 ∨ 𝑞([¬ ∧ 𝑟¬ ∨ 𝑝 ‪𝑄:‬‬

‫الحل‪ :‬بدايةً نعوض كل قضية بقيمتها‪ .‬أي‪:‬‬

‫])𝐹 ∨ 𝐹(¬ ∨ )𝐹 ∨ 𝑇([¬ ∧ 𝐹¬ ∨ 𝐹 ‪𝑄:‬‬

‫])𝐹(¬ ∨ )𝑇([¬ ∧ 𝑇 ∨ 𝐹 ≡‬

‫]𝑇 ∨ 𝑇[¬ ∧ 𝑇 ∨ 𝐹 ≡‬

‫𝐹 ≡ 𝐹 ∧ 𝑇 ≡ 𝐹 ∧ 𝑇 ∨ 𝐹 ≡ 𝑇¬ ∧ 𝑇 ∨ 𝐹 ≡‬

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

‫𝒑‬ ‫𝒒‬ ‫𝒒→𝒑‬ ‫)𝑞 → 𝑝(‬ ‫االقتضاء‪:‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫وهي نفسها‪(¬𝑝 ∨ 𝑞) :‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫لتكن 𝑝 و 𝑞 قضيتان عندئذ )𝑞 → 𝑝( تدعى قضية شرطية وتكون‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫دوماً صحيحة إال في الحالة التي يكون فيها الفرض 𝑝 صحيح و 𝑞 خاطئة‪.‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫التكافؤ‪(𝑝 ↔ 𝑞) :‬‬
‫𝒑‬ ‫𝒒‬ ‫𝒒↔𝒑‬ ‫وهي نفسها (تكافئ)‪(𝑝 → 𝑞) ∧ (𝑞 → 𝑝) :‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫وتكافئ أيضاً‪(𝑝 ∧ 𝑞) ∨ (¬𝑝 ∧ ¬𝑞) :‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫لتكن 𝑝 و 𝑞 قضيتان عندئذ العبارة الشرطية ثنائية الجانب (التكافؤ) وهي‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫صحيحة عندما يكون لكل من 𝑝 و 𝑞 نفس القيمة الحقيقية وخاطئة فيما عدا‬
‫ذلك‪.‬‬

‫تمرين(‪:)2‬‬
‫حدد فيما إذا كانت 𝑃 و 𝑄 متكافئتان و ذلك أياً تكن القضية 𝑝 ‪.‬‬
‫𝑇 → 𝑝 ‪𝑃:‬‬ ‫𝑝¬ ‪𝑄:‬‬
‫الحل‪:‬‬
‫𝑄 ≢ 𝑇 ≡ 𝑇 ∨ 𝑝¬ ‪𝑃:‬‬
‫قيمة 𝑃 أياً كانت 𝑝‪.‬‬

‫تمرين(‪:)3‬‬
‫حدد فيما إذا كانت 𝑃 و 𝑄 متكافئتان و ذلك أياً تكن القضايا 𝑞 ‪.𝑝, 𝑟,‬‬

‫)𝑟 ∨ 𝑞¬( ∧ 𝑝 ‪𝑄:‬‬ ‫‪,‬‬ ‫)𝑟¬ ∧ 𝑞(¬¬ ∨ 𝑝¬ ‪𝑃:‬‬

‫)𝑟 ∨ 𝑞¬(¬ ∨ 𝑝¬ ≡ )𝑟¬ ∧ 𝑞(¬¬ ∨ 𝑝¬ ≡ 𝑃‬ ‫ط‪:1‬‬

‫نطبق دومورغان‬
‫تذكرة‪:‬‬
‫∧≡∨ ¬‬
‫∨≡∧ ¬‬
‫])𝑟 ∨ 𝑞¬( ∧ 𝑝[¬ ≡ ])𝑟 ∨ 𝑞¬(¬ ∨ 𝑝¬[¬¬ ≡‬

‫𝑄¬ ≡‬

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

‫𝑃≢𝑄‬

‫)𝑟 ∨ 𝑞¬( ∧ 𝑝 ≡ 𝑄‬ ‫ط ‪:2‬‬

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

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

‫𝑃¬ ≡‬
‫𝑃≢𝑄‬
‫ط‪: 3‬‬
‫الحل بطريقة جدول الحقيقة 𝑃 ‪.‬‬

‫𝑝‬ ‫𝑞‬ ‫𝑟‬ ‫𝑝¬‬ ‫𝑞¬‬ ‫𝑟¬‬ ‫𝑟¬ ∧ 𝑞‬ ‫)𝑟¬ ∧ 𝑞( ∨ 𝑝¬‬ ‫𝑟 ∨ 𝑞¬‬ ‫)𝑟 ∨ 𝑞¬( ∧ 𝑝‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬

‫ونالحظ أن 𝑃 ≢ 𝑄‪.‬‬
‫تمرين (‪:)4‬‬
‫أوجد نفي القضية 𝑃‪.‬‬

‫)𝑟 ∨ 𝑞(¬ ∧ )𝑞 ∧ 𝑝( ‪𝑃:‬‬

‫الحل‪:‬‬
‫])𝑟 ∨ 𝑞(¬[¬ ∨ )𝑞 ∧ 𝑝(¬ ≡ 𝑃¬‬
‫نطبق دومورغان‪:‬‬
‫)𝑟 ∨ 𝑞( ∨ )𝑞¬ ∨ 𝑝¬( ≡‬

‫تذكر‪ :‬نفي النفي يعطي القضية ذاتها‪ .‬مثل‪.¬¬𝑃 ≡ 𝑃 :‬‬ ‫▪‬

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

‫جدول قواعد االستنتاج‬

‫‪Modus Ponens‬‬ ‫𝒑‬ ‫إذا كانت 𝒑 محققة‬

‫𝐪→𝐩‬ ‫و𝒒 → 𝒑 محققة‬
‫𝒒∴‬ ‫فإن 𝒒 محققة (محققة أي أن قيمتها ‪)1‬‬
‫‪Modus Tollens‬‬ ‫𝑞¬‬ ‫إذا كانت ‪ ¬q‬محققة‬
‫𝑞→𝑝‬ ‫وكانت ‪ p → q‬محققة‬
‫𝑝¬ ∴‬ ‫فإن ‪ ¬p‬محققة‬
‫‪Hypothetical Syllogism‬‬ ‫𝑞→𝑝‬
‫𝑟→𝑞‬
‫𝑟→𝑝∴‬

‫‪Disjunctive Syllogism‬‬ ‫𝑞∨𝑝‬

‫𝑝¬‬
‫𝑞∴‬

‫‪Addition‬‬ ‫𝑝‬
‫𝑞∨𝑝∴‬

‫‪Simplification‬‬ ‫𝑞∧𝑝 ‪𝑝∧𝑞 ,‬‬

‫𝑞∴ ‪∴𝑝 ,‬‬
‫‪Conjunction‬‬ ‫𝑝‬
‫𝑞‬
‫𝑞∧𝑝∴‬

‫‪Resolution‬‬ ‫𝑞∨𝑝‬
‫𝑟∨𝑝¬‬
‫𝑟∨𝑞∴‬

‫مالحظة‪ :‬أسماء القواعد مطلوب حفظها‬

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

‫تمرين‪ :‬أثبت صحة العالقة اآلتية‪:‬‬

‫𝑇 ≡ 𝑟 ∨ 𝑞 →])𝑟 ∨ 𝑝¬( ∧ )𝑞 ∨ 𝑝([‬

‫(‪)1‬‬ ‫(‪)2‬‬ ‫)𝑡(‬ ‫)𝑠(‬

‫𝑷‬ ‫𝒒‬ ‫𝒓‬ ‫𝒑¬‬ ‫𝒒¬‬ ‫𝒓¬‬ ‫𝒒∨𝒑‬ ‫𝒓 ∨ 𝒑¬‬ ‫‪1∧2‬‬ ‫𝒓∨𝒒‬ ‫𝒔→𝒕‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫محققة‪ ،‬هذا االقتضاء دوماً محقق‪.‬‬

‫‪YOU GET WHAT YOU‬‬

‫‪GIVE.‬‬

‫‪5‬‬
‫‪/ITE.RBCs‬‬