حسبان القضايا

(تم التحويل من Propositional logic)

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

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


. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

انظر أيضا


روابط خارجية

المصدر

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