القضية Proposition :


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

أمثلة :


1- جذر العدد 2 عدد غير نسبي.
2- 1+1=5.
3- أحمد يدرس فيزياء بحتة.

كل جملة من الجمل السابقة تشكل قضية .
و يمكن ملاحظة أن قضية ما قد يكون بالإمكان التثبت من صحتها
بينما قد نجد قضية أخرى لا يمكن بحال اختبارها لعدم توفر أدوات ذلك مثل قولنا
4- سوف ينقرض سمك القرش قبل الحيتان.
و طبعا هناك جمل لا تشكل قضايا مثل :
5- ماذا تقول؟
6- هذه الجملة خاطئة
7- مربع العدد س يساوي 36.
فالجملة الأولى استفهامية و لا معنى لكونها صادقة أم لا
أما الجملة الثانية فهي مضللة. لماذا؟
و بالتالي لا يمكن أن تكون صحيحة كما لا يمكن أن تكون خاطئة.
أما الجملة الأخيرة فهي صحيحة لبعض قيم س و في نفس الوقت غير صحيحة لبعض القيم الأخرى.
أنواع القضايا :


القضايا نوعان إما قضايا بسيطة أو مركبة.

1) القضية البسيطة simple (atomic) proposition :
هي القضية التي لا يمكن تجزئتها إلى قضايا حزئية.
2) القضية المركبة compound proposition :
هي قضية تتشكل من قضيتين بسيطتين أو أكثر ترتبط مع بعضها البعض بأدوات الربط.

أدوات الربط المنطقية logical connectives :
إذا كانت P، Q قضايا بسيطة فإن من أدوات الربط :

1-أداة العطف conjunction "و" تربط بين القضيتين البسيطتين P,Q و يرمز لذلك .


و تكون صحيحة إذا كان كلا القضيتين P,Q صحيحة في نفس الوقت.


2- أداة العطف disjunction " أو" تربط بين P,Q و يرمز لذلك .
و تكون صحيحة إذا كانت على الأقل احدي العبارتين صحيحة.
3- أداة النفي negation للعبارة P و يرمز لذلك .
و تكون صحيحة إذا كانت القضية P خاطئة.
أمثلة :
1) القضايا من 1إلى 4 المذكورة خلال الشرح السابق كما ترون قضايا بسيطة .
2) إذا كانت القضية : "العدد 1 لا يساوي 3 " و القضية : "العدد 7 عدد فردي"


فإن القضية " هي "العدد 1 لا يساوي 3 و العدد 7 عدد فردي"


بينما القضية هي: إما العدد 1 لا يساوي 3 و إما أن العدد 7 عدد فردي.


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

3) إذا كانت القضية : "الحليب غني بالكالسيوم " و القضية : "إيطاليا قارة "


فإن القضية : هي "الحليب غني بالكالسيوم و إيطاليا قارة"


بينما القضية هي:" إما أن الحليب غني بالكالسيوم أو أن إيطاليا قارة"


أما القضية فتعني: "الحليب ليس غني بالكالسيوم."
ملاحظة :


نظرا لأن القضية صحيحة بينما القضية خاطئة فإن القضية الأولى خاطئة و الثانية صحيحة بينما القضية الثالثة خاطئة.

المرجع :


A transition to advanced Mathematics ,Douglas Smith,Maurice Eggen,Richart St. Andrre