Syrian virtual University

Discrete Mathematics
GMA204_S23

STUDENTS:
Ahmad Anan | ahmad_216099 | C2

Baraah sekkawi | baraah_138974 | C2

Mohammad kassem alhalabi | mohammad_kassem_163296 | C2

Tutor:

Zuheir Ali Ahmad

 ‫السؤال األول‪:‬‬
‫لدينا العبارتين‪:‬‬
‫‪L1 = p ∨ q‬‬
‫)‪L2 = (p ∧ ~q) ∨ q ∨ (~p ∧ q‬‬
‫)‪L2= (p ∧ ~q) ∨ q ∨ (~p ∧ q‬‬
‫باستخدام قوانين التبديل‬
‫)‪(p ∧ ~q) ∨ q ∨ (q ∧ ~p‬‬
‫باستخدام قوانين االمتصاص‬
‫‪(p ∧ ~q) ∨ q‬‬
‫باستخدام قوانين التبديل‬
‫)‪q ∨ (p ∧ ~q‬‬
‫باستخدام قوانين التوزيع‬
‫)‪(q ∨ p) ∧ (q ∨ ~q‬‬
‫باستخدام قوانين النفي‬
‫‪(q ∨ p) ∧ T‬‬
‫باستخدام قوانين التطابق‬
‫‪q∨p‬‬
‫باستخدام قوانين التبديل‬
‫‪p ∨q = L1‬‬
 :‫السؤال الثاني‬
p ∧ q → ~r .1
p ∨ ~q .2
~q → p .3
.: ~r .4
:‫ البرهان باستخدام جدول الحقيقة‬.a
:‫لدينا الفرض‬
(p ∧ q → ~r) ∧ (p ∨ ~q) ∧ (~q → p) .5
(p ∧ q → ~r) ∧ (p ∨ ~q) ∧ (~q → p) → ~r .6
p q r ~q ~r p ^ q 1 2 3 5 6
1 T T T F F T F T T F T
2 T T F F T T T T T T T
3 T F T T F F T T T T F
4 T F F T T F T T T T T
5 F T T F F F T F T F T
6 F T F F T F T F T F T
7 F F T T F F T T F F T
8 F F F T T F T T F F T
.‫ أن الحجة غير صحيحة‬3 ‫نرى من جدول الحقيقة في السطر‬
 :‫ البرهان باستخدام المكافآت المنطقية‬.b

p ∧ q → ~r .1
p ∨ ~q .2
~q → p .3
.: ~r .4
1) p ∨ ~q 2nd hypothesis
2)~q simplification using step 1
3)~q→p 3rd hypothesis
4)p modus ponens using step 3 & 2
5)p ∧ q from the 1st hypothesis
6)(p ∧ q) ≡ F using step 2 & 4
7)p ∧ q → ~r 1st hypothesis
8)~(~r) modus tollens using step 6 & 7
9)r double negation laws using step 8

:‫السؤال الثالث‬
‫ حدد‬p(𝑥,y): y<x 2 ‫في مجموعة تعريف األعداد الحقيقية بفرض‬
:‫قيمة الحقيقة لكل من العبارات التالية مع التعليل‬

1. ∀𝑥∃y p(𝑥,y)
2. ∃𝑥∃y p(𝑥,y)
 ‫)‪3. ∀𝑥∀y p(𝑥,y‬‬
‫)‪4. ∀y∃𝑥 p(𝑥,y‬‬
‫)‪5. ∃𝑥∀y p(𝑥,y‬‬
‫)‪6. ∃y∀𝑥 p(𝑥,y‬‬
‫الحل‪:‬‬
‫المكمم الشامل ∀‪ :‬يعني من أجل كل‪..‬‬
‫المكمم الوجودي ∃‪ :‬يعني يوجد على األقل‪..‬‬

‫)‪1. ∀𝑥∃y p(𝑥,y‬‬

‫‪ -‬قيمة الحقيقة‪ :‬صحيحة‪.‬‬
‫‪ -‬مجموعة التعريف‪ :‬مجموعة األعداد الحقيقية‪.‬‬
‫‪ -‬التعليل‪ :‬هذه العبارة تقول " لكل 𝑥 يوجد على األقل قيمة ل ‪y‬‬
‫بحيث تحقق ‪ ." y<x 2‬وهذا صحيح‪ ،‬ألنه بالنظر إلى أي 𝑥‪ ،‬يمكننا‬
‫أن نجد قيمة ‪ y‬تلبي الشرط‪ .‬على سبيل المثال‪ ،‬عندما ‪ ،𝑥 = 1‬يمكن‬
‫أن تكون ‪.y = 0.5‬‬
‫)‪2. ∃𝑥∃y p (𝑥, y‬‬
‫‪ -‬قيمة الحقيقة‪ :‬صحيحة‪.‬‬
‫‪ -‬مجموعة التعريف‪ :‬مجموعة األعداد الحقيقية‪.‬‬
‫‪ -‬التعليل‪ :‬هذه العبارة تقول "هناك على األقل قيمة واحدة ل 𝑥‬
‫ضا صحيح‪ ،‬ألنه‬ ‫وقيمة ‪ y‬كالهما حقيقي بحيث ‪ ." y<x 2‬هذا أي ً‬
‫يمكننا أن نجد قيم ل ‪ x‬و ‪ y‬تلبي الشرط‪ .‬على سبيل المثال‪ ،‬عندما 𝑥‬
‫‪ ،= 2‬يمكن أن تكون ‪.y = 3‬‬
 ‫)‪3. ∀𝑥∀y p(𝑥,y‬‬
‫‪ -‬قيمة الحقيقة‪ :‬خاطئة‪.‬‬
‫‪ -‬مجموعة التعريف‪ :‬مجموعة األعداد الحقيقية‪.‬‬
‫‪ -‬التعليل‪ :‬هذه العبارة تقول " لكل 𝑥 يوجد قيمة لكل ‪ ." y‬هذا‬
‫خاطئ‪ ،‬ألنه يوجد أرقام حقيقية ال تلبي هذا الشرط‪.‬‬

‫)‪4. ∀y∃𝑥 p (𝑥, y‬‬

‫‪ -‬قيمة الحقيقة‪ :‬صحيحة‪.‬‬
‫‪ -‬مجموعة التعريف‪ :‬مجموعة األعداد الحقيقية‪.‬‬
‫‪ -‬التعليل‪ :‬هذه العبارة تقول "لكل قيمة ‪ y‬هناك قيمة ل 𝑥 "‪ .‬هذا‬
‫صحيح‪ ،‬ألنه بالنظر إلى أي ‪ ،y‬يمكننا أن نجد قيمة 𝑥 تلبي الشرط‪.‬‬
‫على سبيل المثال‪ ،‬عندما ‪ ،y = 3‬يمكن أن تكون ‪.𝑥 = 2‬‬
‫)‪5. ∃𝑥∀y p (𝑥, y‬‬
‫‪ -‬قيمة الحقيقة‪ :‬خاطئة‪.‬‬
‫‪ -‬مجموعة التعريف‪ :‬مجموعة األعداد الحقيقية‪.‬‬
‫‪ -‬التعليل‪ :‬هذه العبارة تقول "هناك قيمة 𝑥 لكل قيم ‪ ."y‬هذا خاطئ‪،‬‬
‫ألنه يمكن أن يكون هناك 𝑥 واحد يلبي هذا الشرط‪ ،‬ولكن ليس كل 𝑥‪.‬‬

‫)‪6. ∃y∀𝑥 p (𝑥, y‬‬

 ‫‪ -‬قيمة الحقيقة‪ :‬خاطئة‪.‬‬
‫‪ -‬مجموعة التعريف‪ :‬مجموعة األعداد الحقيقية‪.‬‬
‫‪ -‬التعليل‪ :‬هذه العبارة تقول "هناك قيمة ‪ y‬لكل 𝑥"‪ .‬هذا خاطئ‬
‫ضا‪ ،‬ألنه يمكن أن يكون هناك ‪ y‬واحد يلبي هذا الشرط‪ ،‬ولكن ليس‬ ‫أي ً‬
‫كل ‪.y‬‬

‫السؤال الرابع‪:‬‬
‫البرهان باستخدام االستقراء الرياضي‪:‬‬
‫𝑛‬
‫= )𝑛(𝑝‬ ‫لتكن لدينا الفرضية‬
‫‪𝑛+1‬‬

‫نبرهن أوالً أن )‪ p(1‬صحيحة‬

‫‪1‬‬ ‫𝑛‬
‫=‬
‫)‪𝑛(𝑛 + 1‬‬ ‫‪𝑛+1‬‬
‫‪1‬‬ ‫‪1‬‬
‫=‬
‫)‪1(1 + 1‬‬ ‫‪1+1‬‬
‫‪1‬‬ ‫‪1‬‬
‫=‬
‫‪2‬‬ ‫‪2‬‬
‫إذا ً نرى أن )‪ p(n‬صحيحة من أجل ‪n=1‬‬
‫نفرض أن )‪ p(k‬صحيحة فينتج لدينا‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝑘‬
‫‪+‬‬ ‫‪+⋯+‬‬ ‫=‬
‫‪1.2 2.3‬‬ ‫)‪𝑘(𝑘 + 1‬‬ ‫‪𝑘+1‬‬
 ‫اآلن نبرهن أن )‪ p(k+1‬صحيحة‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪𝑎.‬‬ ‫‪+‬‬ ‫‪+⋯+‬‬ ‫‪+‬‬
‫‪1.2 2.3‬‬ ‫]‪𝑘(𝑘 + 1) (𝑘 + 1)[(𝑘 + 1) + 1‬‬
‫‪𝑘+1‬‬
‫=‬
‫‪(𝑘 + 1) + 1‬‬
‫‪𝑘+1‬‬
‫=‬
‫‪𝑘+2‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪𝑏.‬‬ ‫‪+‬‬ ‫‪+ ⋯+‬‬ ‫‪+‬‬
‫‪1.2 2.3‬‬ ‫)‪𝑘(𝑘 + 1) (𝑘 + 1)(𝑘 + 2‬‬
‫𝑘‬ ‫‪1‬‬
‫‪= +‬‬
‫)‪𝑘 (𝑘 + 1)(𝑘 + 2‬‬
‫)‪𝑘(𝑘 + 2‬‬ ‫‪1‬‬
‫=‬ ‫‪+‬‬
‫)‪(𝑘 + 1)(𝑘 + 2) (𝑘 + 1)(𝑘 + 2‬‬
‫‪𝑘 2 + 2𝑘 + 1‬‬
‫=‬
‫)‪(𝑘 + 1)(𝑘 + 2‬‬
‫)‪(𝑘 + 1)(𝑘 + 1‬‬
‫=‬
‫)‪(𝑘 + 1)(𝑘 + 2‬‬
‫‪𝑘+1‬‬
‫=‬
‫‪𝑘+2‬‬
‫إذا ً )‪ p(k+1‬صحيحة‬
‫نستنتج أن )‪ p(n‬صحيحة من أجل كل ‪n≥1‬‬