سؤال 1: ما حكمك على القضية السابقة؟ هل هي قضية شرط أو قضية تشارط؟ لماذا؟
الإجابة: قضية شرط، لأن عبارة "فقط إذا" تعني (p....q) ولا تعني التساوي من الطرفين.
خطوات الحل:
- **الخطوة 1: جدول المعطيات والمطلوب** | العنصر | الوصف | |--------|--------| | **المعطى** | القضية المنطقية تحتوي على عبارة "فقط إذا" | | **المطلوب** | تحديد نوع القضية: هل هي **قضية شرط** أم **قضية تشارط**؟ وتوضيح السبب. |
- **الخطوة 2: القانون أو المبدأ المستخدم** - **قضية الشرط (Conditional Statement)** رمزها $p \rightarrow q$ وتقرأ "إذا p فإن q". - **قضية التشارط (Biconditional Statement)** رمزها $p \leftrightarrow q$ وتقرأ "p إذا وفقط إذا q"، وتعني تساوي القيمتين المنطقيتين. - العبارة "فقط إذا" (only if) في المنطق تعبر عن علاقة شرطية من اتجاه واحد، أي $p \rightarrow q$، ولا تعني المساواة أو التكافؤ من الطرفين.
- **الخطوة 3: تحليل العبارة وتطبيق المبدأ** عبارة "فقط إذا" تشير إلى: 1. أنها تعبر عن **شرطية**، حيث تحدد شرطاً لوقوع النتيجة. 2. **لا** تعني أن العكس صحيح، أي لا يمكن استنتاج $q \rightarrow p$ منها. 3. هذا يتوافق مع تعريف **قضية الشرط** $p \rightarrow q$، وليس مع تعريف **قضية التشارط** $p \leftrightarrow q$ الذي يتطلب صدق العكس أيضاً.
- **الخطوة 4: الإجابة النهائية** بناءً على التحليل، فإن القضية هي **قضية شرط**، لأن عبارة "فقط إذا" تعبر عن علاقة منطقية في اتجاه واحد ($p \rightarrow q$) ولا تعني التساوي أو التكافؤ بين المقدم والتالي.