intoduction of logic

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