منطق رياضي

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

القضية : جملة تقوم على علاقة بين عدد من الكلمات المفهومة، وتنقسم إلى قسمين :

  1. القضية الإخبارية: وهي تخبر عن شيء ما وتحتمل الصدق أو الكذب مثل (المثلثات المتطابقة متكافئة)، (كل ما في الكون يجذب بعضه بعضا).
  2. القضية الإنشائية: وهي التي لا يمكن أن توصف بالصدق أو الكذب مثل لا تمش في الأرض مرحا وهي ليست قضايا منطقية.

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

  1. ابن تيمية صاحب كتاب رفع الملام عن الأئمة الأعلام. (خبرية)
  2. ينزل المطر في الخريف. (خبرية)
  3. لا تنه عن خلق وتأتي بمثله. (إنشائية)
  4. كيف حالك؟ (إنشائية)

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.