بحث المنطق

شرح قواعد الدرس

  • الخبر :

الخبر هو جملة تفيد بحدوث الشيء او عدمه بشكل قاطع ,او تفيد بشيء صحيح او خاطئ .

يرمز للأخبار بالحروف التالية :p,q,r,s,...

يمكن للخبر ان يكون صحيح او خاطئ فقط .في حال كان صحيح هذا يعني ان قيمة الصحة فيه هي واحد واذا كان خطأ فإن قيمة الصحة فيه هي صفر .

 

مثال :

أي من الخيارات التالية يمثل خبر؟

1) القمر مكتمل .

2) الاعداد النبيلة تشكل جزء من الاعداد العادية .

3)3+4=5

4)ارجع الى المنزل.

من الواضح ان اول خيارين اخبار والخبر الثالث يعتبر خبر بغض النظر ان كان صحيح او خاطئ اما الخيار الرابع فلا يحمل خبر لذلك الجواب هو 1\2\3.

  • جدول الحقيقة :

جدول الحقيقة هو الجدول الذي يتضمن احتمالات خبر ما ان يكون صحيح او خاطئ .

للخبر الواحد احتمالان صحيح او خاطئ للخبرين اربع احتمالات والقاعدة هي :

 n  هو عدد الاخبار .

  • العلاقات المنطقية :

معكوس الخبر :

معكوس الخبر يفيد بعكس القيمة الصحة للخبر.

رابطة او :

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

رابطة و :

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

رابطة إما :

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

  • خواص رابطات و و أو :

اذا استخدمنا الخبر مع نفسه في رابطة من هاتان الرابطتان يكون الناتج الخبر نفسه :

يمكن التبديل بين الاخبار في هاتان الرابطتان .

يمكن اخذ قوس لرابطة او توزيعها على قوس .

معكوس العلاقة يعكس الرابطة المستخدمة .

  • الطوطولوجيا :

يفيد بالصح المطلق او الدائم ويطلق على الإفادة التي تكون صحيحة قطعا .

مثال :

  • التناقض :

تفيد بالخطأ الدائم ويطلق على الإفادة التي تكون خاطئة قطعا .

مثال :

  • الاخبار الشرطية :

رابطة لو :

في هذه الرابطة اذا كان الخبر الأول صحيح والثاني خاطئ تكون النتيجة صفر وباقي الحالات النتيجة واحد .

رابطة إذا و فقط إذا :

في هذه الرابطة يجب ان يكون الخبران متشابهان حتى تكون النتيجة واحد والا فالنتيجة صفر .

  • الاخبار المفتوحة :

هي اخبار لا تكون صحيحة دوما بشكل شرطي من الممكن ان تكون صحيحة في بعض الأحيان .

يرمز للخبر الذي يكون صحيح في بعض الحالات او على الأقل في حالة واحدة بالرمز المستخدم بالمثال :

مثال :

في هذا الخبر انه في بعض القيم التي تنتمي للأعداد الحقيقية تكون المتراجحة صحيحة .

اما الاخبار التي تكون في كل الأحوال صحيحة يرمز لها بالرمز المستخدم بالمثال .

مثال :

لان أي عدد مربعه يساوي او اكبر من الصفر لذلك هذا الخبر صحيح دوما ويرمز لهذه الحالة بحرف  A  مقلوب .

  • معكوس الاخبار المفتوحة :

امثلة محلولة :

امثلة عامة :