المثال المضاد: لدحض ∀x P(x)، يكفي إيجاد x₀ بحيث ¬P(x₀).
البرهان بفصل الحالات: ندرس جميع الحالات الممكنة بشكل منفصل.
🔑 Formules clés à retenir
¬(P ∧ Q) ⇔ (¬P) ∨ (¬Q)
¬(P ∨ Q) ⇔ (¬P) ∧ (¬Q)
(P⇒Q) ⇔ (¬Q⇒¬P)
¬(∀x, P(x)) ⇔ ∃x, ¬P(x)
⚠️
Astuces & Pièges à éviter
Les erreurs classiques — à lire avant les exercices !
🔴 أخطاء شائعة
❌
الاستلزام P⇒Q يكون خاطئًا فقط عندما تكون P صحيحة و Q خاطئة. إذا كانت P خاطئة، فإن الاستلزام يكون دائمًا صحيحًا (ex vacuo). "0=1⇒ القمر مصنوع من الجبن" هو استلزام صحيح!
❌
الخلط بين العكس والنقيض: عكس (P⇒Q) هو (Q⇒P) — وهو ليس صحيحًا دائمًا. النقيض (¬Q⇒¬P) يكافئ دائمًا (P⇒Q).
❌
خطأ في الاستدلال بالترجع: نسيان مرحلة التحقق من الخاصية من أجل n0 يبطل كل الاستدلال. حتى لو كانت مرحلة الافتراض صحيحة تمامًا، فبدون التحقق من الخاصية من أجل n0 يكون البرهان ناقصًا.
🟢 نصائح احترافية
✅
نفي المكمم:¬(∀x,P(x))=∃x,¬P(x). لدحض "كل عدد صحيح زوجي"، يكفي إيجاد عدد صحيح فردي واحد.
✅
اختيار طريقة الاستدلال: إذا بدا الاستدلال بالنقيض أو بالخلف أسهل، فاستخدمهما! الاستدلال بالنقيض غالبًا ما يكون أكثر طبيعية للاستلزامات التي تتضمن "إذا لم يكن...".
💡
الاستدلال بالخلف: افترض نفي ما نريد إثباته، ثم استنتج النتائج حتى تصل إلى تناقض واضح (0=1، 2 عدد جذري، إلخ).
🧭
Méthodes types
Pour chaque type de question : la démarche à suivre, étape par étape.
طرق نموذجية — المنطق الرياضي
النوع 1: تحديد قيمة صدق قضية / نفيها
متى؟ يُعطى لك قضية تحتوي على رابط (∧، ∨، ⇒، ⇔) أو مكمّم ويُطلب منك تحديد ما إذا كانت صحيحة، أو نفيها.
حدّد الرابط أو المكمّم الرئيسي.
لقيمة الصدق، طبّق الجداول: P∧Q صحيحة فقط إذا كانت كلتاهما صحيحتين؛ P∨Q خاطئة فقط إذا كانت كلتاهما خاطئتين؛ P⇒Q خاطئة فقط إذا كانت P صحيحة و Q خاطئة.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
100
فصل الحالات
Difficile
Corrigé
Énoncé
ليكن P : "أذهب إلى السوق" و Q : "أشتري الخضروات". ادرس الحالات التالية: 1) أذهب إلى السوق وأشتري الخضروات. 2) أذهب إلى السوق لكنني لا أشتري الخضروات. 3) لا أذهب إلى السوق. ما هي النتائج الممكنة؟
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
105
تقييم العبارات
Difficile
Corrigé
Énoncé
نعتبر الافتراضات التالية: P: "إنها تمطر اليوم", Q: "سأذهب إلى السوق", R: "سأركب سيارة أجرة". نحدد الروابط المنطقية التالية: A: P ∧ Q, B: ¬R, C: P ⇒ R. قم بتقييم قيمة الحقيقة للتعبير (A ∨ B) ∧ ¬C إذا علمنا أن P صحيحة، Q صحيحة و R خاطئة.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
108
فصل الحالات
Difficile
Corrigé
Énoncé
في إحدى المدن المغربية، يتم تحليل عادات تنقل السكان. ليكن P: "السكان يستعملون الحافلة"، Q: "السكان يستعملون سيارة الأجرة". بين أن (P ∨ Q) ⇒ R، حيث R: "السكان يتنقلون". استخدم فصل الحالات لإثبات أنه إذا كان P صحيحًا، فإن R صحيح. افعل الشيء نفسه بالنسبة لـ Q.