منطق القضايا

من ويكيبيديا، الموسوعة الحرة

في المنطق الرياضي , منطق القضايا أو منطق الجمل ( propositional calculus أو sentential calculus ) عبارة عن نظام استنتاج شكلي تتألف صيغه الذرية من متغيرات قضايا propositional variable (عبارات) و هذا ما يميزه عن المنطق الإسنادي predicate calculus الذي تكون صيغه الذرية عبارة عن دوال قضايا propositional functions أما المنطق الطوري الذي يتعامل مع قضايا محتملة .

منطق القضايا أو حسبان القضايا ( Propositional calculus) ينظر ﺇلى الجملة اللغوية المركبة بصفتها قضية منطقية, يقوم بتفكيكها ﺇلى مقولات منطقية بسيطة من قبيل "و"، "أو"، "ﺇذا"، "ومن ثم", وذلك وفقا للمبدﺃ الذى ﺃرساه فريجه فيلسوف اللغة والذي على ﺃساسه يحسب معنى الجملة على ﺃساس كونه دالة لمعاني العناصر المكونة لها.


[تحرير] انظر أيضا

  • منطق بولياني
  • حسبان القضايا لفريجه
  • دوغلاس هوفشتاتدير, غودل , إيشر ,و باخ
  • مخطط منطقي

[تحرير] روابط خارجية

[تحرير] المصدر

  • د. نبيل علي و د. نادية حجازي. الفجوة الرقمية، سلسلة عالم المعرفة- غشت -2005 العدد 318. ص. 319.