Logique mathématique

المنطق الرياضي

Cours complet inclus 110 exercices interactifs Fiche PDF Partager

Cours complet

Contenu du cours

I. العبارات والروابط المنطقية

تعريف

العبارة هي جملة إما أن تكون صحيحة (V) أو خاطئة (F).

الروابط المنطقية

  • النفي: غير P (نرمز لها بـ ¬P أو P). تكون صحيحة عندما تكون P خاطئة.
  • الوصل: P و Q (نرمز لها بـ P ∧ Q). تكون صحيحة عندما تكون كل من P و Q صحيحتين.
  • الفصل: P أو Q (نرمز لها بـ P ∨ Q). تكون صحيحة عندما تكون واحدة على الأقل صحيحة.
  • الاستلزام: P ⇒ Q. تكون خاطئة فقط عندما تكون P صحيحة و Q خاطئة.
  • التكافؤ: P ⇔ Q. تكون صحيحة عندما تكون لـ P و Q نفس قيمة الحقيقة.

II. المكممات

  • ∀ (لكل) : ∀x ∈ E, P(x) تعني أن P(x) صحيحة لكل x من E.
  • ∃ (يوجد) : ∃x ∈ E, P(x) تعني أنه يوجد على الأقل x واحد في E بحيث P(x) صحيحة.

نفي المكممات

  • ¬(∀x, P(x)) ⇔ ∃x, ¬P(x)
  • ¬(∃x, P(x)) ⇔ ∀x, ¬P(x)

III. أنواع البراهين الرياضية

  • البرهان المباشر: ننطلق من الفرضية للوصول إلى النتيجة.
  • البرهان بالاستلزام المضاد للعكس: (P⇒Q) ⇔ (¬Q⇒¬P)
  • البرهان بالخلف: نفترض ¬P ونصل إلى تناقض.
  • البرهان بالترجع: التحقق الأولي + الوراثة ⇒ ∀n, P(n)
  • المثال المضاد: لدحض ∀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 خاطئة، فإن الاستلزام يكون دائمًا صحيحًا (ex vacuo). " القمر مصنوع من الجبن" هو استلزام صحيح!

الخلط بين العكس والنقيض: عكس هو — وهو ليس صحيحًا دائمًا. النقيض يكافئ دائمًا .

خطأ في الاستدلال بالترجع: نسيان مرحلة التحقق من الخاصية من أجل يبطل كل الاستدلال. حتى لو كانت مرحلة الافتراض صحيحة تمامًا، فبدون التحقق من الخاصية من أجل يكون البرهان ناقصًا.

🟢 نصائح احترافية

نفي المكمم: . لدحض "كل عدد صحيح زوجي"، يكفي إيجاد عدد صحيح فردي واحد.

اختيار طريقة الاستدلال: إذا بدا الاستدلال بالنقيض أو بالخلف أسهل، فاستخدمهما! الاستدلال بالنقيض غالبًا ما يكون أكثر طبيعية للاستلزامات التي تتضمن "إذا لم يكن...".

💡

الاستدلال بالخلف: افترض نفي ما نريد إثباته، ثم استنتج النتائج حتى تصل إلى تناقض واضح (، عدد جذري، إلخ).

🎯

Visualise ce concept

Manipule au lieu de mémoriser — 1 visualisation interactive pour ce chapitre.

أسئلة شائعة

كم تمرينًا مصحّحًا في درس «المنطق الرياضي» ؟ +

يتوفّر 110 تمرينًا مصحّحًا مرتّبة حسب الصعوبة مع التصحيح المفصّل، مجّانًا على أطلس ماث.

كيف أراجع درس «المنطق الرياضي» في 1ère Bac ؟ +

ابدأ بملخّص الدرس والصيغ الأساسية، ثم أنجز التمارين المصحّحة و8 اختبارات سريعة، وأنهِ بامتحان تجريبي محدّد بالوقت.

هل درس «المنطق الرياضي» مقرّر في الامتحان الوطني ؟ +

نعم، هذا الدرس جزء من المقرّر الرسمي لـ1ère Bac بالمغرب ويظهر بانتظام في الامتحانات الوطنية.

لمزيد من المراجعة