المنطق الرمزي: القضايا والروابط المنطقية – جامعة

مقدمة في المنطق الرمزي

المنطق الرمزي (Symbolic Logic) هو فرع الفلسفة والرياضيات الذي يدرس مبادئ الاستدلال الصحيح باستخدام رموز رياضية. يهتم بتحليل بنية الحجج المنطقية وتحديد صحتها من عدمها بغض النظر عن مضمونها الموضوعي. يعتبر المنطق الرمزي أساساً لعلوم الحاسوب والرياضيات والذكاء الاصطناعي.

القضايا (Propositions)

القضية (Proposition) هي جملة خبرية تحتمل الصواب أو الخطأ، وليس كليهما معاً. نمثل القضايا بحروف: P, Q, R.

الروابط المنطقية (Logical Connectives)

النفي (Negation): رمزه ¬ أو ~. العطف (Conjunction): رمزه ∧. الفصل (Disjunction): رمزه ∨. الشرط (Conditional): رمزه →. التكافؤ (Biconditional): رمزه ↔.

جداول الحقيقة (Truth Tables)

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

أمثلة تطبيقية

في الفلسفة، يستخدم المنطق لتحليل الحجج الفلسفية والكشف عن المغالطات المنطقية. في علوم الحاسوب، أساس تصميم الدوائر المنطقية والبوابات (And, Or, Not Gates).

للاستزادة، يمكن الاطلاع على درس التفاضل والتكامل: النهايات والاشتقاق ودرس علم اللغة: فروع علم اللغة الحديث.