اقسام القضايا من حيث التركيب

تنقسم القضايا من حيث التركيب الى

تنقسم القضايا من حيث التركيب إلى قضايا بسيطة وقضايا مركبة

القضايا قد تكون صحيحة أو خاطئة وليس كلتاهما، وقيمة القضايا الحقيقية تكمن في صحتها أو خطأها، حيث يرمز للافتراض الصحيح بالرمز T والافتراض الخاطئ بالرمز F. القضايا تستخدم لتحليل الحجج، ولكنها تقتصر على نوعين محددين من الحجج. هما الحجتان التي تحتوي على اثنتين فقط من المقدمات، والجمل الفئوية الأربعة. على سبيل المثال، `إما أن أخرج لتناول العشاء الليلة أو سوف أخرج لتناول الإفطار غدا. لن أخرج لتناول العشاء غدا، وسوف أخرج لتناول الإفطار غدا`. هذه الجمل لا تندرج تحت مفهوم القضايا وتحتاج إلى منطق جديد يسمى منطق الافتراض. تصنف القضايا بناء على هياكلها إلى ما يلي

القضايا البسيطة : تعتبر القضايا البسيطة تلك التي لا تحتوي على روابط ولا يمكن تقسيمها إلى فروع فرعية، ويتم استخدام الحروف الأبجدية لتوضيح هذه القضايا البسيطة، على سبيل المثال جملة `إنها 33 درجة بالخارج`.

القضايا المركبة : المصطلح يشير إلى الصيغة التي تحتوي على عدة روابط معا، ويتم ربطها بكلمات مثل `إذا` أو `إذن` أو `هي` أو `فقط`. وإذا كانت جميع العناصر المرتبطة صحيحة ، فيتم تسميتها بـ `الحشو` ، وإذا كانت العناصر المرتبطة خاطئة ، فيتم تسميتها بـ `التناقضية`.

أنواع القضايا المركبة

• النفي.
• الاقتران.
• الانفصال.
• الشرطية.
• القضايا المركبة الضرورية والكافية.
• ثنائي الشرط.
• الترجمات.

النفي : يستخدم النفي لتأكيد أن شيئا ما ليس كما يبدو عليه، ومن الطرق البسيطة لتشكيل النفي في الجملة استخدام عبارة `ليس الأمر كذلك` في بداية الجملة المراد نفيها، ومثال على ذلك نفي الجملة البسيطة (جامعة أوكلاهوما في شوني)، (جامعة أوكلاهوما ليست في شوني)، ويرمز للنفي بعلامة / قبل بداية الجملة، ومن العبارات المستخدمة في النفي `ليس الأمر كذلك`، `من الخطأ أن`، `هذا ليس صحيحا`، والنفي يكون صحيحا عندما تكون الجملة المراد نفيها خاطئة بالفعل.

الاقتران : تستخدم علامة العطف الواو في الاقتران للدلالة على النفي، وتسمى روابط حيث تربط بين جملتين. ومن الكلمات الشائعة التي تستخدم مع علامة العطف الواو هي: (لكن، أيضا، مع ذلك، حتى الآن، رغم، علاوة على ذلك، على حد سواء).

الانفصال : يتم استخدام حرف العطف “و” في الانفصال، حيث يكون هناك جملتان وتختار الجملة الصحيحة من بينهما فقط، ومثال على ذلك هو “سأذهب إلى السينما في نهاية هذا الأسبوع” أو “سأبقى في المنزل”، ويجب عليك القيام بأحد هذين الأمرين أو كليهما لتكون الجملة صحيحة.

الشرطية : القضايا المركبة الشرطية هي القضايا التي تفترض أنها صحيحة إذا كان شرط آخر صحيح أيضا، ومن أمثلة القضايا المركبة الشرطية: إذا حصلت سارة على درجة نهائية جيدة في الامتحان النهائي، فسوف تحصل على درجة نهائية جيدة في الدورة التدريبية. ومن الأمثلة الأخرى: إذا التزمت بجدول صيانة سيارتك، فستدوم لسنوات عديدة، وإذا كانت يداك غير مبللة، يمكنك تشغيل المصباح. والفرق الرئيسي بين القضايا المركبة الشرطية والقضايا الأخرى، مثل الاقتران والانفصال، هو أن الترتيب في القضية المركبة الشرطية مهم للغاية.

القضية المركبة الضرورية والكافية : القضية الكافية تعني الشيء الذي يكفي لضمان حدوث شيء آخر، على سبيل المثال، الحصول على 95 في الاختبار كاف للحصول على تقدير امتياز، بشرط أن تكون درجة الاختبار 100 درجة، أما القضية الضرورية فتعني الشيء الذي يجب أن يكون صحيحا حتى يكون شيء آخر صحيحا، على سبيل المثال، دخول الامتحان ضروري للحصول على تقدير امتياز، ولن يمكن الحصول عليه إذا لم تجتز الامتحان، أي لا يمكن الحصول على شهادة الدورة التدريبية إذا لم تنه إجراء الاختبار الخاص بها.

ثنائي الشرط : تستخدم في بعض الأحيان ثنائي الشرط، ولكنها ليست شائعة الاستخدام، فعادة ما يكون شرط واحد كافيا وضروريا لشيء آخر. وفي حالة ثنائي الشرط، لا يهم الترتيب، وبالتالي يتشابه مع القضية المركبة الاقتران والقضية المركبة الانفصال. ومن بين الجمل المستخدمة في ثنائي الشرط: متى وفقط متى، أو فقط في حالة أو ذلك وفقط.

الترجمات : لكي نستخدم المنطق الافتراضي، يجب أولا أن نعرف كيفية ترجمة اللغة العربية إلى المنطق الافتراضي، فالبنية التحتية للغة تتكون من جمل ودلالات ورموز أساسية، بالإضافة إلى مجموعة من القواعد التي تمكننا من تجميع العبارات المناسبة في اللغة وبناء جمل معقدة باستخدام أحرف الجملة.

تعريف القضايا

القضايا هي فرع من فروع المنطق يعرف أيضا باسم منطق البيانات، حيث يدرس العبارات والجمل بشكل كامل وتعديل الافتراضات وكيفية دمج هذه الافتراضات. يتشكل في النهاية جمل أو عبارات أو افتراضات أكثر تعقيدا، بالإضافة إلى دمج البيانات أو تغييرها. ويتعامل منطق الافتراض مع أبسط الجمل والعبارات على أنها وحدات غير قابلة للتجزئة، وبالتالي فإن المنطق الافتراضي لا يدرس العلاقات المنطقية والخصائص التي تعتمد على أجزاء من العبارات، وليس العبارة بأكملها. ويجب أن تكون العبارات البسيطة التي يدرسها المنطق الافتراضي صحيحة أو خاطئة، وليس كلاهما.

القضية يمكن تعريفها كجزء من جملة معلن عنها أو الجملة بأكملها، وتحمل قيمة حقيقية تكون إما صحيحة أو خاطئة. على سبيل المثال، باريس هي عاصمة فرنسا، جورج دبليو بوش هو الرئيس الثالث والأربعون للولايات المتحدة. وفي بعض الأحيان، تحتوي القضية على أكثر من جملة. ويستخدم مصطلح القضية أحيانا للإشارة إلى جملتين مختلفتين لهما نفس المعنى. ويدرس منطق القضايا الروابط المنطقية مثل الواو وأو، ويدرس أيضا طرق تعديل العبارات عند إضافة النفي. يتم استخدام النفي لتغيير بيان إيجابي إلى بيان سلبي، والمقصود هو أنه إذا كان البيان الإيجابي المعين خاطئا، فإن النفي لهذا البيان يكون صحيحا. وما يميز منطق القضايا عن الفروع الأخرى للمنطق هو أنه لا يتعامل مع الأجزاء البسيطة في العبارات، فلا يدرس الخصائص والعلاقات المنطقية المرتبطة بها.

تاريخ منطق القضايا

بدأت الدراسة الفعلية لمنطق القضايا كفرع مستقل من فروع المنطق على يد أرسطو في عام 384-322 قبل الميلاد وتعاملت كتابات أرسطو التي كانت معقدة مع المحددات الكمية مثل كل وبعض والتي لم يتم التعامل بها في منطق القضايا بعد ذلك، ومع ذلك فلقد أعطى أرسطو لعلم الافتراض اهتماما كبيرا وأوضح مبدأين يطلق عليهما الآن قوانين وهما قانون الوسط المستبعد وقانون التناقض، وتم تفسير كلا منهما في منطق القضايا فالقانون الأول المقصود به وتم تفسيره على أن الجملة إما أن تكون صحيحة أو خاطئة والمقصود بالقانون الثاني هو عدم وجود بيان صحيح أو بيان خاطئ، وهناك الكثير من الأدلة على أن أرسطو أدرك الحاجة إلى تطوير منطق الافتراض المعقد والذي يتضمن العبارات المرتبطة بحرف العطف الواو والعبارات المنفصلة بحرف أو والعبارات الشرطية الذي نستخدم فيها إذا وثم وبعد ذلك قام الفلاسفة في أواخر القرن الثالث عشر قبل الميلاد بمحاولات لدراسة هذه العبارات المرتبطة بواو وأو وإذا لكن تم فقد معظم دراستهم ولقد قام الفيلسوف شريبسيس بأكبر قدر في تطوير منطق الافتراض.