أساسيات المنطق الرياضي للصف الأول الثانوي

المحتوى الرئيسي

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

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

العبارة المنطقية، والتي تُعرف أيضًا بالجملة الخبرية، هي أي جملة يمكن الحكم عليها بأنها إما صحيحة تمامًا (True) أو خاطئة تمامًا (False)، ولا يمكن أن تكون كلاهما في نفس الوقت. على سبيل المثال، “الرياض عاصمة المملكة العربية السعودية” هي عبارة صحيحة، بينما “العدد 5 عدد زوجي” هي عبارة خاطئة. في المقابل، الجمل التي لا يمكن تحديد قيمة صواب لها، مثل الأسئلة (“ما اسمك؟”)، الأوامر (“ادرس جيدًا!”)، أو جمل التعجب (“يا له من يوم جميل!”)، لا تُعد عبارات منطقية.

عادةً ما تُرمز العبارات المنطقية بحروف صغيرة مثل $p$, $q$, أو $r$. قيمة الصواب للعبارة هي حالتها إما صحيحة (T) أو خاطئة (F). فهم هذه الأساسيات ضروري لبناء أي استنتاج منطقي.

أدوات الربط المنطقية

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

1. النفي (Negation)

النفي هو أداة منطقية بسيطة تعكس قيمة صواب العبارة الأصلية. يُرمز للنفي بالرمز $\sim$ أو $\neg$. إذا كانت العبارة $p$ صحيحة، فإن نفيها $\sim p$ يكون خاطئًا، والعكس صحيح. على سبيل المثال، إذا كانت $p$: “الشمس تشرق من الشرق” (وهي عبارة صحيحة)، فإن نفيها $\sim p$: “الشمس لا تشرق من الشرق” (وهي عبارة خاطئة).

يُوضح جدول الصواب التالي عمل النفي:

$p$	$\sim p$
T	F
F	T

2. الوصل (Conjunction)

الوصل هو أداة ربط تُستخدم لربط عبارتين بكلمة “و”، ويُرمز له بالرمز $\wedge$. العبارة المركبة الناتجة عن الوصل ($p \wedge q$) تكون صحيحة فقط إذا كانت كلتا العبارتين المكونتين لها ($p$ و $q$) صحيحتين معًا. في أي حالة أخرى، تكون العبارة الناتجة خاطئة. فكر فيها كشرط مزدوج: يجب أن يتحقق كلاهما لتكون النتيجة صحيحة.

مثال: إذا كانت $p$: “العدد 4 زوجي” (T)، و $q$: “العدد 4 أكبر من 3” (T). إذن العبارة المركبة $p \wedge q$: “العدد 4 زوجي وأكبر من 3” تكون صحيحة (T). ولكن إذا كانت $q$: “العدد 4 أصغر من 3” (F)، فإن $p \wedge q$ ستكون خاطئة، لأن أحد الشروط لم يتحقق.

يُوضح جدول الصواب للوصل:

$p$	$q$	$p \wedge q$
T	T	T
T	F	F
F	T	F
F	F	F

3. الفصل (Disjunction)

الفصل هو أداة ربط تُستخدم لربط عبارتين بكلمة “أو”، ويُرمز له بالرمز $\vee$. العبارة المركبة الناتجة عن الفصل ($p \vee q$) تكون صحيحة إذا كانت إحدى العبارتين أو كلاهما صحيحة. تكون خاطئة فقط في حالة واحدة: إذا كانت كلتا العبارتين خاطئتين. بمعنى آخر، يكفي أن يتحقق أحد الشرطين (أو كلاهما) لتكون النتيجة صحيحة.

مثال: $p$: “سأذهب إلى السوق” (T)، $q$: “سأذهب إلى النادي” (F). إذن العبارة $p \vee q$: “سأذهب إلى السوق أو سأذهب إلى النادي” تكون صحيحة (T). حتى لو ذهبت إلى السوق فقط، يظل الوعد صحيحًا.

يُوضح جدول الصواب للفصل:

$p$	$q$	$p \vee q$
T	T	T
T	F	T
F	T	T
F	F	F

العبارات الشرطية (Conditional Statements)

العبارة الشرطية هي عبارة مركبة تعبر عن علاقة السبب والنتيجة، وتُصاغ عادةً بصيغة “إذا $p$ فإن $q$”، ويُرمز لها بالرمز $p \to q$. تُسمى العبارة $p$ بالمقدمة أو الفرض، وتُسمى العبارة $q$ بالنتيجة أو الاستنتاج.

قيمة الصواب للعبارة الشرطية: تكون العبارة الشرطية $p \to q$ خاطئة في حالة واحدة فقط: إذا كانت المقدمة $p$ صحيحة والنتيجة $q$ خاطئة. في جميع الحالات الأخرى، تكون العبارة الشرطية صحيحة.

لفهم هذه القاعدة، تخيل وعدًا: “إذا نجحت في الاختبار ($p$)، سأشتري لك هدية ($q$).”

• إذا نجحت (T) واشتريت لك الهدية (T)، فقد وفيت بوعدي، والعبارة صحيحة (T \to T = T).
• إذا نجحت (T) ولم أشتري لك الهدية (F)، فقد أخلفت بوعدي، والعبارة خاطئة (T \to F = F).
• إذا لم تنجح (F) واشتريت لك الهدية (T)، فإن وعدي لم يُكسر. ربما اشتريتها لسبب آخر. العبارة صحيحة (F \to T = T).
• إذا لم تنجح (F) ولم أشتري لك الهدية (F)، فإن وعدي لم يُكسر. العبارة صحيحة (F \to F = T).

هذا هو جدول الصواب للعبارة الشرطية:

$p$	$q$	$p \to q$
T	T	T
T	F	F
F	T	T
F	F	T

العبارات المرتبطة بالعبارة الشرطية

من أي عبارة شرطية أصلية ($p \to q$)، يمكننا اشتقاق ثلاث عبارات أخرى ذات صلة:

1. العكس (Converse): يتم الحصول عليه بتبديل المقدمة والنتيجة. أي يصبح $q \to p$. مثال: العبارة الأصلية: “إذا كان الشكل مربعًا، فإنه مستطيل.” (صحيحة). العكس: “إذا كان الشكل مستطيلًا، فإنه مربع.” (خاطئة، فالمستطيل قد لا يكون مربعًا). ملاحظة: العبارة وعكسها ليستا متكافئتين منطقيًا دائمًا.

2. المعكوس (Inverse): يتم الحصول عليه بنفي كل من المقدمة والنتيجة. أي يصبح $\sim p \to \sim q$. مثال: العبارة الأصلية: “إذا كان الشكل مربعًا، فإنه مستطيل.” المعكوس: “إذا لم يكن الشكل مربعًا، فإنه ليس مستطيلًا.” (خاطئة، فالمستطيل غير المربع ليس بالضرورة غير مستطيل). ملاحظة: العبارة ومعكوسها ليستا متكافئتين منطقيًا دائمًا.

3. المعكوس الإيجابي (Contrapositive): يتم الحصول عليه بنفي كل من المقدمة والنتيجة بعد تبديلهما. أي يصبح $\sim q \to \sim p$. مثال: العبارة الأصلية: “إذا كان الشكل مربعًا، فإنه مستطيل.” المعكوس الإيجابي: “إذا لم يكن الشكل مستطيلًا، فإنه ليس مربعًا.” (صحيحة). ملاحظة هامة: العبارة الشرطية ومعكوسها الإيجابي متكافئتان منطقيًا دائمًا. هذا يعني أن لهما نفس قيمة الصواب في جميع الحالات الممكنة، وهي حقيقة أساسية تُستخدم في العديد من البراهين الرياضية، خاصة البراهين غير المباشرة. كما أن العكس والمعكوس متكافئان منطقيًا دائمًا.

العبارة ثنائية الشرط (Biconditional Statement)

العبارة ثنائية الشرط هي عبارة مركبة تُصاغ بصيغة ”$p$ إذا وفقط إذا $q$”، ويُرمز لها بالرمز $p \leftrightarrow q$. هذه العبارة تكون صحيحة فقط إذا كانت كلتا العبارتين $p$ و $q$ لهما نفس قيمة الصواب (كلاهما صحيح أو كلاهما خاطئ). يمكن فهمها على أنها تعني أن $p \to q$ و $q \to p$ كلاهما صحيحان.

مثال: “العدد زوجي إذا وفقط إذا كان يقبل القسمة على 2.” هذه العبارة صحيحة، لأن كلا الجزأين صحيحان معًا أو خاطئان معًا.

يُوضح جدول الصواب للعبارة ثنائية الشرط:

$p$	$q$	$p \leftrightarrow q$
T	T	T
T	F	F
F	T	F
F	F	T

جداول الصواب (Truth Tables)

جداول الصواب هي أداة قوية ومنهجية تُستخدم لتحديد قيمة الصواب النهائية لعبارة منطقية مركبة لجميع الاحتمالات الممكنة لقيم صواب العبارات البسيطة المكونة لها. إنها ضرورية لتحليل العبارات المعقدة ولإثبات التكافؤ المنطقي.

خطوات بناء جدول الصواب: لتصميم جدول صواب بشكل فعال، اتبع الخطوات التالية:

1. تحديد العبارات البسيطة: حدد جميع العبارات البسيطة الفريدة في العبارة المركبة (مثل $p, q, r$).
2. تحديد عدد الصفوف: عدد الصفوف في الجدول هو $2^n$ حيث $n$ هو عدد العبارات البسيطة. على سبيل المثال، إذا كانت هناك عبارتان ($p, q$)، فسيكون هناك $2^2 = 4$ صفوف. إذا كانت هناك ثلاث عبارات ($p, q, r$)، فسيكون هناك $2^3 = 8$ صفوف.
3. إنشاء الأعمدة: ابدأ بأعمدة لكل عبارة بسيطة. ثم أضف أعمدة لكل جزء من العبارة المركبة (مثل النفي، الوصل، الفصل، العبارات الشرطية الفرعية). أخيرًا، أضف عمودًا للعبارة المركبة كاملة.
4. ملء قيم الصواب للعبارات البسيطة: املأ قيم الصواب للعبارات البسيطة بشكل منهجي لضمان تغطية جميع الاحتمالات. على سبيل المثال، للعبارتين $p, q$: اجعل نصف قيم $p$ صحيحة والنصف الآخر خاطئة (T, T, F, F). ثم اجعل قيم $q$ تتناوب بين الصحيح والخطأ (T, F, T, F).
5. حساب قيم الصواب للعبارات المركبة: املأ كل عمود لاحق بناءً على قيم الأعمدة السابقة وقواعد أداة الربط المنطقية المستخدمة في ذلك الجزء من العبارة.

العبارات المتكافئة منطقيًا (Logically Equivalent Statements)

تُقال لعبارتين إنهما متكافئتان منطقيًا إذا كان لهما نفس قيم الصواب في جميع الحالات الممكنة. بعبارة أخرى، إذا كانت جداول الصواب الخاصة بهما متطابقة تمامًا، فإنهما متكافئتان. يُرمز للتكافؤ المنطقي بالرمز $\equiv$.

على سبيل المثال، رأينا أن العبارة الشرطية ($p \to q$) ومعكوسها الإيجابي ($\sim q \to \sim p$) متكافئتان منطقيًا. هذا يعني أن $(p \to q) \equiv (\sim q \to \sim p)$.

أهمية التكافؤ المنطقي: يسمح لنا التكافؤ المنطقي باستبدال عبارة بأخرى في البرهان الرياضي دون تغيير قيمة الصواب النهائية أو صحة الاستنتاج. هذه المرونة تبسط عملية الاستدلال وتفتح الباب أمام طرق مختلفة لإثبات صحة العبارات.

تطبيقات وأمثلة

لتوضيح المفاهيم التي تعلمناها، دعونا نلقي نظرة على بعض الأمثلة التطبيقية.

مثال 1: بناء جدول صواب لعبارة مركبة

قم ببناء جدول الصواب للعبارة المركبة التالية: $\sim (p \vee q) \wedge p$

الحل:

1. العبارات البسيطة هي $p$ و $q$. لذا، عدد الصفوف سيكون $2^2 = 4$.
2. سنحتاج إلى أعمدة للعبارات $p$, $q$, ثم للعبارة الفرعية $p \vee q$, ثم لنفيها $\sim (p \vee q)$, وأخيرًا للعبارة المركبة كاملة $\sim (p \vee q) \wedge p$.
3. نملأ الجدول خطوة بخطوة وفقًا لقواعد أدوات الربط المنطقية:

$p$	$q$	$p \vee q$	$\sim (p \vee q)$	$\sim (p \vee q) \wedge p$
T	T	T	F	F
T	F	T	F	F
F	T	T	F	F
F	F	F	T	F

من خلال الجدول، نلاحظ أن العبارة المركبة $\sim (p \vee q) \wedge p$ تكون خاطئة دائمًا بغض النظر عن قيم صواب $p$ و $q$. تُسمى مثل هذه العبارة “تناقض” (Contradiction).

مثال 2: تحديد العبارات المرتبطة بعبارة شرطية

لنفترض العبارة الشرطية التالية: “إذا كان الطقس ممطرًا في جدة، فإن الشوارع ستكون رطبة.”

نحدد المقدمة والنتيجة:

• $p$: الطقس ممطر في جدة.
• $q$: الشوارع ستكون رطبة.

الآن نحدد العبارات المرتبطة:

1. العكس ($q \to p$): “إذا كانت الشوارع رطبة، فإن الطقس ممطر في جدة.” هذه العبارة ليست صحيحة دائمًا؛ فقد تكون الشوارع رطبة بسبب غسيل الشوارع أو تسرب للمياه، وليس بالضرورة بسبب المطر.

2. المعكوس ($\sim p \to \sim q$): “إذا لم يكن الطقس ممطرًا في جدة، فإن الشوارع لن تكون رطبة.” هذه العبارة أيضًا ليست صحيحة دائمًا؛ فقد لا يكون الطقس ممطرًا، ولكن الشوارع قد تكون رطبة لأسباب أخرى كما ذكرنا.

3. المعكوس الإيجابي ($\sim q \to \sim p$): “إذا لم تكن الشوارع رطبة، فإن الطقس ليس ممطرًا في جدة.” هذه العبارة صحيحة منطقيًا. فإذا كانت الشوارع ليست رطبة، فهذا ينفي إمكانية أن يكون الطقس ممطرًا في جدة، لأن المطر حتمًا سيجعل الشوارع رطبة. هذه العبارة مكافئة منطقيًا للعبارة الأصلية.

ملاحظات

• التمييز بين الوصل والفصل: من الأخطاء الشائعة الخلط بين متطلبات أداتي الربط “و” و “أو”. تذكر أن “و” (الوصل) تتطلب صحة جميع الأجزاء لتكون العبارة الكلية صحيحة، بينما “أو” (الفصل) تتطلب صحة جزء واحد على الأقل. “و” أكثر صرامة من “أو”.
• الحالة الفريدة لخطأ العبارة الشرطية: استوعب جيدًا أن العبارة الشرطية ($p \to q$) تكون خاطئة في حالة واحدة فقط: عندما تكون المقدمة $p$ صحيحة والنتيجة $q$ خاطئة. في جميع الحالات الأخرى، حتى لو كانت المقدمة خاطئة، تُعتبر العبارة الشرطية صحيحة.
• أهمية التكافؤ المنطقي للمبرهنات: العلاقة بين العبارة الشرطية ومعكوسها الإيجابي (أنهما متكافئتان منطقيًا) أمر حيوي في البراهين الرياضية. غالبًا ما يكون إثبات المعكوس الإيجابي أسهل من إثبات العبارة الأصلية مباشرة، وبما أنهما متكافئتان، فإن إثبات أحدهما يعني إثبات الآخر.
• ترتيب العمليات المنطقية: عند تقييم عبارة مركبة تحتوي على عدة أدوات ربط، اتبع ترتيب الأولوية: النفي ($\sim$) أولًا، ثم الوصل ($\wedge$)، ثم الفصل ($\vee$)، وأخيرًا العبارات الشرطية وثنائية الشرط ($\to, \leftrightarrow$). تُستخدم الأقواس لتغيير هذا الترتيب المعتاد.