منطق رياضي
صنف فرعي منعلم المنطق
التصنيف الرئيس للموضوعتصنيف:منطق رياضي
في قائمة تركيز مشروع ويكيميدياWikipedia:Vital articles/Level/4
يمارسهامنطقي
جزء منرياضيات ، Mathematical logic, set theory, lattices and universal algebra و علم المنطق
تسجيل مرئي
يستخدمهبرهان رياضي
ممثلة بـمكَمِّم
القالب الرئيس للموضوعقالب:منطق رياضي
تصنيف كومنزMathematical logic
نموذج منمجالات الرياضيات و نظرية رياضية
مَوصُوف في المصدرالموسوعة السوفيتية الكبرى و الموسوعة السوفيتية الكبرى
الصورة

مقدمة

عدل

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

نقول غالبا بأن دالة ما هي متصلة (مستمِرة) إذا استطعنا أن نرسم منحناها البياني دون رفع القلم عن الورقة وهذا تعريف غير كاف، إليك التعريف الدقيق لدالة   متصلة (مستمِرة) في نقطة  :[1]

 

أحد أهداف المنطق هو إيضاح معنى هذه الكتابة، هدف آخر هو تمييز الصحيح من الخطإ، فمثلا: هل زيادة ٪20 وبعد ذلك ٪30 أهم من زيادة ٪50؟ لا يتعلق الأمر إذن بمجرد آراء ولكن بالقدرة على عمل منهج منطقي من أجل الاقتناع وإقناع الآخرين، هذا المنهج هو ما يُسمى الاستدلال.

العبارة

عدل

العبارة هي جملة صحيحة أو خاطئة ولا تكون صحيحة وخاطئة في آن واحد. أمثلة: "إنها تمطر"، "أنا أكبر منك"، هذه كلها جمل يمكن أن تكون صحيحة أو خاطئة.

العبارة التالية   صحيحة في حين أن العبارة   خاطئة.

لكل عدد حقيقي   لدينا   هي عبارة صحيحة،
بينما العبارة: لكل عدد عقدي   لدينا   خاطئة لأنه ليس صحيحا لكل الأعداد العقدية أن  .

العطف المنطقي

عدل

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

جدول حقيقة العبارة "Q وP"
العبارة   العبارة   العبارة  
صحيحة صحيحة صحيحة
صحيحة خاطئة خاطئة
خاطئة صحيحة خاطئة
خاطئة خاطئة خاطئة

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

الفصل المنطقي

عدل

تكون العبارة "Q أو P" صحيحة عندما تكون إحدى العبارتين "P" أو "Q" على الأقل صحيحة. وتكون خاطئة في حالة "P" و "Q" خاطئتين معا. جدول حقيقة العبارة "Q أو P" هو التالي:

جدول حقيقة العبارة "Q أو P"
العبارة   العبارة   العبارة  
صحيحة صحيحة صحيحة
صحيحة خاطئة صحيحة
خاطئة صحيحة صحيحة
خاطئة خاطئة خاطئة

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

المراجع

عدل