You are on page 1of 8

‫الدرس ‪ : 1‬مبادئ فً المنطق‬

‫عناصر التوجٌهات التربوٌة‬ ‫مكونات المقرر الرسمً‬

‫ٌنبغً تقرٌب العبارات والقوانٌن‬ ‫‪ ‬العبارات‪ ،‬العملٌات على‬


‫المنطقٌة وطرابق االستدالل انطالقا‬ ‫العبارات‪ ،‬المكممات‬
‫من أنشطة متنوعة ومختلفة‬ ‫‪‬‬
‫مستقاة من الرصٌد المعرفً للتلمٌذ‬ ‫‪ ‬االستدالالت الرٌاضٌة‪:‬‬
‫ومن وضعٌات رٌاضٌة سبق له‬ ‫االستدالل بالخلف‪ ،‬االستدالل‬
‫التعامل معها وال ٌشكل الجانب‬ ‫بفصل الحاالت‪ ،‬االستدالل‬
‫الرٌاضً عقبة أمام تناولها‬ ‫بالتكافؤ‬
‫ٌنبغً تجنب البناء النظري لهذه‬
‫المبادئ واإلفراط فً استعمال‬
‫جداول الحقٌقة‬
‫إن درس المنطق ال ٌنتهً بانتهاء‬
‫هذا الفصل بل ٌنبغً استثمار‬
‫نتابجه‪ ،‬كلما سنحت الفرصة لذلك‪،‬‬
‫بمختلف فصول المقرر الالحقة‬

‫‪2012/2011‬‬ ‫أولى باك آدب‬ ‫الدرس‪ :1‬مبادئ فً المنطق‬ ‫إعداد ‪ :‬ذ بدر بوصفٌحة‬ ‫‪1‬‬
‫‪www.monprofbadr.com‬‬
‫تقدٌم‪:‬‬

‫ٌلجأ كل فرد منا فً حٌاته الٌومٌة إلى الدفاع عن قناعته و آرابه التً ٌتمسك بها‪ ،‬ومن أجل ذلك نجده مجبرا على‬
‫التفكٌر و المقارنة واالفتراض والتحلٌل واصدار أحكام‪ ،‬وعموما فإنه ٌلجأ إلى جمٌع المواقف إلى تبنً اإلستدالل‬
‫المناسب للدفاع عن تلك القناعات و اآلراء الشخصٌة‪ ،‬كما هو األمر مثال عند العب الشطرنج‪.‬ومن هذا المنطلق‬
‫سنتطرق فً بعض فقرات هذا الدرس إلى أنواع اإلستدالالت الرٌاضٌة‪ ،‬ألن من بٌن أسباب الفشل الدراسً فً‬
‫الرٌاضٌات عجز التالمٌذ عن التمكن من القدرة على اإلستدالل الصحٌح وفقرهم إلى أدوات البحث‪.‬‬

‫‪ .I‬العبارات‪-‬العملٌات على العبارات‪:‬‬


‫‪ )1‬العبارات‬

‫نشاط‪ :‬صحٌح أم خطأ‪:‬‬

‫‪" :P1‬الرباط هً عاصمة المملكة المغربٌة" ‪V‬‬

‫‪ٌ" :P2‬بلغ عدد سكان المغرب ‪ 100‬ملٌون نسمة سنة ‪F " 2006‬‬

‫‪V " 8*4=32" :P3‬‬

‫‪" :P4‬العدد ‪ 17‬عدد أولً " ‪V‬‬

‫تعرٌف‪ :‬نسمً عبارة كل نص رٌاضً ٌحمل معنى ٌكون إما صحٌحا و إما خاطبا‪.‬‬

‫أمثلة‪:‬‬

‫العبارة " ‪ "20=4*6‬خاطبة‪.‬‬ ‫‪‬‬


‫العبارة " مجموع عددٌن فردٌٌن هو عدد زوجً" صحٌحة ‪.‬‬ ‫‪‬‬
‫العبارة " 𝑸 ∈ 𝟐 " خاطبة ‪.‬‬ ‫‪‬‬

‫ال ٌمكن أن تكون عبارة صحٌحة وخاطبة فً نفس الوقت أوغٌر صحٌحة وغٌر خاطبة‪.‬‬ ‫ملحوظة‪:‬‬

‫‪ )2‬العملٌات على العبارات‪:‬‬

‫‪ )1-2‬نفً عبارة ‪:‬‬

‫نشاط‪ :‬فً حوار جرى بٌن فاطمة و أحمد أساسه أن كل ما قالته فاطمة ٌنفٌه أحمد وكل ما قاله أحمد تنفٌه فاطمة‪.‬‬

‫انقل الجدول التالً إلى دفترك ثم امأله‪:‬‬

‫حكمك على قول أحمد‬ ‫حكمك على قول فاطمة‬ ‫ما قاله أحمد‬ ‫ما قالته فاطمة‬
‫صحٌح‬ ‫خاطا‬ ‫𝑵𝑰 ∉ 𝟐‬ ‫𝑵𝑰 ∈ 𝟐‬
‫خاطا‬ ‫صحٌح‬ ‫‪𝟕+𝟐<5‬‬ ‫𝟓≥𝟐‪𝟕+‬‬
‫خاطا‬ ‫صحٌح‬ ‫‪ 16‬غٌر مضاعف للعدد ‪4‬‬ ‫‪ 16‬مضاعف للعدد ‪4‬‬
‫صحٌح‬ ‫خاطا‬ ‫𝟒 = 𝟐)𝟐‪(−‬‬ ‫𝟒 ≠ 𝟐)𝟐‪(−‬‬

‫‪2012/2011‬‬ ‫أولى باك آدب‬ ‫الدرس‪ :1‬مبادئ فً المنطق‬ ‫إعداد ‪ :‬ذ بدر بوصفٌحة‬ ‫‪2‬‬
‫‪www.monprofbadr.com‬‬
‫تعرٌف‪ :‬نفً عبارة ‪ P‬هً العبارة التً نحصل علٌها انطالقا من ‪ P‬ونرمز لها بالرمز 𝑷 (و تقرأ نفً ‪ .)P‬وتكون‬
‫خاطبة إذا كانت ‪ P‬صحٌحة‪ ،‬وتكون صحٌحة إذا كانت ‪ P‬خاطبة‪.‬‬

‫مالحظة‪ :‬لتكن ‪ P‬عبارة‪ .‬نعبر عن قٌمة حقٌقٌة عبارة ‪ P‬باستعمال جدول نسمٌه جدول الحقٌقة‪.‬‬

‫‪ P‬إما تكون عبارة صحٌحة‪ .‬وفً هذه الحالة ٌرمز لها بالرمز ‪ V‬أو العدد ‪.1‬‬
‫و إما تكون خاطبة فٌرمز لها بالرمز ‪ F‬أو ‪.0‬‬

‫‪P‬‬ ‫‪P‬‬
‫‪1‬‬ ‫‪V‬‬
‫أو‬
‫‪0‬‬ ‫‪F‬‬

‫مثال‪:‬‬

‫نفً العبارة " 𝟑 ∗ 𝟑 = 𝟗" هً العبارة "𝟑 ∗ 𝟑 ≠ 𝟗"‬


‫نفً العبارة " ‪ "𝒙𝟐 < 0‬هً العبارة "𝟎 ≥ 𝟐 𝐱"‬
‫نفً العبارة " 𝐍𝐈 ∈ 𝟑 " هً العبارة "𝐍𝐈 ∉ 𝟑 "‬

‫جدول حقٌقة نفً عبارة‪:‬‬

‫‪P‬‬ ‫𝑷‬
‫‪V‬‬ ‫‪F‬‬

‫‪F‬‬ ‫‪V‬‬

‫‪ )2-2‬عطف عبارتٌن‪:‬‬

‫تعرٌف‪:‬‬

‫عطف عبارتٌن ‪ P‬و ‪ Q‬هو العبارة التً نرمز لها بالرمز ( ‪ Q‬و ‪ ) P‬أو )𝑸 ∧ 𝑷( و التً تكون صحٌحة فقط اذا كانت‬
‫العبارتٌن ‪ P‬و ‪ Q‬صحٌحتٌن معا‪.‬‬

‫أمثلة‪:‬‬

‫العبارة "𝑵𝑰 ∈ 𝟓 و 𝟓 ∗ 𝟏 = 𝟓 " عبارة صحٌحة ‪.‬‬


‫العبارة "𝟖 = 𝟐𝟒 و 𝟐‪ 𝟒 = −‬عبارة خاطبة ‪.‬‬
‫العبارة "𝟓𝟐 = 𝟓 ∗ 𝟓 و ‪ " 𝟒 < 2‬عبارة خاطبة ‪.‬‬

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

‫‪P‬‬ ‫‪Q‬‬ ‫‪Q‬و‪P‬‬


‫‪V‬‬ ‫‪V‬‬ ‫‪V‬‬

‫‪2012/2011‬‬ ‫أولى باك آدب‬ ‫الدرس‪ :1‬مبادئ فً المنطق‬ ‫إعداد ‪ :‬ذ بدر بوصفٌحة‬ ‫‪3‬‬
‫‪www.monprofbadr.com‬‬
‫‪V‬‬ ‫‪F‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪V‬‬ ‫‪F‬‬

‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬

‫تطبٌق‪ :‬أدرس صحة العبارات التالٌة‪:‬‬

‫‪ 𝟏𝟑 " ‬عدد فردي و 𝟒𝟏 < 𝟓𝟏 " ‪F‬‬


‫‪ 𝟔 " ‬عدد زوجي و 𝟔 يقسم 𝟐𝟐 " ‪F‬‬
‫‪ ∏ ∉ 𝐐" ‬و 𝟐)𝟐 ( = 𝟐 " ‪V‬‬

‫‪ )3-2‬فصل عبارتٌن‪:‬‬

‫تعرٌف‪ :‬فصل عبارتٌن ‪ P‬و ‪ Q‬هو العبارة التً تكون خاطبة فقط إذا كانت العبارتان ‪ P‬و ‪ Q‬خاطبتٌن مع و نركز لها‬
‫(‪ P‬أو ‪ )Q‬أو بالرمز )𝑸 ∨ 𝑷(‬ ‫بالرمز‬

‫أمثلة‪:‬‬
‫𝟓‬
‫أو 𝟐 ≠ 𝟑 " عبارة صحٌحة ‪.‬‬ ‫العبارة "𝟓 ‪= 𝟐.‬‬
‫𝟐‬
‫العبارة "‪ 𝟏𝟑 < 5‬أو 𝟒 ‪ "𝟔 = 𝟏𝟎 −‬عبارة صحٌحة ‪.‬‬
‫𝟓‬
‫العبارة "𝟕𝟐 = 𝟑𝟑 أو ‪ " 𝟑 > 1‬عبارة صحٌحة ‪.‬‬
‫العبارة " 𝟕𝟏 عدد زوجي أو 𝟓 = 𝟑 ∗ 𝟐" عبارة خاطبة ‪.‬‬

‫جدول حقٌقة فصل عبارتٌن‪:‬‬

‫‪P‬‬ ‫‪Q‬‬ ‫‪ Q‬أو ‪P‬‬


‫‪V‬‬ ‫‪V‬‬ ‫‪V‬‬

‫‪V‬‬ ‫‪F‬‬ ‫‪V‬‬


‫‪F‬‬ ‫‪V‬‬ ‫‪V‬‬

‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬

‫تطبٌق‪ :‬ادرس صحة العبارات التالٌة‪:‬‬

‫‪ 𝟏𝟒 > 2" ‬أو 𝟒 = 𝟓 " ‪V‬‬


‫𝟐‬
‫‪V‬‬ ‫‪ 𝟒 + 𝟒 = 𝟗" ‬أو 𝟎 > 𝟏 ‪" 𝟖 +‬‬
‫‪ 𝟒𝟐 = 𝟑𝟐 " ‬أو 𝟒𝟐 = 𝟐𝟓 " ‪F‬‬

‫‪2012/2011‬‬ ‫أولى باك آدب‬ ‫الدرس‪ :1‬مبادئ فً المنطق‬ ‫إعداد ‪ :‬ذ بدر بوصفٌحة‬ ‫‪4‬‬
‫‪www.monprofbadr.com‬‬
‫‪ )4-2‬استلزام عبارتٌن‪:‬‬

‫تعرٌف‪ :‬استلزام عبارتٌن ‪ P‬و ‪Q‬هو العبارة التً تكون خاطبة فقط اذا كانت ‪ P‬صحٌحة و ‪ Q‬خاطبة ونرمز لها بالرمز‬
‫‪(𝑷 => 𝑄) .‬‬

‫أمثلة‪:‬‬

‫‪V‬‬ ‫‪ ‬اإلستلزام " 𝟏 = 𝟐)𝟏‪"𝟑 < 5 => (−‬‬


‫‪ ‬اإلستلزام " ‪V " 𝟑𝟐 = −𝟗 => 4 < 2‬‬
‫‪ ‬اإلستلزام " 𝟒‪ 𝟓 => 𝟐𝟐 = −‬عدد فردي " ‪F‬‬

‫جدول حقٌقة استلزام عبارتٌن‪:‬‬

‫‪P‬‬ ‫‪Q‬‬ ‫‪P => Q‬‬


‫‪V‬‬ ‫‪V‬‬ ‫‪V‬‬

‫‪V‬‬ ‫‪F‬‬ ‫‪F‬‬


‫‪F‬‬ ‫‪V‬‬ ‫‪V‬‬

‫‪F‬‬ ‫‪F‬‬ ‫‪V‬‬

‫مالحظة‪:‬‬

‫العبارتان ‪ P => Q‬و ‪ Q => P‬مختلفتان‪.‬‬


‫اإلستلزام ‪ٌ Q => P‬سمى االستلزام العكسً لالستلزام ‪P => Q‬‬
‫العبارة ‪ P => Q‬تقرأ‪ P" :‬تستلزم ‪ "Q‬أو إذا كان ‪ P‬فإن ‪.Q‬‬

‫تطبٌق‪:‬‬

‫‪V‬‬ ‫"‬ ‫ادرس صحة اإلستلزام‪ 𝒚 = 𝟔 => 𝟐𝐱 + 𝟑𝐲 = 𝟐𝟖 ":‬و 𝟓 = 𝐱‬

‫‪ )5-2‬تكافؤ عبارتٌن‪:‬‬

‫تعرٌف‪ :‬تكافؤ عبارتٌن ‪ P‬و ‪ Q‬هو العبارة التً تكون صحٌحة فقط إذا كانت العبارتان ‪ P‬و ‪ Q‬صحٌحتٌن معا أو‬
‫خاطبتٌن معا‪ .‬ونرمز لها بالرمز )𝑄 >=< 𝑷(‬

‫العبارة )𝑄 >=< 𝑷( تقرأ ‪ P " :‬تكافا ‪ "Q‬أو "‪ P‬إذا وفقط إذا كان ‪ " Q‬أو " ‪ P‬شرط الزم وكاف لكً تكون ‪."Q‬‬

‫أمثلة‪:‬‬

‫التكافؤ‪ "(𝟒 ∈ 𝑰𝑵 <=> 8 ≥ 3)" :‬صحٌح‪.‬‬


‫التكافؤ‪ 𝟓 )" :‬عدد فردي >=< 𝑵𝑰 ∈ 𝟓 (" خاطا‪.‬‬
‫التكافؤ‪ "(𝒙 = 𝟏 <=> 𝑥 + 1 = 2 )" :‬صحٌح‪.‬‬
‫جدول حقٌقة تكافؤ عبارتٌن‪:‬‬

‫‪P‬‬ ‫‪Q‬‬ ‫‪P <=> Q‬‬

‫‪2012/2011‬‬ ‫أولى باك آدب‬ ‫الدرس‪ :1‬مبادئ فً المنطق‬ ‫إعداد ‪ :‬ذ بدر بوصفٌحة‬ ‫‪5‬‬
‫‪www.monprofbadr.com‬‬
‫‪V‬‬ ‫‪V‬‬ ‫‪V‬‬

‫‪V‬‬ ‫‪F‬‬ ‫‪F‬‬


‫‪F‬‬ ‫‪V‬‬ ‫‪F‬‬

‫‪F‬‬ ‫‪F‬‬ ‫‪V‬‬

‫‪V‬‬ ‫تطبٌق‪ 𝟓) :‬قاسم ‪ 𝟓 <=> 1085‬عدد أولي(‬

‫‪ .II‬الدالة العبارٌة‪-‬المكممات‪:‬‬
‫‪ )1‬الدالة العبارٌة‪:‬‬

‫تعرٌف‪:‬‬

‫الدالة العبارٌة هً كل نص رٌاضً ٌحتوي على متغٌر ٌنتمً إلى مجموعة معٌنة وٌصبح عبارة كلما عوضنا هذا‬
‫المتغٌر بعنصر محدد من هذه المجموعة‪.‬‬

‫مثال‪:‬‬

‫" 𝟎 = 𝟏 ‪ " 𝒙 ∈ 𝑰𝑹 ; 𝒙𝟐 −‬دالة عبارٌة‪ .‬من أجل ‪ x=-1‬و ‪ x=1‬هً عبارة صحٌحة وما عدا ذلك‬
‫ىفهً عبارة خاطبة‪.‬‬
‫" "𝟐 = 𝒙 ; ∗𝑹𝑰 ∈ 𝒙 " دالة عبارٌة ‪ .‬من أجل ‪ x=4‬هً عبارة صحٌحة و من أجل 𝟒 ≠ 𝒙‬
‫هً عبارة خاطبة‪.‬‬

‫‪ )2‬المكممات‪:‬‬

‫لتكن )‪ P(x‬دالة عبارٌة للمتغٌر ‪ x‬من ‪.E‬‬

‫انطالقا من )‪ P(x‬نكون العبارة " )𝒙(𝑷 ; 𝑬 ∈ 𝒙 ∋ " و التً تكون صحٌحة فقط إذا وجد على األقل عنصر‬
‫من ‪ٌ E‬حقق الخاصٌة )‪.P(x‬‬
‫ٌ‬
‫الرمز "∋" ٌسمى المكمم الوجودي‪ .‬العبارة ")𝒙(𝑷 ; 𝑬 ∈ 𝒙 ∋ " تقرأ " ٌوجد على األقل ‪ x‬من ‪ٌ E‬حقق‬
‫الخاصٌة )‪. P(x‬‬
‫انطالقا من )‪ P(x‬نكون العبارة " )𝒙(𝑷 ; 𝑬 ∈ 𝒙∀ " و التً تكون صحٌحة فقط إذاكانت جمٌع عناصر‬
‫المجموعة تحقق الخاصٌة )‪.P(x‬‬
‫ٌ‬
‫الرمز "∀" ٌسمى المكمم الكونً‪ .‬العبارة ")𝒙(𝑷 ; 𝑬 ∈ 𝒙∀ " تقرأ " مهما ٌكن ‪ x‬من ‪ E‬لدٌنا )‪" P(x‬‬
‫أو " لكل عنصر ‪ x‬من ‪ E‬لدٌنا )‪" P(x‬‬

‫أمثلة‪:‬‬

‫مهما ٌكن ‪ x‬من ‪ ،IR‬فإن 𝟎 ≥ 𝟐𝒙 ‪ ،‬وبالتالً نكتب‪" ∀𝒙 ∈ 𝑬 ; 𝒙𝟐 ≥ 𝟎" :‬‬


‫العبارة " 𝟎 = 𝟏 ‪ " ∋ 𝒙 ∈ 𝑰𝑹 ; 𝒙𝟐 +‬عبارة خاطبة‪.‬‬

‫‪ )3‬نفً عبارة مكممة‪:‬‬

‫نفً العبارة ")𝒙(𝑷 ; 𝑬 ∈ 𝒙∀ " هو العبارة ")𝒙(𝑷 ; 𝑬 ∈ 𝒙 ∋ "‬


‫نفً العبارة ")𝒙(𝑷 ; 𝑬 ∈ 𝒙 ∋ " هو العبارة ")𝒙(𝑷 ; 𝑬 ∈ 𝒙∀ "‬

‫‪2012/2011‬‬ ‫أولى باك آدب‬ ‫الدرس‪ :1‬مبادئ فً المنطق‬ ‫إعداد ‪ :‬ذ بدر بوصفٌحة‬ ‫‪6‬‬
‫‪www.monprofbadr.com‬‬
‫أمثلة‪:‬‬

‫نفً العبارة "‪ " ∀𝒙 ∈ 𝑬 ; 𝒙𝟐 + 𝟏 > 0‬هو العبارة "𝟎 ≤ 𝟏 ‪" ∋ 𝒙 ∈ 𝑬 ; 𝒙𝟐 +‬‬
‫نفً العبارة "𝟎 = 𝟏 ‪ " ∋ 𝒙 ∈ 𝑬 ; 𝒙 +‬هو العبارة "𝟎 ≠ 𝟏 ‪" ∀𝒙 ∈ 𝑬 ; 𝒙 +‬‬
‫‪ .III‬االستدالالت الرٌاضٌة‪:‬‬
‫ٌعتمد االستدالل الرٌاضً على بعض المبادئ والقواعد األساسٌة كما ترتكز البرهنة على صحة عبارة على‬
‫القواعد و الخاصٌات و المبرهنات التً سبق أن بٌناها أو قبلنا صحتها وكذلك على التعارٌف واالصطالحات‬
‫المتفق علٌها و على القواعد المنطقٌة‪.‬‬

‫‪ -1‬االستدالل بالتكافؤ‪:‬‬

‫للبرهنة على أن عبارة ‪ P‬تكافا عبارة ‪ Q‬نظطر أحٌانا الستعمال عبارة أخرى ‪ R‬فنبٌن أن ‪𝑷 <=> 𝑅 :‬‬
‫و 𝑸 >=< 𝑹‬

‫ثم نستنتج أن 𝑸 >=< 𝑷‬


‫𝒂‬ ‫𝟏‬
‫مثال‪ a :‬عدد حقٌقً‪ ،‬لنبٌن أن ‪≤ 𝟐 :‬‬
‫𝟐𝒂‪𝟏+‬‬

‫𝒂‬ ‫𝟏‬
‫لدٌنا 𝟎 ≥ 𝟐)𝟏 ‪≤ 𝟐 <=> 2a≤ 𝟏 + 𝒂𝟐 <=> 𝒂𝟐 − 𝟐𝒂 + 𝟏 ≥ 𝟎 <=> (𝒂 −‬‬
‫𝟐𝒂‪𝟏+‬‬

‫𝒂‬ ‫𝟏‬
‫وبما أن العبارة 𝟎 ≥ 𝟐)𝟏 ‪ (𝒂 −‬صحٌحة وتكافا العبارة 𝟎 ≥ 𝟏 ‪ 𝒂𝟐 − 𝟐𝒂 +‬فإن 𝟐 ≤‬
‫𝟐𝒂‪𝟏+‬‬

‫‪-2‬االستدالل بفصل الحاالت‪:‬‬

‫للبرهنة على أن العبارة ( ‪ Q‬أو ‪ ) P‬تستلزم العبارة ‪ ،R‬نبٌن أن 𝑸 >= 𝑷 صحٌحة و أن 𝑹 >= 𝑸 صحٌحة كذلك‪ ،‬ثم‬
‫نستنتج أن 𝑹 >= ( ‪ Q‬أو ‪) P‬‬

‫مالحظة‪:‬‬

‫عملٌا غالبا ما تكون العبارة 𝑸 هً العبارة 𝑷‪ ،‬ولكً نبٌن أن 𝑹 >= ( 𝑷 أو ‪) P‬‬

‫ٌكفً أن نبٌن أن 𝑹 >= 𝑷 وأن 𝑹 >= 𝑷‬

‫مثال‪ :‬حل فً ‪ IR‬المعادلة ∶ 𝟎 = 𝟏 ‪𝒙𝟐 − 𝒙 + 𝟏 +‬‬

‫اذا كان 𝟏‪ 𝒙 ≥ −‬فإن المعادلة تصبح 𝟎 = 𝒙 ‪ 𝒙𝟐 −‬اذن ‪ x=0‬أو ‪x=1‬‬


‫اذا كان 𝟏‪ 𝒙 < −‬فإن المعادلة تصبح 𝟎 = 𝟐 ‪ 𝒙𝟐 + 𝒙 +‬وبالتالً 𝟎 <∆ وفً هذه الحالة لٌس لها حل‪.‬‬

‫‪ -3‬االستدالل بالخلف‪:‬‬

‫للبرهنة على أن عبارة ‪ Q‬هً عبارة صحٌحة نتبع الخطوات التالٌة‪:‬‬

‫نفترض أن العبارة ‪ Q‬خاطبة‪.‬‬


‫نستنتج بناءعلى هذا االفتراض وعلى المعطٌات والخاصٌات الرٌاضٌة أن عبارة ‪ P‬ونفٌها 𝑷 عبارتان‬
‫صحٌحتان معا وهذا غٌر مقبول‪.‬‬
‫نستنتج أن العبارة ‪ Q‬صحٌحة‪.‬‬

‫‪2012/2011‬‬ ‫أولى باك آدب‬ ‫الدرس‪ :1‬مبادئ فً المنطق‬ ‫إعداد ‪ :‬ذ بدر بوصفٌحة‬ ‫‪7‬‬
‫‪www.monprofbadr.com‬‬
‫مثال‪ :‬أثبت أن العبارة "𝟎 ≠ 𝟏 ‪ " ∀𝒙 ∈ 𝑬 ; 𝒙𝟐 +‬صحٌحة‬

‫نفترض أنها خاطبة أي 𝟎 = 𝟏 ‪ ∃𝒙 ∈ 𝑬 ; 𝒙𝟐 +‬عبارة صحٌحة ‪ ،‬اذن 𝟎 <∆‪ ،‬هذا ٌعنً أنه ال ٌوجد أي عدد‬
‫حقٌقً ‪ٌ x‬حقق المعادلة 𝟎 = 𝟏 ‪ 𝒙𝟐 +‬وبالتالً فهناك تناقض‪.‬‬

‫ومنه فإن "𝟎 ≠ 𝟏 ‪ " ∀𝒙 ∈ 𝑬 ; 𝒙𝟐 +‬صحٌحة‬

‫‪2012/2011‬‬ ‫أولى باك آدب‬ ‫الدرس‪ :1‬مبادئ فً المنطق‬ ‫إعداد ‪ :‬ذ بدر بوصفٌحة‬ ‫‪8‬‬
‫‪www.monprofbadr.com‬‬

You might also like