Glanz: aiMOOC über GPT aiMOOC Action erstellt

2026-08-29T07:36:17Z

aiMOOC über GPT aiMOOC Action erstellt

Neue Seite

{{T}}
[[Category:Sprache:العربية]]
[[Category:Locale:ar]]
[[Category:الرياضيات]]
[[Category:المنطق الرياضي]]
[[Category:المرحلة الثانوية]]

{{BR}}
= مقدمة =
التفكير الرياضي ليس مجرد تنفيذ عمليات حسابية، بل هو القدرة على طرح سؤال دقيق، واكتشاف نمط، وصياغة [[Arabic:تخمين|تخمين]]، ثم فحصه بالحجج والأمثلة المضادة قبل قبوله أو رفضه. أمّا [[Arabic:برهان رياضي|البرهان الرياضي]] فهو سلسلة مترابطة من الاستدلالات تبدأ من تعريفات ومعطيات ونتائج معروفة، وتنتهي بتبرير النتيجة المطلوبة تبريرًا يمكن للآخرين فحصه خطوة خطوة.

في هذه الدورة ستتعامل مع ألغاز عددية وهندسية، وعبارات شرطية، وتخمينات قد تبدو مقنعة لكنها خاطئة، وطرائق برهان مختلفة. المطلوب منك ليس أن تصل إلى جواب فقط، بل أن تشرح '''لماذا''' يجب أن يكون جوابك صحيحًا، وأن تميّز بين دليل قوي وملاحظة أو مثال منفرد.

المعارف السابقة المناسبة هي التعامل مع الأعداد الصحيحة والكسور والجبر الأساسي، وفهم المتغيرات والمعادلات، ومعرفة أولية بالهندسة. إذا وجدت رمزًا منطقيًا جديدًا، فركّز أولًا على معناه اللغوي ثم اربطه بالصيغة الرمزية.

[[File:Illustration to Euclid's proof of the Pythagorean theorem.svg|500px|frameless|center|alt=رسم هندسي يوضح مربعات مبنية على أضلاع مثلث قائم|رسم هندسي يساعدك على تتبع فكرة برهان لنظرية فيثاغورس.]]

{{BR}}
= أهداف التعلم =
بعد إكمال الدورة، يُتوقع أن تكون قادرًا على:
# التمييز بين [[Arabic:تخمين|التخمين]] و[[Arabic:نظرية|النظرية]] والبرهان والمثال المضاد.
# ترجمة العبارات الشرطية إلى فرض ونتيجة، وفهم العكس وعكس النقيض.
# استخدام البرهان المباشر وبرهان عكس النقيض والبرهان بالتناقض والبرهان بالحالات.
# تطبيق [[Arabic:استقراء رياضي|الاستقراء الرياضي]] في مسائل مناسبة.
# اختبار الادعاءات الكلية بأمثلة مضادة واختيار مجالات اختبار ذكية.
# كشف أخطاء شائعة مثل التعميم من أمثلة قليلة، وافتراض العكس، والقسمة على الصفر.
# كتابة حجة رياضية مرتبة تذكر المعطيات والمبررات ولا تخفي الخطوات الجوهرية.
# مناقشة برهان زميل أو زميلة باحترام، وتحديد موضع القوة أو الفجوة المنطقية فيه.

{{BR}}
= من التخمين إلى البرهان =
يبدأ كثير من العمل الرياضي بالملاحظة. قد تحسب عدة حالات فتلاحظ نمطًا، ثم تصوغ جملة عامة. هذه الجملة تسمى '''تخمينًا''' ما دامت لم تُبرهن. فمثلًا، إذا نظرت إلى الفروق بين المربعات المتتالية تجد:

1²−0²=1، و2²−1²=3، و3²−2²=5، و4²−3²=7.

من الطبيعي أن تخمّن أن فرق مربعين متتاليين عدد فردي دائمًا. لكن الأمثلة الأربع لا تكفي لإثبات كلمة «دائمًا». البرهان الجبري أوضح: لأي عدد صحيح n يكون

(n+1)²−n² = n²+2n+1−n² = 2n+1،

وكل عدد من الصورة 2n+1 فردي. هنا لم نختبر حالات منفردة فقط، بل عالجنا عددًا صحيحًا عامًا.

[[File:Difference of consecutive squares.svg|500px|frameless|center|alt=تمثيل بصري يوضح أن الفرق بين مربعين متتاليين يتكون من عدد فردي من الوحدات|برهان بصري لفكرة أن الفرق بين مربعين متتاليين عدد فردي.]]

'''لغز نمط:''' كثير من القيم الأولى للتعبير n²+n+41 تكون أعدادًا أولية. هل يكفي ذلك للقول إنه يعطي عددًا أوليًا لكل n صحيح غير سالب؟ جرّب n=40، فتحصل على 1681، وهو 41×41. حالة واحدة هنا تكفي لهدم الادعاء الكلي.

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

{{#ev:youtube|https://www.youtube.com/watch?v=pcJfZCeOWMY|500|center}}

{{BR}}
= لغة المنطق: الفرض والنتيجة =
العبارة الشرطية «إذا كان P فإن Q» تتكون من '''فرض''' P و'''نتيجة''' Q. في الرياضيات لا يعني الشرط مجرد تعاقب زمني؛ بل يعني أن تحقق الفرض يضمن تحقق النتيجة داخل المجال المحدد.

مثال: «إذا كان العدد الصحيح يقبل القسمة على 4 فإنه زوجي». القابلية للقسمة على 4 شرط '''كاف''' للزوجية، لكنها ليست شرطًا '''لازمًا'''؛ فالعدد 6 زوجي ولا يقبل القسمة على 4.

من العبارة «إذا كان P فإن Q» يمكن تكوين:

'''العكس:''' إذا كان Q فإن P. العكس ليس مضمون الصحة لمجرد صحة العبارة الأصلية.

'''عكس النقيض:''' إذا لم يكن Q فإن P لا يكون صحيحًا. عكس النقيض مكافئ منطقيًا للعبارة الأصلية، ولذلك يمكن أن يكون طريقًا ممتازًا للبرهان.

مثال: لإثبات «إذا كان n² زوجيًا فإن n زوجي»، قد يكون الأسهل إثبات عكس النقيض: إذا كان n فرديًا، فاكتب n=2k+1؛ عندئذ n²=4k²+4k+1، وهو فردي. إذن العبارة الأصلية صحيحة أيضًا.

[[File:Relation1101.svg|500px|frameless|center|alt=مخطط مجموعتين يوضح علاقة احتواء يمكن تفسيرها كاستلزام منطقي|عندما تقع حالات عبارة داخل حالات عبارة أوسع، يمكن قراءة الاحتواء بوصفه استلزامًا منطقيًا.]]

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

{{BR}}
= استراتيجيات البرهان =
لا توجد طريقة واحدة تناسب كل مسألة. اختيار الاستراتيجية جزء من التفكير الرياضي نفسه.

'''البرهان المباشر:''' تبدأ من الفرض وتستخدم التعريفات ونتائج معروفة حتى تصل إلى المطلوب. مثال: لإثبات أن مجموع عددين زوجيين زوجي، اكتب العددين 2a و2b. مجموعهما 2a+2b=2(a+b)، وهو زوجي لأن a+b عدد صحيح.

'''برهان عكس النقيض:''' بدل إثبات «إذا P فإن Q» مباشرة، تثبت «إذا لم Q فإن لم P». هذه الطريقة فعالة عندما يكون نفي النتيجة أسهل في المعالجة، كما في مثال زوجية n².

'''البرهان بالتناقض:''' تفترض نفي النتيجة التي تريد إثباتها، ثم تستنتج أمرًا مستحيلًا أو يناقض فرضًا معلومًا. عندها يكون الافتراض المضاد غير ممكن، فيثبت المطلوب.

مثال مشهور: افترض أن √2 عدد نسبي، أي √2=p/q حيث p وq عددان صحيحان لا عامل مشترك بينهما وq غير صفر. من p²=2q² نستنتج أن p² زوجي، وبالتالي p زوجي؛ اكتب p=2r. بالتعويض تحصل على q²=2r²، فيكون q زوجيًا أيضًا. هذا يناقض اختيار p وq في أبسط صورة لأنهما يشتركان في العامل 2. إذن √2 غير نسبي.

[[File:Sqrt2 is irrational.svg|500px|frameless|center|alt=رسم هندسي يبين فكرة تناقص لا نهائي مرتبطة ببرهان لا نسبية الجذر التربيعي لاثنين|تصور هندسي مختلف لفكرة استحالة تمثيل الجذر التربيعي لاثنين بنسبة صحيحة في أبسط صورة.]]

'''البرهان بالحالات:''' تقسّم جميع الإمكانات إلى حالات شاملة ثم تثبت النتيجة في كل حالة. لإثبات أن n²+n زوجي لكل عدد صحيح n، يكفي النظر إلى حالتين: إذا كان n زوجيًا، فالحدان n² وn زوجيان؛ وإذا كان n فرديًا، فكل من n² وn فردي ومجموع فرديين زوجي. لأن كل عدد صحيح إما زوجي أو فردي، غطّت الحالتان المجال كله.

{{BR}}
= الاستقراء الرياضي =
الاستقراء الرياضي طريقة لإثبات جمل تعتمد على عدد طبيعي n. فكر فيه كصف من قطع الدومينو: تحتاج إلى التأكد من سقوط أول قطعة، ثم إثبات أن سقوط أي قطعة يؤدي إلى سقوط التي تليها. عند تحقق الأمرين تستمر السلسلة.

[[File:Dominoeffect.png|500px|frameless|center|alt=صف من قطع الدومينو المتقاربة يوضح انتقال السقوط من قطعة إلى التي تليها|تشبيه بصري لفكرة حالة الأساس وخطوة الانتقال في الاستقراء الرياضي.]]

يتكون البرهان الاستقرائي عادة من عنصرين أساسيين:

'''حالة الأساس:''' تثبت صحة الجملة عند أول قيمة مطلوبة، مثل n=1.

'''خطوة الاستقراء:''' تفترض أن الجملة صحيحة عند n=k، وهذا يسمى فرضية الاستقراء، ثم تستخدم هذا الافتراض لإثبات صحتها عند n=k+1.

مثال: أثبت أن مجموع الأعداد الفردية الأولى يحقق 1+3+5+...+(2n−1)=n².

عند n=1 يكون الطرف الأيسر 1 والطرف الأيمن 1، فتتحقق حالة الأساس. افترض الآن أن 1+3+...+(2k−1)=k². بإضافة العدد الفردي التالي 2k+1 نحصل على k²+2k+1=(k+1)². إذن صحة الجملة عند k تقود إلى صحتها عند k+1، وبذلك تثبت الجملة لكل n طبيعي يبدأ من 1.

الخطأ الشائع هو أن تفترض المطلوب عند k+1 بدل أن تبرهنه. فرضية الاستقراء تسمح لك بافتراض حالة k فقط، ثم عليك أن تُظهر الانتقال المنطقي إلى الحالة التالية.

{{#ev:youtube|https://www.youtube.com/watch?v=6a2mMNhurug|500|center}}

{{#ev:youtube|https://www.youtube.com/watch?v=pAEFjMqAwVM|500|center}}

{{BR}}
= الأمثلة المضادة وحدود الاستدلال =
الاستدلال من أمثلة كثيرة مفيد لاكتشاف تخمين، لكنه لا يساوي برهانًا على عبارة كلية. يمكنك اختبار ألف حالة صحيحة، ثم تظهر حالة رقم ألف وواحد مخالفة. لذلك اسأل دائمًا: هل أنا أبحث عن '''نمط''' أم أثبت '''ضرورة منطقية'''؟

جرّب الادعاء: «إذا كان حاصل ضرب عددين صحيحين زوجيًا فإن العددين كلاهما زوجيان». يبدو الادعاء معقولًا إذا اختبرت 2×4 و6×8، لكنه خاطئ لأن 2×3=6 زوجي مع أن 3 فردي. المثال المضاد لا يوضح فقط أن العبارة خطأ؛ بل يساعدك على إصلاحها. صياغة صحيحة هي: «إذا كان حاصل ضرب عددين صحيحين فرديًا فإن العددين كلاهما فرديان»، أو «إذا كان حاصل الضرب زوجيًا فإن واحدًا على الأقل من العاملين زوجي».

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

{{BR}}
= كيف تكشف برهانًا زائفًا =
قد تبدو سلسلة جبرية سليمة بصريًا وهي تخفي خطوة غير مسموحة. انظر إلى الحجة الآتية. افترض a=b مع a غير صفر. إذن a²=ab. بطرح b² نحصل على a²−b²=ab−b². بالتحليل: (a−b)(a+b)=b(a−b). إذا قُسم الطرفان على a−b فسنحصل على a+b=b، ومن a=b سنستنتج 2b=b، ثم 2=1. أين الخطأ؟

بما أن a=b فإن a−b=0. القسمة على a−b هنا هي قسمة على الصفر، وهي غير معرفة. هذا المثال يعلّمك أن صحة النتيجة لا تعتمد على شكل الخطوات فقط؛ بل على شروط صلاحية كل خطوة.

من الأخطاء الشائعة أيضًا '''الدور المنطقي'''، حيث تستخدم النتيجة المطلوب إثباتها ضمن البرهان دون مبرر مستقل، و'''إثبات العكس بدل الأصل'''، و'''الاعتماد على شكل هندسي مرسوم بدقة غير مضمونة'''، و'''تغيير مجال المتغير أثناء الحل دون التصريح بذلك'''.

{{BR}}
= التواصل الرياضي وكتابة البرهان =
البرهان الجيد ليس ما يفهمه كاتبه وحده، بل ما يستطيع قارئ آخر التحقق منه. ابدأ بتحديد المجال والمعطيات. اذكر التعريف عندما تستخدمه، مثل «n زوجي، إذن يوجد عدد صحيح k بحيث n=2k». اربط الخطوات بكلمات مثل «لأن»، «إذن»، «وبالتالي»، ولا تضع سلسلة معادلات بلا تفسير حين تكون القفزة الفكرية غير واضحة.

استخدم الرموز للاختصار لا للإخفاء. إذا كان الانتقال يتطلب نتيجة سابقة، فاذكرها. وإذا اعتمدت على رسم، وضح أي خصائص مأخوذة من المعطيات وأيها مجرد مظهر للرسم. في مناقشة برهان زميل، حاول تحديد أول خطوة غير مبررة بدل الاكتفاء بقول «هذا خطأ».

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

{{BR}}
= مهام تفاعلية =

{{BR}}
== اختبار: اختبر معرفتك ==

{{MC}}
'''ما الذي يكفي لإثبات خطأ عبارة تقول إن خاصية ما صحيحة لكل عناصر المجال؟'''
(إيجاد مثال مضاد واحد من المجال)
(!فحص ثلاث حالات صحيحة)
(!رسم شكل يبدو مؤيدًا للعبارة)
(!إعادة صياغة العبارة بالكلمات)
{{E}}
<br>

{{MC}}
'''أي عبارة تكون مكافئة منطقيًا لعبارة شرطية صحيحة من الشكل إذا كان الفرض صحيحًا فالنتيجة صحيحة؟'''
(عكس النقيض)
(!العكس دائمًا)
(!نفي الفرض وحده)
(!تكرار النتيجة)
{{E}}
<br>

{{MC}}
'''لماذا يكون مجموع عددين زوجيين زوجيًا في برهان مباشر؟'''
(لأنه يمكن كتابة المجموع في صورة ضعفي عدد صحيح)
(!لأن كل عددين مجموعهما موجب)
(!لأن حاصل ضربهما زوجي)
(!لأن الأمثلة الصغيرة تؤكد ذلك)
{{E}}
<br>

{{MC}}
'''أي زوج من الأعداد يقدم مثالًا مضادًا للادعاء القائل إن حاصل ضرب عددين زوجي يعني أن كليهما زوجي؟'''
(اثنان وثلاثة)
(!اثنان وأربعة)
(!أربعة وستة)
(!ثمانية وعشرة)
{{E}}
<br>

{{MC}}
'''بماذا يبدأ البرهان بالتناقض عادة؟'''
(بافتراض نفي النتيجة المطلوبة)
(!بافتراض أن كل الأمثلة صحيحة)
(!بحذف المعطيات)
(!بإثبات العكس فقط)
{{E}}
<br>

{{MC}}
'''ما العنصران اللذان لا يكتمل بدونهما الاستقراء الرياضي المعتاد؟'''
(حالة أساس وخطوة انتقال)
(!رسم بياني وجدول قيم)
(!مثالان عدديان فقط)
(!تعريف وعكس فقط)
{{E}}
<br>

{{MC}}
'''في العبارة إذا كان العدد يقبل القسمة على أربعة فإنه زوجي كيف توصف القابلية للقسمة على أربعة بالنسبة للزوجية؟'''
(شرط كاف غير لازم)
(!شرط لازم غير كاف)
(!شرط مستحيل)
(!نتيجة لا علاقة لها بالفرض)
{{E}}
<br>

{{MC}}
'''لماذا لا تكفي مئة حالة ناجحة وحدها لإثبات عبارة كلية عن جميع الأعداد الصحيحة؟'''
(لأن حالة غير مختبرة قد تكون مثالًا مضادًا)
(!لأن الأعداد الصحيحة لا يمكن دراستها)
(!لأن البرهان يجب أن يكون هندسيًا)
(!لأن الأمثلة ممنوعة في الرياضيات)
{{E}}
<br>

{{MC}}
'''متى يكون البرهان بالحالات مكتملًا؟'''
(عندما تغطي الحالات جميع الإمكانات الممكنة)
(!عندما تكون الحالة الأولى سهلة)
(!عندما تتشابه حالتان فقط)
(!عندما لا نذكر المجال)
{{E}}
<br>

{{MC}}
'''ما السمة الأهم في التواصل الرياضي داخل برهان مكتوب؟'''
(تبرير الانتقالات الجوهرية بوضوح)
(!استخدام أكبر عدد من الرموز)
(!حذف التعريفات لتقصير النص)
(!الاعتماد على شكل الرسم وحده)
{{E}}
<br>

{{BR}}
== لعبة الذاكرة ==
<div class="memo-quiz">
{|
|-
| تخمين || جملة عامة مقترحة اعتمادًا على نمط أو ملاحظات وتحتاج إلى برهان أو دحض
|-
| برهان || سلسلة استدلالات صحيحة تبرر نتيجة رياضية من معطيات مقبولة
|-
| مثال مضاد || حالة واحدة من المجال تخالف ادعاء كليًا فتثبت خطأه
|-
| عكس النقيض || صياغة مكافئة للعبارة الشرطية تبدأ بنفي النتيجة وتنتهي بنفي الفرض
|-
| تناقض || نتيجة مستحيلة تكشف أن افتراضًا استُخدم في الحجة لا يمكن أن يكون صحيحًا
|-
| استقراء رياضي || طريقة تثبت حالة أساس ثم انتقال صحة الجملة من حالة إلى التالية
|-
| شرط كاف || شرط يضمن تحقق النتيجة عند تحققه
|-
| مكمم كلي || تعبير منطقي يعني أن الحكم يشمل كل عناصر المجال
|}
</div>
{{E}}
<br>

{{BR}}
== السحب والإفلات ==
<div class="lueckentext-quiz">
{| class="wikitable"
! صِل استراتيجية البرهان بالوصف الأنسب لها.
! طريقة التفكير
|-
| '''برهان مباشر''' || يبدأ من الفرض ويصل إلى النتيجة عبر تعريفات ونتائج معروفة
|-
| '''برهان بعكس النقيض''' || يثبت نفي الفرض انطلاقًا من نفي النتيجة
|-
| '''برهان بالتناقض''' || يفترض نفي المطلوب ثم يصل إلى استحالة منطقية
|-
| '''برهان بالحالات''' || يقسم جميع الإمكانات إلى فئات شاملة ويعالج كل فئة
|-
| '''استقراء رياضي''' || يثبت البداية ثم يبرهن الانتقال من حالة عامة إلى التالية
|-
| '''مثال مضاد''' || يهدم ادعاء كليًا بعرض حالة واحدة لا تحقق نتيجته
|}
</div>
{{E}}
<br>

{{BR}}
== كلمات متقاطعة ==
<div class="kreuzwort-quiz">
{|
|-
| استنتاج || انتقال منطقي من معطيات أو مقدمات إلى نتيجة تترتب عليها
|-
| تكافؤ || علاقة بين عبارتين لهما القيمة المنطقية نفسها في جميع الحالات
|-
| تناقض || نتيجة يستحيل اجتماعها مع الفروض المقبولة في الحجة
|-
| استقراء || طريقة برهان تعتمد على أساس وانتقال إلى الحالة التالية
|-
| تخمين || عبارة عامة مقترحة قبل اكتمال تبريرها
|-
| مضاد || وصف لمثال واحد يكفي لدحض ادعاء كلي
|}
</div>
{{E}}
<br>

{{BR}}
= مهام مفتوحة =

{{BR}}
=== سهل ===
# [[Arabic:صيد المثال المضاد|صيد المثال المضاد]]: اكتب ثلاثة ادعاءات كلية بسيطة عن الأعداد الصحيحة، واجعل أحدها خاطئًا عمدًا، ثم تبادلها مع زميل وحدد المثال المضاد للادعاء الخاطئ مع تفسير قصير.
# [[Arabic:بطاقة الفرض والنتيجة|بطاقة الفرض والنتيجة]]: أنشئ بطاقة تعليمية تتضمن أربع عبارات شرطية، وحدد في كل منها الفرض والنتيجة ثم اكتب عكس النقيض بلغة عربية واضحة.
# [[Arabic:شرح برهان بصري|شرح برهان بصري]]: اختر صورة الفرق بين مربعين متتاليين في هذه الدورة، واكتب فقرة تشرح كيف توحي بالشكل الجبري 2n+1 وما الذي يحتاج إلى تبرير نصي حتى يصبح الاستدلال عامًا.
# [[Arabic:تسجيل صوتي منطقي|تسجيل صوتي منطقي]]: سجّل دقيقة أو دقيقتين تشرح فيها الفرق بين المثال الذي يؤيد تخمينًا والمثال المضاد الذي يدحضه، من دون ذكر بيانات شخصية.

{{BR}}
=== متوسط ===
# [[Arabic:مقارنة استراتيجيات البرهان|مقارنة استراتيجيات البرهان]]: أثبت أن مجموع عددين فرديين زوجي مرة ببرهان مباشر، ثم اشرح لماذا لا تحتاج في هذه المسألة إلى برهان بالتناقض.
# [[Arabic:مختبر التخمينات|مختبر التخمينات]]: استخدم جدولًا يدويًا أو برنامج جداول بسيطًا لاختبار تعبير عددي لعشرين قيمة، وصغ تخمينًا ثم ناقش بوضوح لماذا لا تمثل النتائج العددية وحدها برهانًا.
# [[Arabic:تشريح برهان زائف|تشريح برهان زائف]]: أعد كتابة حجة القسمة على الصفر الواردة في الدورة، ولون أو علّم أول خطوة غير مسموحة، ثم اشرح الشرط الذي انتهكته تلك الخطوة.
# [[Arabic:حوار رياضي|حوار رياضي]]: أجر مقابلة قصيرة مع زميل حول سؤال «ما الذي يجعل البرهان مقنعًا؟»، ثم لخص نقاط الاتفاق والاختلاف في صفحة واحدة مع مثال رياضي صغير.

{{BR}}
=== متقدم ===
# [[Arabic:بناء برهان بالتناقض|بناء برهان بالتناقض]]: اكتب برهانًا كاملًا أن الجذر التربيعي لعدد أولي مناسب غير مربع لا يمكن أن يكون عددًا صحيحًا، وحدد بدقة أين ظهر التناقض.
# [[Arabic:تصميم لغز برهاني|تصميم لغز برهاني]]: ابتكر لغزًا عدديًا أو هندسيًا يقود أولًا إلى تخمين، ثم قدم حلًا يتضمن إما برهانًا عامًا أو مثالًا مضادًا واضحًا، واختبر اللغز على زميلين.
# [[Arabic:تحقيق في برهانين|تحقيق في برهانين]]: اختر نتيجة بسيطة مثل زوجية n²+n، واكتب لها برهانين باستراتيجيتين مختلفتين، ثم قارن بين الطول والوضوح والافتراضات التي يستخدمها كل برهان.
# [[Arabic:فيديو مراجعة برهان|فيديو مراجعة برهان]]: أنشئ فيديو قصيرًا أو عرضًا مصورًا تراجع فيه برهانًا من اختيارك سطرًا سطرًا، وتحدد المعطيات والتعريفات والاستنتاجات والفجوات المحتملة، مع تجنب إظهار أي معلومات شخصية.

{{:Open Task - Create a MOOC}}

<br>

{{BR}}
= مجالات تعلم مرتبطة =
{| align=center
{{:D-Tab}}
'''[[Arabic:التفكير الرياضي والبرهان|التفكير الرياضي والبرهان]]'''
# [[Arabic:المنطق الرياضي|المنطق الرياضي]]
# [[Arabic:نظرية الأعداد|نظرية الأعداد]]
# [[Arabic:الجبر|الجبر]]
# [[Arabic:الهندسة|الهندسة]]
# [[Arabic:الاستقراء الرياضي|الاستقراء الرياضي]]
# [[Arabic:حل المسائل|حل المسائل]]
# [[Arabic:الخوارزمية|الخوارزميات والتفكير الحاسوبي]]
|}

يرتبط البرهان بالرياضيات كلها تقريبًا. في [[Arabic:نظرية الأعداد|نظرية الأعداد]] تستخدم خواص القسمة والزوجية والأولية لبناء حجج دقيقة. وفي [[Arabic:الهندسة|الهندسة]] تجمع بين التعريفات والعلاقات المكانية والاستدلال. وفي [[Arabic:علوم الحاسوب|علوم الحاسوب]] تظهر الفكرة نفسها عند إثبات صحة خوارزمية أو فهم شروطها وحدودها. كما يساعدك التفكير البرهاني على تقييم النماذج والنتائج في العلوم وتحليل البيانات بدل قبول نمط لمجرد أنه ظهر في عينة محدودة.

{{BR}}
= مسرد =
; '''التخمين'''
: عبارة عامة تقترحها بناء على نمط أو ملاحظات، وتبقى محتاجة إلى برهان أو مثال مضاد.
; '''البرهان'''
: حجة منطقية منظمة تشتق نتيجة من تعريفات ومعطيات ونتائج مقبولة.
; '''المثال المضاد'''
: حالة من المجال تخالف عبارة كلية وتكفي لإثبات خطئها.
; '''العبارة الشرطية'''
: عبارة تربط فرضًا بنتيجة على صورة «إذا تحقق الفرض فإن النتيجة تتحقق».
; '''العكس'''
: عبارة تنتج من تبديل الفرض والنتيجة، ولا يلزم أن تكون مكافئة للأصل.
; '''عكس النقيض'''
: عبارة تنتج من نفي النتيجة ونفي الفرض مع تبديل موضعهما، وهي مكافئة منطقيًا للعبارة الأصلية.
; '''الشرط الكافي'''
: شرط يضمن النتيجة عندما يتحقق.
; '''الشرط اللازم'''
: شرط لا يمكن أن تتحقق النتيجة من دونه.
; '''البرهان بالتناقض'''
: طريقة تبدأ بافتراض نفي المطلوب ثم تشتق تناقضًا.
; '''البرهان بالحالات'''
: طريقة تقسم المجال إلى حالات تغطي جميع الإمكانات وتثبت النتيجة في كل حالة.
; '''الاستقراء الرياضي'''
: طريقة برهان تعتمد على حالة أساس وخطوة تثبت الانتقال إلى الحالة التالية.
; '''فرضية الاستقراء'''
: الافتراض المؤقت بصحة الجملة عند قيمة عامة k داخل خطوة الاستقراء.
; '''المكمم الكلي'''
: تعبير يفيد أن الحكم ينطبق على كل عناصر المجال.
; '''المكمم الوجودي'''
: تعبير يفيد وجود عنصر واحد على الأقل يحقق الخاصية.
; '''الدور المنطقي'''
: خطأ استدلالي تستخدم فيه النتيجة المطلوبة نفسها، صراحة أو ضمنًا، لتبريرها.

{{BR}}
= مشروعات aiMOOC =
[[Category:Sprache:العربية]]
[[Category:Locale:ar]]
[[Category:الرياضيات]]
[[Category:المنطق الرياضي]]
[[Category:البرهان الرياضي]]
[[Category:المرحلة الثانوية]]
[[Category:AI_MOOC]]
[[Category:GPT aiMOOC]]
{{MT}}

Arabic:التفكير الرياضي والبرهان - Versionsgeschichte

Glanz: aiMOOC über GPT aiMOOC Action erstellt