‫‪ua‬‬

‫ٔ‬
‫‪:‬‬

‫‪o‬‬
‫ﺍﻟﻔﺼﻞ ﺍﻷﻭﻝ‪ :‬ﻃﺮﻕ ﺍﻟﺒﺮﻫﺎﻥ ﺍﻟﺮﻳﺎﺿﻲ‬

‫مباديء في المنطق‬ ‫‪1‬‬

‫‪eni‬‬
‫ﻣﻔﺎﻫﻴﻢ ﻋﺎﻣﺔ‬
‫‪ .A‬إليك الجمل التالية‪:‬‬
‫‪ p‬الجزائر بلد إفر يقي ‪.‬‬

‫‪ q‬تدور الأرض حـول القمـر ‪.‬‬

‫‪ r‬يتركب الماء من الأكسجيـن و الهيدروجين ‪.‬‬
‫‪ir K‬‬ ‫‪ s‬زوايا المربع قائمـة ‪.‬‬
‫‪7 × 3 = 22‬‬ ‫‪t‬‬
‫‪ .B‬إليك الجمل التالية‪:‬‬
‫عدد طبيعي ‪.‬‬ ‫‪x‬‬ ‫‪.1‬‬
‫‪ .2‬لا تكذب ‪.‬‬
‫‪ .3‬ماأجمل الربيع ‪.‬‬

‫هذه الجمل لا يمكن الحكم عليها بالصح أو بالخطـأ‪.‬‬

‫‪oub‬‬

‫‪ 1.1‬القضيـة ‪L'assertion‬‬
‫القضيـة ‪ assertion‬هي كل جملة يمكن الحكم عليها بإحـدى الصفتين فقط صحيحة و خاطئة‪.‬‬
‫الجمل ‪ p, q, r, s, t‬قضايا بينما الجمل ‪ 1, 2, 3‬ليست قضايا‪.‬‬

‫ﺟﺪﻭﻝ ﺣﻘﻴﻘﺔ ﻗﻀﻴــﺔ‬

‫‪p, q, r, . . .‬‬ ‫‪ .1‬نرمز إلى القضيـة بأحد الحروف ‪:‬‬
‫قضيـة خاطئة يقابلها الرمز ‪.0‬‬ ‫‪p‬‬ ‫قضيـة صحيحة يقابلها الرمز ‪ .1‬إذا كانت‬ ‫‪p‬‬ ‫‪ .2‬إذا كانت‬
‫‪p‬‬
‫‪.Z‬‬

‫‪1‬‬
‫‪0‬‬
‫شكل ‪ :1‬جدول حقيقة قضية >> ‪<< p‬‬

‫ﻧﻔــﻲ ﻗﻀﻴــﺔ‬
‫نسمي نفي القضية ‪ p‬القضية التي يرمز لها بالرمز ‪ p‬أو ‪ .¬ p‬و هي قضية صحيحة عندما تكون ‪ p‬خاطئة و هي قضية خاطئة عندما‬
‫صحيحة‪.‬‬ ‫‪p‬‬ ‫تكون‬

‫‪1‬‬
 ‫‪ua‬‬
‫‪p‬‬ ‫‪p‬‬
‫‪0 1‬‬
‫‪1 0‬‬
‫شكل ‪ :2‬جدول حقيقة نفي قضية >> ‪<< p‬‬

‫‪o‬‬
‫و ‪ q‬بإستعمال‬ ‫‪p‬‬ ‫قضيـة و ‪ q‬قضية أخـرى ‪ ،‬فإنه يمكننا إنشاء قضايا جديدة إنطلاقا من‬ ‫‪p‬‬ ‫ﺍﻟﺮﻭﺍﺑﻂ ﺍﻟﻤﻨﻄﻘﻴــﺔ إذا كانت‬
‫الروابط المنطقيـة‪.‬‬

‫‪eni‬‬
‫∧‬ ‫الربط بـ >> و<< الوصل‪ :‬الرمـز‬

‫و ‪ q‬صحيحتين معا و‬ ‫‪p‬‬ ‫و ‪ q‬القضية التي نرمز لها بالرمـز ‪ p ∧ q‬و هي قضية صحيحة إذا كانت‬ ‫‪p‬‬ ‫ﺗﻌﺮﻳﻒ‪ :‬نسمـي وصل القضيتين‬
‫خاطئة في الحالات الأخرى‪.‬‬

‫ﺟﺪﻭﻝ ﺣﻘﻴﻘﺔ ﺍﻟﻮﺻﻞ )∧(‬

‫‪p∧q‬‬ ‫‪q‬‬ ‫‪p‬‬

‫‪ir K‬‬ ‫‪1‬‬
‫‪0‬‬
‫‪0‬‬
‫‪1‬‬
‫‪0‬‬
‫‪1‬‬
‫‪1‬‬
‫‪1‬‬
‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫شكل ‪ :3‬جدول حقيقة الوصل >> ‪<< p ∧ q‬‬

‫∨‬ ‫الربط بـ >> أو<< الفصل ‪ :‬الرمـز‬

‫و ‪ q‬خاطئتيـن معا‪.‬‬ ‫‪p‬‬ ‫و ‪ q‬القضية التي نرمز لها بالرمـز ‪ p ∨ q‬و هي قضية خاطئة إذا كانت‬ ‫‪p‬‬ ‫ﺗﻌﺮﻳﻒ‪ :‬نسمـي فصل القضيتين‬
‫أو ‪ <<q‬تكون صحيحة إذا كانت القضيتان صحيحتان معا أو على الأقل إحدى القضيتين تكون صحيحة‪.‬‬ ‫‪p‬‬ ‫القضيـة >>‬
‫‪oub‬‬

‫ﺟﺪﻭﻝ ﺣﻘﻴﻘﺔ ﺍﻟﻔﺼﻞ )∨(‬

‫‪p∨q‬‬ ‫‪q‬‬ ‫‪p‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫شكل ‪ :4‬جدول حقيقة الفصل >> ‪<< p ∨ q‬‬

‫الربـط بـ ⇒= )إذا كان ‪...‬فإن ‪ (...‬الإستلزام‪:‬‬

‫‪.Z‬‬

‫ﺗﻌﺮﻳﻒ‪ :‬نسمـي القضيـة ‪ p ∨ q‬إستلزاما و نرمز لها بالرمز ‪. p ⇒ q‬‬

‫تكـون ‪ p ⇒ q‬قضيـة خاطئة إذا كانت ‪ p‬صحيحة و ‪ q‬خاطئة‪.‬‬
‫ﺟﺪﻭﻝ ﺣﻘﻴﻘﺔ ﺍﻹﺳﺘﻠﺰﺍﻡ )⇒(‬

‫‪2‬‬
 ‫‪ua‬‬
‫‪p⇒q‬‬ ‫‪q‬‬ ‫‪p‬‬ ‫‪p∨q‬‬ ‫‪p‬‬ ‫‪q‬‬ ‫‪p‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬

‫‪o‬‬
‫شكل ‪ :5‬جدول حقيقة الإستلزام >> ‪<< p ⇒ q‬‬

‫يستلزم ‪.<<q‬‬ ‫‪p‬‬ ‫⇒= ‪ << p‬تقرأ >>‬ ‫‪q‬‬ ‫القضية >>‬

‫‪eni‬‬
‫فإن ‪.<<q‬‬ ‫‪p‬‬ ‫فإن صحيحة ‪ q‬صحيحة<< أو >> كانت إذا‬ ‫‪p‬‬ ‫و تقرأ أحيانا >> كانت إذا‬

‫ﺃﻣﺜﻠـــﺔ‬
‫√‬
‫⇒= ‪ <<0 ≤ x ≤ 25‬صحيحة ‪ .‬بإدخال الجذر على الطرفين ‪.‬‬ ‫‪x≤5‬‬ ‫• >>‬
‫في المجال [‪.] − ∞, −4‬‬ ‫‪x2 + 3x − 4‬‬ ‫⇒= [‪ <<x ∈] − ∞, −4‬صحيحة ‪.‬ندرس إشارة كثير الحدود‬ ‫‪x2 + 3x − 4 > 0‬‬ ‫• >>‬

‫⇒= ‪ <<sin(θ ) = 0‬خاطئة‪ .‬يكفي أخذ ‪. θ = 2π‬‬ ‫‪θ=0‬‬ ‫• >>‬

‫‪ir K‬‬
‫⇒= ‪ << p‬دائما صحيحة‪.‬‬ ‫‪q‬‬ ‫خاطئة‪ .‬فإن القضية >>‬ ‫‪p‬‬ ‫⇒= ‪ <<2 + 2 = 5‬صحيحة‪ .‬إذا كانت‬
‫√‬
‫‪2=2‬‬ ‫• >>‬

‫الربط بـ ⇒⇐ التكافؤ المنطقـي‬

‫ﺗﻌﺮﻳﻒ‪ :‬نسمـي القضيـة )‪ ( p ⇒ q) ∧ (q ⇒ p‬تكافؤ منطقيا و نرمز له بالرمز ‪. p ⇐⇒ q‬‬

‫‪q‬‬ ‫و‬ ‫‪p‬‬ ‫صحيحتين معا أو خاطئتين معا‪ .‬ونقول في هذه الحالة أن‬ ‫‪q‬‬ ‫و‬ ‫‪p‬‬ ‫صحيحة إذا كانت القضيتين‬ ‫‪p ⇐⇒ q‬‬ ‫تكـون القضية‬
‫متكافئتين‪.‬‬
‫ﺟﺪﻭﻝ ﺣﻘﻴﻘﺔ ﺍﻟﺘﻜﺎﻓﺆ ﺍﻟﻤﻨﻄﻘــﻲ )⇒⇐(‬
‫‪oub‬‬

‫‪p ⇐⇒ q‬‬ ‫)‪( p ⇒ q) ∧ (q ⇒ p‬‬ ‫‪q⇒p‬‬ ‫‪p⇒q‬‬ ‫‪q‬‬ ‫‪p‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫شكل ‪ :6‬جدول حقيقة التكافؤ >> ‪<< p ⇐⇒ q‬‬

‫ﺃﻣﺜﻠـــﺔ‬
‫• من أجل ‪ ,x, x′ ∈ R‬التكافؤ >> )‪ <<x · x′ = 0 ⇐⇒ ( x = 0 ∨ x′ = 0‬صحيح‪.‬‬
‫‪.Z‬‬

‫⇒⇐ ‪ <<P‬يكون دائما خاطئا )مهما كانت القضية ‪( p‬‬ ‫̄‪p‬‬ ‫• التكافؤ ‪>> :‬‬

‫ﺧﻮﺍﺹ ﺍﻟﺮﻭﺍﺑﻂ ﺍﻟﻤﻨﻄﻘﻴــﺔ‬

‫ثلاث قضايا ‪ .trois assertions‬لدينا التكافئات )الصحيحة(التالية ‪:‬‬ ‫‪p, q, r‬‬ ‫لتكـن‬
‫خواص ٺتعلق بالنفي‬ ‫‪-‬‬

‫‪p ⇐⇒ p‬‬ ‫‪.1‬‬

‫‪ ( p ∧ p) .2‬قضيـة خاطئة‬

‫‪3‬‬
 ‫‪ua‬‬
‫‪ ( p ∨ p) .3‬قضيـة صحيحة‬
‫خاصية عدم النمو‬ ‫‪-‬‬

‫‪( p ∧ p) ⇐⇒ p‬‬ ‫‪.1‬‬

‫‪.2‬‬

‫‪o‬‬
‫‪( p ∨ p) ⇐⇒ p‬‬

‫∨∧‬ ‫خواص‬ ‫‪-‬‬

‫)‪( p ∧ q) ⇐⇒ (q ∧ p‬‬ ‫‪.1‬‬

‫‪eni‬‬
‫)‪( p ∨ q) ⇐⇒ (q ∨ p‬‬ ‫‪.2‬‬
‫(‬ ‫)‬
‫) ‪p ∧ (q ∨ r‬‬ ‫) ‪⇐⇒ ( p ∧ q) ∨ ( p ∧ r‬‬ ‫‪.3‬‬
‫(‬ ‫)‬
‫) ‪p ∨ (q ∧ r‬‬ ‫) ‪⇐⇒ ( p ∨ q) ∧ ( p ∨ r‬‬ ‫‪.4‬‬
‫⇒= ̄‪<<q‬‬ ‫̄‪p‬‬ ‫⇒= ‪>> ⇐⇒ << p‬‬ ‫‪q‬‬ ‫‪>> .5‬‬
‫قانون مورغان )‪(Morgan‬‬ ‫‪-‬‬

‫‪p ∧ q ⇐⇒ p̄ ∨ q‬‬ ‫‪.1‬‬

‫‪ir K‬‬ ‫‪p ∨ q ⇐⇒ p ∧ q‬‬

‫قاعدة العكس النقيـض )‪.( p =⇒ q) ⇐⇒ (q =⇒ p‬‬

‫‪.2‬‬
‫‪-‬‬

‫ثلاث قضايا‪ .‬أكتب نفـي كـل القضايا التاليـة‪:‬‬ ‫‪p, q, r‬‬ ‫ﻣﺜــﺎﻝ ‪ 1‬لتكـن‬
‫(‬ ‫)‬
‫) ‪p ∧ (q ∨ r‬‬ ‫‪.1‬‬
‫‪p =⇒ q‬‬ ‫‪.2‬‬
‫‪( p ∧ p) =⇒ q‬‬ ‫‪.3‬‬
‫ﺍﻟﺤـــــﻞ‬
‫‪oub‬‬

‫(‬ ‫)‬
‫) ‪p ∧ (q ∨ r ) ⇐⇒ p ∨ (q ∨ r ) ⇐⇒ p ∨ (q ∧ r‬‬ ‫‪.1‬‬
‫)‪p =⇒ q ⇐⇒ ( p ∨ q) ⇐⇒ ( p ∧ q‬‬ ‫‪.2‬‬
‫)‪( p ∧ p) =⇒ q ⇐⇒ (( p ∧ p) ∨ q) ⇐⇒ ( p ∧ p ∧ q‬‬ ‫‪.3‬‬
‫قضيتيـن ‪ .‬بين صحة التكافؤات التالية بإستخدام جدول الحقيقـة‪:‬‬ ‫‪p, q‬‬ ‫ﻣﺜــﺎﻝ ‪ 2‬لتكـن‬
‫‪.( p =⇒ q) ⇐⇒ (q =⇒ p) .1‬‬
‫(‬ ‫)‬
‫‪.( p =⇒ q) ⇐⇒ ( p ∧ q) =⇒ p .2‬‬
‫‪.Z‬‬

‫ﺍﻟﺤـــــﻞ‬
‫‪.( p =⇒ q) ⇐⇒ (q =⇒ p) .1‬‬
‫)‪( p ⇒ q) ⇐⇒ (q ⇒ p‬‬ ‫‪q⇒p‬‬ ‫‪p⇒q‬‬ ‫‪q‬‬ ‫‪p‬‬ ‫‪q‬‬ ‫‪p‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫شكل ‪ :7‬جدول الحقيقة للقضية >> ‪<<1.‬‬

‫‪4‬‬
 ‫‪ua‬‬
‫(‬ ‫)‬
‫‪.( p =⇒ q) ⇐⇒ ( p ∧ q) =⇒ p .2‬‬
‫(‬ ‫)‬
‫⇒⇐ )‪( p ⇒ q‬‬ ‫‪( p ∧ q) ⇒ p‬‬ ‫‪( p ∧ q) ⇒ p‬‬ ‫‪p⇒q‬‬ ‫‪p∧q‬‬ ‫‪q‬‬ ‫‪p‬‬ ‫‪q‬‬ ‫‪p‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬

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

‫‪eni‬‬
‫شكل ‪ :8‬جدول الحقيقة للقضية >> ‪<<2.‬‬

‫‪ 2.1‬الجمـل المفتوحـة و المكممات‬

‫الجمـل المفتوحـة‬
‫مضاعف للعدد ‪<<3‬‬ ‫‪x‬‬ ‫عدد طبيعي >>‬ ‫‪x‬‬ ‫نعتبر الجملة‪:‬‬ ‫‪-‬‬

‫مضاعف للعدد ‪ <<3‬ليست قضيـة ‪.‬‬ ‫‪x‬‬ ‫‪ .1‬الجملة >>‬

‫‪ir K‬‬ ‫بالعدد ‪ 6 >> :6‬مضاعف للعدد ‪ <<3‬قضية صحيحة ‪.‬‬
‫بالعدد ‪ 5 >> :5‬مضاعف للعدد ‪ <<3‬قضية خاطئة ‪.‬‬
‫‪x‬‬ ‫‪ .2‬نستبدل‬
‫‪x‬‬ ‫‪.3‬‬
‫نسمي هذة الجملة جملة مفتوحة معرفة على مجموعة من الأعداد الطبيعية‪.‬‬ ‫‪-‬‬

‫و التي تصبح قضية إذا‬ ‫‪x‬‬ ‫‪ ،‬كل جملة تحتوي على المتغير‬ ‫‪E‬‬ ‫ﺗﻌﺮﻳﻒ‪ :‬نسمـي جملة مفتوحة معرفة ذات متغير واحد على مجموعة‬
‫‪.‬‬ ‫‪E‬‬ ‫أستبدل ‪ x‬بمجموعة من عناصر المجموعة‬
‫‪ x‬يسمي متغير الجملة ‪.‬‬

‫· · · ) ‪p ( x ), q ( x ), r ( x‬‬ ‫ﺍﻟﺮﻣــﺰ‪:‬‬
‫‪oub‬‬

‫‪p( x ) :‬‬ ‫ﻣﺜــــﺎﻝ‪2 >> .E = {5, 8, 10, 13} :‬يقسم‪<<x‬‬

‫‪2 >>P(5) .1‬يقسم‪ <<x‬خاطئة ‪.‬‬
‫‪2 >>P(8) .2‬يقسم‪ <<x‬صحيحة ‪.‬‬
‫‪2 >>P(10) .3‬يقسم‪ <<x‬صحيحة‪.‬‬

‫‪2 >>P(13) .4‬يقسم‪ <<x‬خاطئة ‪.‬‬

‫‪.Z‬‬

‫المكممـات‬
‫ﺍﻟﻤﻜﻤﻢ ﺍﻟﻜﻠﻲ ∀ ‪ >> :‬ﻣﻬﻤﺎ ﻳﻜﻦ <<‬
‫لتكن )‪ p( x‬جملة مفتوحة معرفة على مجموعة ‪ . E‬إذا كان من أجل كل عنصر ‪ x‬من ‪ E‬بحيث تكون )‪ p( x‬قضية صحيحة‪ .‬تكتب‪:‬‬

‫‪∀x ∈ E :‬‬ ‫) ‪p( x‬‬

‫‪ p( x) :‬صحيحة‪.‬‬ ‫‪E‬‬ ‫من‬ ‫‪x‬‬ ‫تقرأ‪ :‬مهما يكن‬

‫‪5‬‬
 ‫‪ua‬‬
‫ﻣﺜــﺎﻝ ‪:1‬‬
‫‪P( x ) :‬‬ ‫}‪ >> .E = {0, 1, 2, 3, 4‬زوجي عدد)‪<<x( x + 1‬‬
‫‪ P(0) : 0(0 + 1) .1‬عدد زوجي ‪ :‬صحيحة ‪.‬‬

‫‪o‬‬
‫‪ P(1), P(2), P(3), P(4) .2‬قضايا صحيحة ‪.‬‬
‫عدد)‪p( x ) : ∀ x ∈ {0, 1, 2, 3, 4}, x ( x + 1‬‬ ‫زوجي‬

‫ﻣﺜــﺎﻝ ‪:2‬‬

‫‪eni‬‬
‫>> جميع الطلبة حاضرون <<‬
‫{=‪E‬‬ ‫} طلبة السنة أولى‬
‫‪p( x ) :‬‬ ‫>> طالب حاضر ‪<<x‬‬
‫ﺍﻟﻤﻜﻤﻢ ﺍﻟﻮﺟﻮﺩﻱ ∃ ‪ >> :‬ﻳﻮﺟﺪ ﻋﻠﻰ ﺍﻷﻗﻞ <<‬
‫بحيث تكون )‪ p( x‬قضية صحيحة‪ ،‬تكتب‪:‬‬ ‫‪E‬‬ ‫من‬ ‫‪x‬‬ ‫‪ .‬إذاوجد على الاقل عنصر‬ ‫‪E‬‬ ‫لتكن )‪ p( x‬جملة مفتوحة معرفة على مجموعة‬

‫‪∃x ∈ E :‬‬ ‫) ‪p( x‬‬

‫‪ir K‬‬ ‫بحيث )‪) p( x‬تكون صحيحة( ‪.‬‬ ‫‪E‬‬ ‫من‬ ‫‪x‬‬ ‫تقرأ‪ :‬يوجد على الأقل‬

‫ﻣﻼﺣﻈﺔ‪ :‬المكممان ∃ ‪ ∀،‬يحولان الجملة المفتوحة )‪ p( x‬إلى قضية‪.‬‬

‫ﻣﺜــﺎﻝ ‪:1‬‬
‫)‪ p( x‬جملة مفتوحة معرفة على مجموعة الأعداد الطبيعية حيث‪:‬‬
‫‪p( x ) :‬‬ ‫‪x<5‬‬
‫)‪ p(0), p(1), p(2), p(3), p(4‬قضايا صحيحة‬
‫‪ p(0), p(1), p(2), p(3), p(4) .1‬قضايا صحيحة ‪.‬‬
‫‪oub‬‬

‫‪ p(5), p(6), · · · .2‬قضايا خاطئة‪.‬‬

‫‪p( x ) : ∃ x ∈ N, x < 5‬‬
‫ﻣﺜــﺎﻝ ‪:2‬‬
‫بعض الاساتذة سنهم أكبر من ‪ 50‬سنة‪.‬‬
‫‪ :E‬مجموعة الأساتذة في سنة ‪2020‬‬
‫‪ :x‬أستاذ‬
‫‪P( x ) :‬‬ ‫>> ‪x‬سنه أكبر من ‪45‬سنة<<‬
‫) ‪∃ x ∈ E : P( x‬‬
‫‪.Z‬‬

‫‪∃,‬‬ ‫ﻗﻮﺍﻋﺪ ﺇﺳﺘﻌﻤﺎﻝ ﺍﻟﻤﻜﻤﻤﺎﺕ ∀‬

‫يوضعان في بداية القضية‬ ‫‪-‬‬

‫في القضايا المكممة التي تشمل المتغير ‪ x‬من المجموعة ‪ E‬يمكن تبديل ‪ x‬بأي حرف أخـر يدل على عنصر ثابت من المجموعة ‪.E‬‬ ‫‪-‬‬

‫ﻣﺜــﺎﻝ ‪:‬‬
‫‪∃ x ∈ N : x2 = 1,‬‬ ‫‪∃ n ∈ N : n2 = 1‬‬

‫‪6‬‬
 ‫‪ua‬‬
‫المكمم لا يدخل على الثوابت ‪.‬‬ ‫‪-‬‬

‫ﻣﺜــﺎﻝ ‪:‬‬
‫‪∃ 1 ∈ N : 12 = 1‬‬ ‫‪ ,∃y ∈ N : y2 = 1‬لا يجوز كتابة‬

‫‪o‬‬
‫‪ ∃,‬مهم جدا ‪.‬‬ ‫∀‬ ‫ترتيب المكممين‬ ‫‪-‬‬

‫‪eni‬‬
‫ﻣﺜــﺎﻝ ‪:‬‬
‫‪ ∀ x ∈ N, ∃y ∈ N : x ≤ y .1‬قضية صحيحة ‪.‬‬
‫‪ ∃y ∈ N, ∀ x ∈ N : x ≤ y .2‬قضية خاطئة‪.‬‬

‫ﻧﻔــﻲ ﻗﻀﻴﺔ ﻣﻜﻤﻤـﺔ‬

‫‪. <<∃ x ∈ E :‬‬ ‫) ‪p( x‬‬ ‫‪ <<∀ x ∈ E :‬هو >>‬ ‫) ‪P( x‬‬ ‫نفي القضية >>‬ ‫‪-‬‬
‫‪ir K‬‬ ‫‪.<<∀ x ∈ E :‬‬ ‫) ‪p( x‬‬ ‫‪ <<∃ x ∈ E :‬هو >>‬ ‫) ‪p( x‬‬ ‫نفي القضية >>‬ ‫‪-‬‬

‫ﻣﺜــﺎﻝ ‪: 1‬‬
‫‪.<<∀ x ∈ N :‬‬ ‫‪x+1 < 2‬‬ ‫‪ <<∃ x ∈ N :‬هو >>‬ ‫‪x+1 ≥ 2‬‬ ‫• نفي القضية >>‬

‫‪.<<∃ x ∈ N, ∀y ∈ N :‬‬ ‫‪x≥y‬‬ ‫‪ <<∀ x ∈ N, ∃y ∈ N :‬هو >>‬ ‫‪x<y‬‬ ‫• نفي القضية >>‬

‫ﻣﺜــﺎﻝ ‪: 2‬‬
‫أذكر صحة أو خطأ القضايا التالية ثم أكتب نفي كل منها‪:‬‬
‫‪oub‬‬

‫‪<<∀ x ∈ N, ∃y ∈ N :‬‬ ‫‪x < y+1‬‬ ‫• >>‬

‫‪.<<∃ x ∈ N, ∀y ∈ N :‬‬ ‫‪x ≥ y+1‬‬ ‫>>‬
‫‪<<∀ x ∈ N, ∃y ∈ N :‬‬ ‫‪5x = y‬‬ ‫• >>‬
‫‪.<<∃ x ∈ N, ∀y ∈ N :‬‬ ‫‪x ≥ y+1‬‬ ‫>>‬
‫‪<<∃ x ∈ N :‬‬ ‫‪x+5 = 2‬‬ ‫• >>‬
‫‪<<∀ x ∈ N :‬‬ ‫‪x + 5 ̸= 2‬‬ ‫>>‬
‫‪<<∀ x ∈ R,‬‬ ‫‪∃y > 0 :‬‬ ‫)‪( x + y > 10‬‬ ‫• >>‬
‫‪.Z‬‬

‫‪<<∃ x ∈ R,‬‬ ‫‪∀y > 0 :‬‬ ‫‪( x + y ≤ 10).‬‬ ‫>>‬

‫أنماط البرهـان‬ ‫‪2‬‬

‫البرهان المباشـر‬ ‫‪1.2‬‬
‫صحيحة و نبرهن أن ‪ q‬صحيحة‪.‬‬ ‫‪p‬‬ ‫⇒= ‪ << p‬صحيحة‪ .‬نفرض أن القضية‬ ‫‪q‬‬ ‫نريد أن نبرهن أن القضية >>‬

‫‪7‬‬
 ‫‪ua‬‬
‫فإن ‪.a + b ∈ Q‬‬ ‫‪a, b ∈ Q‬‬ ‫ﻣﺜــﺎﻝ ‪ :‬برهن أنه إذا كان‬
‫ﺍﻟﺤـــــﻞ ‪:‬‬
‫∈ ‪.q‬‬ ‫∗‪N‬‬ ‫بحيث ‪ p ∈ Z‬و‬ ‫‪p‬‬
‫‪q‬‬ ‫ﺗﺬﻛﻴـــﺮ‪ :‬مجموعة الأعداد الناطقة ‪ Q‬هي مجموعة الأعداد الحقيقية التي تكتب من الشكل‬
‫ليكن ‪ .b ∈ Q ,a ∈ Q‬ومنه‬

‫‪o‬‬
‫‪p‬‬
‫=‪a‬‬ ‫)‪: p ∈ Z, q ∈ N∗ (1‬‬
‫‪q‬‬

‫‪eni‬‬
‫‪p′‬‬
‫)‪b = ′ : p′ ∈ Z, q′ ∈ N∗ (2‬‬
‫‪q‬‬

‫بالجمع نجد‬
‫‪p‬‬ ‫‪p′‬‬ ‫‪pq′‬‬ ‫‪+ qp′‬‬
‫= ‪a+b‬‬ ‫= ‪+ ′‬‬ ‫‪.‬‬
‫‪q‬‬ ‫‪q‬‬ ‫‪qq′‬‬

‫= ‪a+b‬‬
‫‪p′′‬‬
‫‪q′′‬‬ ‫لدينا من جهة البسط ‪ pq′ + qp′ ∈ Z‬و من جهة أخرى لدينا المقام ∗‪ .qq′ ∈ N‬إذن ‪ a + b‬يكتب من الشكل‬
‫حيث ‪ .q′′ ∈ N∗ , p′′ ∈ Z‬وبالتالي ‪.a + b ∈ Q‬‬
‫‪ir K‬‬ ‫‪ 2.2‬البرهان بفصل الحالات ‪Cas par cas‬‬
‫∈ ‪ ∀ x‬فإننا نبرهن‬ ‫) ‪E : p( x‬‬ ‫مجموعة كيفية‪ .‬عندما نريد أن نبرهن قضية من الشكل‬ ‫‪E‬‬ ‫مبدأ هذا النوع من البرهان هو‪ :‬لتكن‬
‫التي لا تنتمي إلى ‪. A‬‬ ‫‪x‬‬ ‫ثم من أجل العناصر‬ ‫‪A⊂E‬‬ ‫القضية من أجل العناصر ‪ x ∈ A‬حيث‬
‫تسمى الطر يقة بـ‪ :‬البرهان بفصل الحالات ‪ disjonction‬أو ‪.cas par cas‬‬

‫ﻣﺜــﺎﻝ ‪:‬‬
‫≤ |‪.| x − 1‬‬ ‫‪x2‬‬ ‫‪− x + 1 ,∀ x ∈ R‬‬ ‫برهن أن‬
‫ﺍﻟﺤـــــﻞ ‪:‬‬
‫‪oub‬‬

‫لتكن ‪ .x ∈ R‬نميز حالتين‪.‬‬

‫الحـالة الأولى ‪ .x ≥ 1 :‬في هذه الحالة لدينا ‪ | x − 1| = x − 1‬ومنه‬

‫)‪x 2 − x + 1 − | x − 1| = x 2 − x + 1 − ( x − 1‬‬
‫‪= x2 − 2x + 2‬‬
‫‪= ( x − 1)2 + 1 ≥ 0.‬‬

‫إذن ‪ x2 − x + 1 − | x − 1| ≥ 0‬و بالتالي |‪.x2 − x + 1 ≥ | x − 1‬‬

‫‪.Z‬‬

‫الحـالة الثانية ‪ .x < 1 :‬في هذه الحالة لدينا )‪ .| x − 1| = −( x − 1‬بالحساب نجد‬

‫‪ .x2 − x + 1 − | x − 1| = x2 − x + 1 + ( x − 1) = x2 ≥ 0‬و بالتالي |‪.x − x + 1 ≥ | x − 1‬‬
‫‪2‬‬

‫إستنتاج‪ .‬في كل الحالات لدينا ‪.| x − 1| ≤ x2 − x + 1‬‬

‫البرهان بالعكس النقيض ‪Contraposée‬‬ ‫‪3.2‬‬

‫البرهان بالعكس النقيض ‪ Le raisonnement par contraposition‬يعتمد على التكافؤ التالي ) قاعدة العكس النقيض(‪:‬‬
‫‬ ‫‬
‫⇒= ‪.<<q‬‬ ‫‪p‬‬ ‫⇒= ‪ << p‬مكافئة للقضية >>‬ ‫‪q‬‬ ‫القضية >>‬
‫
‬ ‫ ‬

‫‪8‬‬
 ‫‪ua‬‬
‫⇒= ‪<<q‬‬ ‫‪p‬‬ ‫⇒= ‪ << p‬يكفي برهان صحة القضية >>‬ ‫‪q‬‬ ‫إذا لبرهان صحة القضية >>‬

‫عدد زوجي‪.‬‬ ‫‪n‬‬ ‫عدد زوجي فإن‬ ‫‪n2‬‬ ‫ﻣﺜــﺎﻝ ‪ :‬لتكـن ‪ .n ∈ N‬برهن أنه إذا كان‬
‫ﺍﻟﺤـــﻞ‪:‬‬

‫‪o‬‬
‫عدد طبيعي غير زوجي‪ ,‬فهو عدد طبيعي‬ ‫‪n‬‬ ‫عدد طبيعي غير زوجي‪ .‬بما أن‬ ‫‪n2‬‬ ‫عدد طبيعي غير زوجي و نبرهن أن‬ ‫‪n‬‬ ‫نفرض أن‬
‫فردي و هذا معناه أنه يوجد ‪ k ∈ N‬بحيث ‪ .n = 2k + 1‬ومنه ‪.(ℓ = 2k2 + 2k ∈ N) n2 = (2k + 1)2 = 4k2 + 4k + 1 = 2ℓ + 1‬‬
‫و بالتالي ‪ n2‬عدد طبيعي فردي‪.‬‬

‫‪eni‬‬
‫إستنتاج‪ :‬برهنا أنه إذا كان ‪ n‬عدد طبيعي فردي فإن ‪ n2‬عدد طبيعي فردي‪ .‬إذن حسب مبدأ البرهان بالعكس النقيض‬
‫الاستنتاج السابق يكافئ ‪ :‬إذا كان ‪ n‬عدد طبيعي زوجي فإن ‪ n2‬عدد طبيعي زوجي‪.‬‬

‫البرهان بالخلـف ‪Absurde‬‬ ‫‪4.2‬‬

‫⇒= ‪ << p‬نفرض أن‬ ‫‪q‬‬ ‫البرهان بالخلـف ‪ Le raisonnement par l'absurde‬يعتمد على المبدأ التالي‪ :‬لبرهان القضية >>‬
‫القضية ‪ p‬صحيحة و ‪ q‬خاطئة و نحاول الوصول إلى تناقض‪.‬‬
‫‪ir K‬‬ ‫ﻣﺜــﺎﻝ ‪:‬‬
‫فإن ‪.a = b‬‬ ‫‪a‬‬
‫‪1+ b‬‬ ‫=‬ ‫‪b‬‬
‫‪1+ a‬‬ ‫ليكن ‪.a, b ≥ 0‬برهن أنه إذا كان‬
‫ﺍﻟﺤــﻞ‪:‬‬
‫نستخدم البرهان بالخلف‬
‫ومنه )‪ a(1 + a) = b(1 + b‬أي ‪ a + a2 = b + b2‬و بالتالي‬ ‫‪a‬‬
‫‪1+ b‬‬ ‫=‬ ‫‪b‬‬
‫‪1+ a‬‬ ‫≠ ‪ .a‬لدينا فرضا‬ ‫‪b‬‬ ‫و‬ ‫‪a‬‬
‫‪1+ b‬‬ ‫=‬ ‫‪b‬‬
‫‪1+ a‬‬ ‫نفرض أن‬
‫‪.‬‬ ‫‪= b−a‬‬ ‫‪a2 − b2‬‬
‫ينتج )‪ .(a − b)( a + b) = −(a − b‬و بما أن ‪ a ̸= b‬فإن ‪ ،a − b ̸= 0‬بقسمة الطرفين على ‪ a − b‬نجـد ‪ a + b = −1‬و هذا تناقض‬
‫لأن مجموع عددين موجبين ‪ a‬و ‪ b‬لا يمكن أن يكون عددا سالبا ‪.‬‬
‫إستنتاج‪. 1+a b = 1+b a =⇒ a = b :‬‬
‫‪oub‬‬

‫البرهان بإعطاء مثال مضاد ‪Contre-exemple‬‬ ‫‪5.2‬‬

‫‪. <<∀ x ∈ E :‬‬ ‫) ‪p( x‬‬ ‫يستخدم هذا النوع من البرهان في إثبات خطأ قضايا من الشكل >>‬
‫‪ <<∀ x ∈ E :‬خاطئـة‬ ‫) ‪p( x‬‬ ‫‪ .<<∃ x ∈ E :‬إذن لبرهان أن القضية >>‬ ‫) ‪p( x‬‬ ‫‪ <<∀ x ∈ E :‬هو >>‬ ‫) ‪p( x‬‬ ‫نفي القضية >>‬
‫يكفي إ يجاد عنصر ‪ x ∈ E‬بحيث تكون القضية )‪ p( x‬خاطئـة‪.‬‬
‫‪.<<∀ x ∈ E‬‬ ‫إ يجاد عنصر ‪ x‬هو إ يجاد مثال مضاد ‪ contre-exemple‬لصحة القضية >> ) ‪P( x‬‬

‫ﻣﺜــﺎﻝ ‪:‬‬
‫‪.Z‬‬

‫برهن أن القضية التالية خاطئة >> كل عدد صحيح موجب هو مجموع لثلاث مربعات<<‪.‬‬
‫)المربعات هي ‪ ...,32 ,22 ,12 ,02‬على سبيل المثال ‪(.6 = 22 + 12 + 12‬‬
‫ﺍﻟﺤــﻞ ‪:‬‬
‫نأخذ العدد ‪ 7‬كمثال مضاد‪ :‬المربعات الأقل من ‪ 7‬هي ‪ 4 ,1 ,0‬لـكن ‪.0 + 1 + 4 ̸= 7‬‬

‫‪9‬‬
 ‫‪ua‬‬
‫البرهان بالتراجع ‪Récurrence‬‬ ‫‪6.2‬‬
‫البرهان بالتراجع هو نوع من البراهين يسمح بالبرهنة على صحة خاصية ٺتعلق بعدد طبيعي ‪ ،n‬و تكون الخاصية بأحد الشكلين ‪:‬‬
‫)‪ p(n‬صحيحة ‪ ∀n ∈ N :‬أو )‪ p(n‬صحيحة‬
‫‪∀n ∈ N, n ≥ n0 :‬‬

‫‪o‬‬
‫‪ Le principe de raisonnement par récurrence‬مبدأ البرهان بالتراجع‪:‬‬
‫يعتمد هذا البرهان على المبدأ التالـي‪ p(n) :‬خاصية ٺتعلق بـ ‪ ،n‬يمكن أن تكون صحيحة أو خاطئة ‪ ،‬لـكي نبرهن بالتراجع على‬
‫صحة الخاصية )‪ p(n‬من أجل كل عدد طبيعي ‪ ،n‬نتبع الخطوات التالية‪:‬‬

‫‪eni‬‬
‫‪ .1‬نتحقق من صحة )‪. p(0‬‬
‫‪∀n ∈ N :‬‬ ‫∈ ‪ ∀n‬و إعتمادا على هذه الفرضية ‪ ،‬نبرهن صحة الخاصية )‪ p(n + 1‬أي‬ ‫‪N :‬‬ ‫‪ .2‬نفرض أن )‪ p(n‬صحيحة‬
‫)‪ p(n + 1‬صحيحة ‪.‬‬
‫‪ .3‬الإستنتاج‪ :‬إذا تحقق الخطوتين السابقتين معا نستنتج أن الخاصية )‪ p(n‬صحيحة ‪.∀n ∈ N‬‬

‫ﻣﺜــﺎﻝ ‪:‬‬
‫‪ir K‬‬ ‫برهن أنه من أجل كل ‪. > n ,n ∈ N‬‬
‫‪2n‬‬
‫ﺍﻟﺤـــﻞ ‪ :‬من أجل ‪ ،n ≥ 0‬لتكن )‪ p(n‬القضية أو الخاصية ‪:‬‬

‫‪2n > n.‬‬

‫لنبرهن بالتراجع أن الخاصية )‪ p(n‬صحيحة من أجل كل ‪.n ≥ 0‬‬

‫التحقق من صحة )‪ . p(0‬من أجل ‪ n = 0‬لدينا ‪ .20 = 1 > 0‬إذن )‪ p(0‬صحيحة‪.‬‬
‫فرضية التراجع‪ .‬من أجل ‪ .n ≥ 0‬نفرض أن )‪ p(n‬صحيحة و نبرهن صحة )‪. p(n + 1‬‬

‫‪2n +1 = 2n + 2n > n + 2n‬‬ ‫‪, 2n > n‬‬ ‫لأنه حسب )‪ p(n‬لدينا‬

‫‪oub‬‬

‫‪> n+1‬‬ ‫‪.2n ≥ 1‬‬ ‫لأن‬

‫إذن )‪ p(n + 1‬صحيحـة‪.‬‬

‫‪.∀ n ≥ 0 :‬‬ ‫إستنتاج‪ .‬حسب مبدأ التراجع )‪ p(n‬صحيحة من أجل كل ‪ ,n ≥ 0‬أي ‪2n > n‬‬

‫ﺃﻣﺜﻠــﺔ ﻣﺘﻨﻮﻋــﺔ ‪:‬‬

‫√‬
‫≤ ‪.a‬‬ ‫‪ab ≤ b‬‬ ‫≤‪ a‬و‬ ‫‪a+b‬‬
‫‪2‬‬ ‫‪≤b‬‬ ‫‪) .1‬البرهان المباشر( ليكن ‪.a, b ∈ R+‬برهن أنه‪ :‬إذا كان ‪ a ≤ b‬فإن‬
‫‪n‬‬ ‫زوجي و‬ ‫‪n‬‬ ‫)من أجل‬ ‫‪2‬‬ ‫∈ ‪ n(n + 1) ,n‬يقبل القسمة على‬ ‫‪N‬‬ ‫‪) .2‬البرهان بفصل الحالات( برهن أنه من أجل كل‬
‫فردي(‪.‬‬
‫‪.Z‬‬

‫√‬ ‫√‬
‫‪(.‬‬ ‫∈ ‪/ Q) .a + b 2‬‬
‫∈‪2‬‬ ‫‪/Q‬‬ ‫‪) .3‬البرهان بالخلف أو بالعكس النقيض( ليكن ‪ .a, b ∈ Z‬برهن أنه إذا كان ‪ b ̸= 0‬فإن‬
‫√‬
‫ليس عدد صحيح‪.‬‬ ‫‪n2 + 1‬‬ ‫‪) .4‬البرهان بالخلف( ليكن ∗‪ .n ∈ N‬برهن أن‬
‫⇒= ‪ ∀ x ∈ R : x < 2‬صحيحة ؟‬ ‫‪x2 < 4‬‬ ‫‪) .5‬البرهان بإعطاء مثال مضاد( هل القضية‬
‫= ‪.1 + 2 + · · · + n‬‬ ‫)‪n ( n +1‬‬
‫‪2‬‬ ‫‪) .6‬البرهان بالتراجع( برهن أنه من أجل كل ‪,n ≥ 1‬‬

‫‪) .7‬البرهان بالتراجع( ليكن ‪ x ≥ 0‬عدد حقيقي‪ .‬برهن أنه من أجل كل عدد صحيح ‪.(1 + x)n ≥ 1 + nx ,n ≥ 1‬‬

‫‪10‬‬