حسبان القضايا
في المنطق الرياضي ، منطق القضايا أومنطق الجمل ( propositional calculus أوsentential calculus ) تعبير عن نظام استنتاج شكلي تتألف صيغه الذرية من متغيرات قضايا propositional variable (عبارات) وهذا ما يميزه عن المنطق الإسنادي predicate calculus الذي تكون صيغه الذرية تعبير عن دوال قضايا propositional functions أما المنطق الطوري الذي يتعامل مع قضايا محتملة .
منطق القضايا أوحسبان القضايا ( Propositional calculus) ينظر ﺇلى الجملة اللغوية المركبة بصفتها قضية منطقية, يقوم بتفكيكها ﺇلى مقولات منطقية بسيطة من قبيل "و"، "أو"، "ﺇذا"، "ومن ثم", وذلك وفقا للمبدﺃ الذى ﺃرساه فريجه فيلسوف اللغة والذي على ﺃساسه يحسب معنى الجملة على ﺃساس كونه دالة لمعاني العناصر المكونة لها.
انظر أيضا
- منطق بولياني
- حسبان القضايا لفريجه
- دوغلاس هوفشتاتدير, غودل ، إيشر ،وباخ
- مخطط منطقي
روابط خارجية
- منطقة عن منطق القضايا ضمن موسوعة الانترنت للفلسفة
- مقدمة إلى المنطق الرياضي
- عناصر حساب القضايا
المصدر
- د. نبيل علي ود. نادية حجازي. الفجوة الرقمية، سلسلة عالم الفهم- غشت -2005 العدد 318. ص. 319.
