كيفية إثبات أنه إذا? طرق وتعليمات مفيدة

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

الخطوة الأولى في الإثبات هي صياغة بيان أو فرضية تريد تأكيدها أو دحضها. يمكن أن يكون شيئا بسيطا ، على سبيل المثال ، "إذا كان أ > ب ، ثم^2 > ب^2" ، أو بيان أكثر تعقيدا يتطلب دراسة وتحليل مفصلين.

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

من المهم أن تتذكر أن جميع خطوات إثباتك يجب أن تكون مبررة منطقيا وأن تتبع بدقة من المباني أو البديهيات.

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

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

1. كيف يمكنني التحقق مما إذا تم استيفاء الشرط? طرق وتعليمات مفيدة
2. 1. مشغلي المقارنة
3. 2. المشغلين الشرطيين
4. 3. المشغل الثلاثي
5. 4. طرق فئة السلسلة
6. استخدام عامل " إذا " للتعبيرات الشرطية
7. مقارنة القيم باستخدام عوامل المقارنة
8. التحقق من أنواع البيانات باستخدام عامل التشغيل "نوع"
9. استخدام العوامل المنطقية للتحقق من الشروط

كيف يمكنني التحقق مما إذا تم استيفاء الشرط? طرق وتعليمات مفيدة

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

1. مشغلي المقارنة

يمكن استخدام عوامل المقارنة للتحقق من الظروف. إنها تسمح لك بمقارنة قيم المتغيرات والحصول على نتيجة منطقية (صواب أو خطأ).

أمثلة على عوامل المقارنة:

• = = - يساوي;
• != - لا يساوي;
• > - المزيد;
• < - أقل;
• > = — أكبر من أو يساوي;
• < = - أقل من أو يساوي.

مثال على استخدام عوامل المقارنة:

إنت س = 5;

إنت ص = 10;

إذا (س > ص) {

النظام.خارج.برينتلن ("س أكبر من ص");

} آخر إذا (س < ص) {

النظام.خارج.برينتلن ("س أقل من ذ");

} آخر {

النظام.خارج.برينتلن ("س يساوي ص");

}

2. المشغلين الشرطيين

تسمح لك العبارات الشرطية بتنفيذ كتلة معينة من التعليمات البرمجية إذا كان الشرط صحيحا. في لغة برمجة جافا ، يتم استخدام عامل التشغيل إذا لهذا الغرض.

مثال على استخدام عامل شرطي:

إنت س = 5;

إذا (س > 0) {

النظام.خارج.برينتلن ("رقم موجب");

}

3. مشغل ثلاثي

يسمح لك المشغل الثلاثي بتقليل دخول المشغل الشرطي إلى سطر واحد من التعليمات البرمجية. يحتوي على بناء الجملة التالي:

شرط? التعبير 1: التعبير 2;

إذا كان الشرط صحيحا ، فسيتم تنفيذ التعبير 1 ، وإلا يتم تنفيذ التعبير 2.

مثال على استخدام المشغل الثلاثي:

إنت س = 5;

نتيجة سلسلة = س > 0 ? "الرقم موجب": "الرقم سالب";

النظام.خارج.برينتلن (نتيجة);

4. طرق فئة السلسلة

توفر فئة السلسلة في لغة برمجة جافا عدة طرق مفيدة للتحقق مما إذا تم استيفاء شرط معين.

بعض طرق فئة السلسلة:

• يبدأ مع () - يتحقق مما إذا كانت السلسلة تبدأ بالحرف المحدد;
• ينتهي مع () - يتحقق مما إذا كانت السلسلة تنتهي بالحرف المحدد;
• يحتوي على () - يتحقق مما إذا كانت السلسلة تحتوي على السلسلة الفرعية المحددة;
• إيسمبتي—) - يتحقق إذا كانت السلسلة فارغة.

مثال على استخدام طرق فئة السلسلة:

نص السلسلة = " مرحبا ، العالم!";

إذا (نص.يبدأ مع ("مرحبا")) {

النظام.خارج.برينتلن ("السلسلة تبدأ بـ "مرحبا");

}

إذا (نص.ينتهي مع ("!")) {

النظام.خارج.برينتلن ("الخط ينتهي بـ"!'");

}

إذا (نص.يحتوي على ("العالم")) {

النظام.خارج.برينتلن ("سلسلة تحتوي على 'العالم'");

}

إذا (نص.إسمبتي ()) {

النظام.خارج.برينتلن ("الخط فارغ");

} آخر {

النظام.خارج.برينتلن ("السلسلة ليست فارغة");

}

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

استخدام عامل " إذا " للتعبيرات الشرطية

عامل التشغيل " إذا " هو الأداة الرئيسية لإنشاء تعبيرات شرطية في معظم لغات البرمجة. يسمح للبرنامج باتخاذ القرارات بناء على التحقق من شروط معينة.

يبدو بناء جملة عامل التشغيل " إذا " كما يلي:

إذا (شرط) {

// الكود الذي سيتم تنفيذه إذا كان الشرط صحيحا

}

الشرط هو تعبير يمكن أن يكون صحيحا (صحيحا) أو خطأ (خطأ). إذا كان الشرط صحيحا ، فسيتم تنفيذ كتلة من التعليمات البرمجية داخل الأقواس المتعرجة ، والتي تتبع عبارة "إذا". إذا كان الشرط غير صحيح ، سيتم تخطي كتلة التعليمات البرمجية وسيستمر تنفيذ البرنامج مع التعليمات التالية.

مثال على استخدام عامل التشغيل " إذا:

إنت العمر = 18;

إذا (العمر >= 18) {

وحدة التحكم.سجل ("يسمح لك بشراء الكحول.");

} آخر {

وحدة التحكم.سجل ("ممنوع عليك شراء الكحول.");

}

في هذا المثال ، يتم تحديد العمر (متغير "العمر") ، واعتمادا على النتيجة ، يتم عرض الرسالة المقابلة. إذا كان العمر أكبر من أو يساوي 18 ، يتم عرض الرسالة "يسمح لك بشراء الكحول". خلاف ذلك ، يتم عرض الرسالة "لا يسمح لك بشراء الكحول".

بالإضافة إلى كتلة التعليمات البرمجية التي يتم تنفيذها عند استيفاء الشرط ، يمكن أن تحتوي عبارة" إذا " أيضا على كتلة من التعليمات البرمجية التي يتم تنفيذها إذا لم يتم استيفاء الشرط. هذه الكتلة من التعليمات البرمجية اختيارية ويتم تحديدها باستخدام الكلمة الرئيسية"آخر".

لإنشاء ظروف أكثر تعقيدا ، يمكن دمج عامل التشغيل "إذا" مع مشغلي "آخر إذا" و "آخر". في هذه الحالة ، سيتم تنفيذ كل كتلة من التعليمات البرمجية بالتتابع حتى يتم استيفاء أحد الشروط. مثال:

إنت الصف = 85;

إذا (الصف >= 90) {

وحدة التحكم.السجل ("الدرجة: أ");

} آخر إذا (الصف >= 80) {

وحدة التحكم.سجل ("الصف: ب");

} آخر إذا (الصف >= 70) {

وحدة التحكم.السجل ("الدرجة: ج");

} آخر {

وحدة التحكم.سجل ("النتيجة: و");

}

في هذا المثال ، يتم إخراج درجة الحرف بناء على درجة رقمية. إذا كانت النتيجة تساوي أو أكبر من 90 ، "أ" هو الإخراج. إذا كانت النتيجة تساوي أو أكبر من 80 ، "ب" هو الإخراج. إذا كانت النتيجة تساوي أو أكبر من 70 ، "ج" هو الإخراج. في جميع الحالات الأخرى ، "و" هو الإخراج.

يسمح عامل التشغيل " إذا " للمبرمج بإنشاء تعبيرات شرطية قوية تسمح للبرنامج باتخاذ قرارات بناء على ظروف مختلفة.

مقارنة القيم باستخدام عوامل المقارنة

في كثير من الأحيان في البرمجة هناك حاجة لمقارنة قيمتين. للقيام بذلك ، يتم استخدام عوامل المقارنة في لغات البرمجة.

فيما يلي عوامل المقارنة الرئيسية:

• عامل المساواة ( = = ) - يقارن قيمتين للمساواة.

• عامل عدم المساواة (!= )- يقارن قيمتين لعدم المساواة.

• يقارن عامل التشغيل" أكبر من " ( > ) القيمة الأولى بالقيمة الثانية ويعود صحيحا إذا كانت القيمة الأولى أكبر من الثانية.

• يقارن عامل التشغيل" أقل من " ( < ) القيمة الأولى بالقيمة الثانية ويعود صحيحا إذا كانت القيمة الأولى أقل من الثانية.

• عامل التشغيل" أكبر من أو يساوي " ( > = ) — يقارن القيمة الأولى بالقيمة الثانية ويعود صحيحا إذا كانت القيمة الأولى أكبر من القيمة الثانية أو مساوية لها.

• يقارن عامل التشغيل" أقل من أو يساوي " ( < = ) القيمة الأولى بالثانية ويعود صحيحا إذا كانت القيمة الأولى أقل من أو تساوي الثانية.

عند مقارنة القيم ، عادة ما يتم استخدام التعبيرات المنطقية التي تعيد إحدى القيمتين: صواب أو خطأ.

على سبيل المثال ، سيعود التعبير 5 > 3 صحيحا ، لأن 5 أكبر من 3. والتعبير" أبك "= = " أبك " سيعود أيضا صحيح ، لأن قيم كل من السلاسل هي نفسها.

يمكن استخدام عوامل المقارنة في العبارات الشرطية (على سبيل المثال ، إذا) ، والحلقات ، والتركيبات الأخرى لاتخاذ القرارات بناء على مقارنة القيم.

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

التحقق من أنواع البيانات باستخدام عامل التشغيل "نوع"

نوع المشغل في جافا سكريبت يسمح لك للتحقق من نوع البيانات من قيمة أو متغير. يقوم بإرجاع سلسلة تشير إلى نوع البيانات.

يمكن أن يكون نوع المشغل مفيدا في التطوير عندما يكون من الضروري التحقق من صحة أنواع البيانات قبل إجراء عمليات أو وظائف معينة.

فيما يلي أنواع البيانات الرئيسية وتمثيلات السلسلة الخاصة بها ، والتي يتم إرجاعها بواسطة عامل تشغيل النوع:

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

أمثلة على استخدام نوع المشغل:

باستخدام نوعمن المشغل يسمح لك بسرعة وبشكل موثوق التحقق من نوع البيانات من قيمة أو متغير واتخاذ مزيد من القرارات في التعليمات البرمجية على أساس هذه المعلومات.

استخدام العوامل المنطقية للتحقق من الشروط

تسمح لك العوامل المنطقية بالتحقق من الشروط في البرمجة واتخاذ القرارات اعتمادا على نتيجة الشيك. باستخدام عوامل التشغيل المنطقية ، يمكنك مقارنة قيم المتغيرات والجمع بين عدة شروط لتنفيذ إجراءات مختلفة.

في لغة البرمجة ، عادة ما يتم استخدام ثلاثة عوامل تشغيل منطقية أساسية:

• و (و) — يعود صحيحا إذا تم استيفاء كلا الشرطين;
• أو (أو) — يعود صحيحا إذا تم استيفاء شرط واحد على الأقل;
• لا (لا) - يغير قيمة الشرط إلى العكس.

أمثلة على استخدام العوامل المنطقية: