إصدار تجريبي · الإطلاق الرسمي بتاريخ 28 غشت 2026 الإبلاغ عن خطأ
📄 مذكرة الجذع المشترك

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

كل الفصل في صفحة واحدة : الصيغ، الطريقة، الأخطاء. اقرأها 5 دقائق قبل الفرض.

📐الصيغ الأساسية
الاستلزام
P ⇒ Q : إذا كانت P صحيحة، فإن Q صحيحة
النقيض المضاد (مكافئ)
Non Q ⇒ Non P
العكس (ليس صحيحا بالضرورة)
Q ⇒ P
نفي ∀
¬(∀x, P(x)) = ∃x, ¬P(x)
نفي ∃
¬(∃x, P(x)) = ∀x, ¬P(x)
الترجع
1) التأسيس (n=0 أو n=1) · 2) التوارث (P(n)→P(n+1))
⚠️أخطاء يجب تجنّبها
  • P ⇒ Q تكون صحيحة عندما تكون P خاطئة (مهما كانت Q) !
  • العكس ليس صحيحا بالضرورة
🎯
والآن، تدرّب
تمارين مصححة حول هذا الفصل في انتظارك