تتكون من عدة أحكام بسيطة مرتبطة بالنقابات المنطقية.
يتم تقسيم الأحكام المعقدة إلى أنواع اعتمادًا على الاتحاد المنطقي المستخدم بينهما.
يستخدم الاتحاد و، وكذلك النقابات الأخرى بمعنى و ( ولكن، نعمإلخ.).
على سبيل المثال: "إيفانوف وبيتروف طلاب قانون". و: "إيفانوف طالب حقوق" ، "بتروف طالب حقوق".
يُشار إلى الاتحاد والمنطق بعلامة "" أو "&" ، والأحكام البسيطة في هيكلها بواسطة أي متغيرات ، على سبيل المثال ، أ و ب ، حيث أ هو أول اقتراح بسيط ، في هو الاقتراح البسيط الثاني.
مخططها: "أ Λ ب". يقرأ "A و B" ، حيث "أ" و "ب" هما أعضاء أداة العطف.
يستخدم الاتحاد او او).
نظرًا لاستخدام الاتحاد أو (أو) في اللغة الطبيعية في معنيين - الفصل المتصل والفصل الحصري ، فيجب أيضًا التمييز بين نوعين من الانفصال:
حكم الفصل الضام (فصل ضعيف)هو حكم معقد حيث الأحكام البسيطة الواردة فيه لا تستبعد بعضها البعض.
على سبيل المثال: "قد يرتكب الطالب خطأ إملائيًا أو خطأ في علامات الترقيم في الإملاء."
في هذا المثال ، حكمان بسيطان متصلان بالنقابة أو:
نظرًا لأن الطالب يمكنه ارتكاب خطأ إملائي فقط ، أو خطأ في علامات الترقيم فقط ، أو كليهما ، فإن هذا الحكم يعد فصلًا ضعيفًا. أعضاء مثل هذا الحكم لا يستبعدون بعضهم البعض.
يُشار إلى الانفصال الضعيف بالحرف "v".
مخطط الحكم "أ ضد ب" يقرأ "أ أو ب".
حكم انفصالي حصري (فصل صارم)هو حكم معقد تستبعد فيه الأحكام البسيطة الواردة فيه بعضها البعض.
على سبيل المثال: "إما حيا أو ميتا".
في هذا المثال ، حكمان بسيطان متصلان بالنقابة أو:
يشار إلى الانفصال القوي بعلامة اختيار مع نقطة في الأعلى. يقرأ الحكم: "إما أ أو ب". أعضاء الانفصال الصارم يستبعدون بعضهم البعض ، لذلك يطلق عليهم بدائل.
عند نقل شرط ما بلغة طبيعية ، نبدأ بكلمة "if" ، لذا فإن الضمني يستخدم الاتحاد اذا ثم ... .
يشار إليه بعلامة "→".
مخطط الحكم: "أ → ب". يقرأ: "إذا أ ، ثم ب".
على سبيل المثال: "إذا قطعت السلك سينطفئ المصباح."
الحكم الأول (المنطق) "قطع السلك" ، والثاني (نتيجة) - "انطفأ المصباح".
يُطلق على الحكم "a" القاعدة أو السابقة (من أصول لاتينية سابقة - سابقة ، سابقة) ، حكم "في" - نتيجة أو نتيجة (من Lat. Concequens - نتيجة).
يستخدم الاتحاد إذا وفقط إذا ... ثم … (إذا وفقط إذا …).
على سبيل المثال: "إذا اجتاز الطالب جميع الاختبارات والاختبارات ، فيمكن نقله إلى الدورة التالية".
يشار إليه بعلامة "↔".
المخطط: "أ - ب". يقرأ: "إذا ، وفقط إذا أ ، ثم ب".
الفرق بين التضمين والتكافؤ:
مفهوم أحكام صعبةترتبط ارتباطًا وثيقًا بـ الاقتران والفصل والتضمين والتكافؤ والنفي.
هذه هي ما يسمى بالوصلات المنطقية. يتم استخدامها كرابط موحد ، وربط اقتراح بسيط بآخر. هذه هي الطريقة التي تتشكل بها الأحكام المعقدة. أي أحكام صعبةهي أحكام تم إنشاؤها من حكمين بسيطين.
يتم عرض نسبة الحقيقة من الأحكام في الجداول. تعكس هذه الجداول جميع الحالات المحتملة للحقيقة وزيف الأحكام ، وينعكس كل حكم من الأحكام البسيطة المدرجة في المجمع في "رأس" الجدول في شكل حرف (على سبيل المثال ، أ،ب). تنعكس الحقيقة أو الخطأ في شكل الحروف "I" أو "L" (صواب وخطأ ، على التوالي).
قبل التفكير في الاقتران والفصل والتضمين والتكافؤ والنفي ، من المنطقي إعطائها وصف مختصر... تسمى هذه الروابط المنطقية بالثوابت المنطقية.
في الأدب ، يمكنك العثور على أسمائهم الأخرى - الثوابت المنطقية ، لكن هذا لا يغير جوهرها. في لغتنا ، يتم التعبير عن هذه الثوابت بكلمات معينة. لذلك ، يتم التعبير عن الاقتران من خلال أدوات العطف "نعم" ، "ولكن" ، "على الرغم من" ، "ولكن" ، "و" وغيرها ، والانفصال - بمساعدة أدوات الربط "أو" أو "أو" ، إلخ يمكنك التحدث عن حقيقة الاقتران إذا كان كلا الحكمين البسيطين المتضمنين فيه صحيحين. يكون الانفصال صحيحًا عندما يكون اقتراح بسيط واحدًا فقط صحيحًا. يشير هذا إلى فصل صارم ، بينما يكون الفصل غير الصارم صحيحًا بشرط أن يكون أحد أحكامه البسيطة على الأقل صحيحًا. يتسم المعنى الضمني بالحقيقة دائمًا ، إلا في حالة واحدة.
دعونا ننظر في ما ورد أعلاه بمزيد من التفصيل.
اقتران (أ ^ ب)- هذه طريقة لربط الأحكام البسيطة بأحكام معقدة ، حيث تعتمد حقيقة الحكم الناتج بشكل مباشر على حقيقة المركب. تتحقق حقيقة مثل هذه الأحكام فقط عندما يكون الحكمان البسيطان (أ و ب) صحيحين أيضًا. إذا كان أحد هذه الأحكام على الأقل خاطئًا ، فيجب أيضًا الاعتراف بأن الحكم الجديد المعقد الناتج عنها خاطئ. على سبيل المثال ، في الحكم "هذه السيارة عالية الجودة (أ) وركضت فقط عشرة آلاف متر (ب)" ، فالحقيقة تعتمد على كليهما الجانب الأيمنومن اليسار. إذا كان كلا الحكمين البسيطين صحيحين ، فإن المركب المتكون منهما صحيح أيضًا. خلاف ذلك (إذا كان أحد الأحكام البسيطة على الأقل خاطئًا) فهو خطأ. هذا الحكم هو سمة من سمات سيارة معينة. من الواضح أن زيف أحد الأحكام البسيطة لا يستبعد حقيقة الآخر ، ويمكن أن يؤدي ذلك إلى أخطاء مرتبطة بتحديد حقيقة الأحكام المعقدة التي تتكون عن طريق الاقتران. بالطبع ، حقيقة أحد الافتراضات البسيطة لا يستبعدها زيف الآخر ، لكن يجب ألا ننسى أننا نميز موضوعًا ، ومن وجهة النظر هذه ، فإن زيف أحد الأحكام البسيطة يُنظر إليه من الآخر. الجانب. هذا يرجع إلى حقيقة أنه مع الحكم الخاطئ على إحدى نقاط هذه الخاصية ، تصبح الخاصية ككل خاطئة (بمعنى آخر ، تؤدي إلى إرسال معلومات غير صحيحة عن السيارة ككل).
مفكك (أالخامس ب)يمكن أن تكون صارمة وغير صارمة. الفرق بين هذين النوعين من الانفصال هو أن في شكل متساهلأعضائها لا يستبعد بعضها البعض. قد يكون أحد الأمثلة على الانفصال التراخي: "للحصول على قطعة عمل ، يمكن إحضار الجزء على الجهاز (أ) أو معالجته مسبقًا بملف (ب)." من الواضح أن أ هنا لا يستبعد ب والعكس صحيح. تعتمد حقيقة مثل هذا الحكم المعقد على حقيقة أعضائه على النحو التالي: إذا كان كلا المصطلحين خاطئين ، فإن الحكم المنفصل الذي يتكون من خلالهما يُعترف به أيضًا على أنه خاطئ. ومع ذلك ، إذا كان هناك حكم بسيط واحد خاطئ ، فإن هذا الانفصال يعتبر صحيحًا.
الفصل الصارمتتميز بحقيقة أن أعضائها يستبعدون بعضهم البعض (على عكس الانفصال الفضفاض). العبارة "سأؤدي واجبي المنزلي اليوم (أ) أو أمشي في الشارع (ب)" مثال على الانفصال الصارم. في الواقع ، يمكنك أداء فعل واحد فقط في الوقت الحالي - القيام به الواجب المنزليأو الذهاب في نزهة على الأقدام وترك الدروس لوقت لاحق. لذلك ، فإن الفصل الصارم يكون صحيحًا فقط عندما يكون أحد الأحكام البسيطة الواردة فيه صحيحًا. هذه هي الحالة الوحيدة التي يكون فيها الانفصال الصارم صحيحًا.
التكافؤتتميز بحقيقة أن الحكم المعقد المشكل صحيح فقط في تلك الحالات التي يكون فيها كل من الحكمين البسيطين المتضمنين في تكوينه صحيحًا ، ويكون زيف كلا الحكمين خاطئًا. من الناحية الحرفية ، يبدو التكافؤ مثل أ = ب.
عند الإنكار ، يكون الحكم المعروض على أنه صحيح عندما يكون المفهوم المرفوض خاطئًا. هذا يرجع إلى حقيقة أن الإنكار والحرمان من الحكم البسيط لا يتعارض فحسب ، بل يستبعد (ينكر) بعضهما البعض أيضًا. وهكذا ، يتضح أنه عندما يكون المفهوم a صحيحًا ، فإن المفهوم a خاطئ. على العكس من ذلك ، إذا كانت a خطأ ، فعندئذٍ تكون a التي تنكرها صحيحة.
التضمين (أ - ›ب)هذا صحيح في جميع الحالات ما عدا حالة واحدة. بعبارة أخرى ، إذا كانت كلتا الافتراضات البسيطة المضمنة في الضمني صحيحة أو خاطئة ، أو إذا كانت الافتراضات خاطئة ، فإن المعنى الضمني يكون صحيحًا. ومع ذلك ، إذا كان الحكم (ب) خاطئًا ، فإن المعنى نفسه يصبح أيضًا خاطئًا. يمكن ملاحظة ذلك في المثال: "نلقي خرطوشة عاملة في النار (أ) ، ستنفجر (ب)". من الواضح ، إذا كان الحكم الأول صحيحًا ، فإن الحكم الثاني صحيح أيضًا ، حيث سيحدث حتماً انفجار خرطوشة في النار. لذلك ، بالنظر إلى الحالة الأولى ، يمكننا أن نستنتج أنه إذا كان الافتراض الثاني خاطئًا ، فإن المعنى الضمني كله خاطئ أيضًا.
تتكون جميع الأمثلة المذكورة أعلاه من الاقتران ، والفصل ، والضمني من متغيرين. ومع ذلك ، هذا ليس هو الحال دائما. قد يكون هناك ثلاثة متغيرات أو أكثر. بالنظر إلى الأحكام المعقدة للحقيقة ، نحصل على صيغ الحروف. هذا الأخير يمكن أن يتسم بالحقيقة والخطأ. في هذا الصدد ، تسمى الصيغة الصحيحة لأي مجموعة من متغيراتها بأنها صحيحة تمامًا. يحتوي الاسم "مماثل بشكل خاطئ" على صيغة لا تأخذ سوى معنى خاطئًا (بمعنى "خطأ"). الشكل النهائي لهذه الصيغ هو الصيغة القابلة للتنفيذ. اعتمادًا على مجموعات المتغيرات المضمنة فيه ، يمكن أن يأخذ كل من القيمة "صواب" والقيمة "خطأ".
2. إبداء الأقوال
يتم التعبير عن التعبيرات باستخدام الرموز- المتغيرات والعلامات التي تدل على المصطلحات المنطقية. لا توجد رموز أخرى لهذا الغرض. بيانات متغيرةمعبر عنها بأحرف الأبجدية اللاتينية (أ ، ب ، ج ، د ، إلخ). تسمى هذه الحروف عبارات متغيرة ، وكذلك متغيرات مقترحة. تكلم لغة بسيطة، هذه المجموعة من الرموز تعني أحكامًا بسيطة تشكل بيانًا. يتم التعبير عن هذه الأحكام في شكل جمل تصريحية. مجموعة أخرى من الشخصيات، تُستخدم للتعبير عن عبارات في شكل صيغ ، هذه علامات.تشير إلى المصطلحات المنطقية مثل الاقتران والانفصال ، والتي يمكن أن تكون صارمة أو متساهلة ، والنفي ، والتكافؤ ، والتضمين. يتم عرض الاقتران كعلامة اختيار تشير لأعلى (^) ؛ فصل كعلامة اختيار تشير لأسفل (V). في حالة الانفصال الصارم ، توضع نقطة فوق علامة الاختيار. الضمني له علامة "-› "، النفي (-) ، مكافئ (=).
النوع الأخير من الرموز التي يتم التعبير عن العبارات بها هو الأقواس.
تتميز الرموز التي تدل على المصطلحات المنطقية وأنواع الارتباط بـ قوة مختلفة... لذلك ، يعتبر الرباط ^ هو الأقوى ، أي أنه يرتبط بقوة أكبر من جميع الأربطة الأخرى. الرباط V أقوى من - ، وهو أمر مهم فقط في بعض الحالات. لذا ، فإن تحديد قوة الأربطة يصبح مهمًا في حالة كتابة الصيغ دون استخدام الأقواس. إذا كان لدينا بيان تعبر عنه الصيغة (أ ^ ب) الخامس ج، لا يمكنك كتابة أقواس ، ولكن تشير مباشرة إلى ذلك أ ^ بالخامس ج.تنطبق نفس القاعدة عند استخدام الرمز - ›. لكن هذه القاعدةليس صحيحا في كل الحالات. أي أنه من غير المقبول في كثير من الحالات حذف الأقواس. على سبيل المثال ، عندما يتم تنفيذ الرابط الضمني للمفهوم أ مع مفهومين آخرين مرتبطين بعلاقة ضمنية ويفصل بينهما أقواس ، فمن غير المقبول حذف الأخير (أ ^ (ب - ج)).هذا واضح ، لأنه بخلاف ذلك سيكون من الضروري تنفيذ اقتران العطف أولاً ثم الضمني فقط. من دورة الرياضيات المدرسية ، نعلم أنه يجب حذف الأقواس في حالة مماثلةمستحيل. يتضح وضع مماثلقد يكون هناك المثال التالي: 2 X (2 + 3) = 10 و 2 X 2 + 3 = 7. النتيجة واضحة.
فيما يتعلق بما ورد أعلاه ، يمكن ملاحظة أنه ليس كل تعبير رمزي للعبارات عبارة عن صيغة. هذا يتطلب وجود علامات معينة. على سبيل المثال، يجب بناء الصيغة بشكل صحيح.يمكن أن تكون أمثلة هذا البناء: (أ ^ ب) ، (أالخامس ب) ، (أ - ب) ، (أ = ب).تم تمييز هذا البناء على أنه PPF ، أي صيغة جيدة التكوين. تتضمن أمثلة الصيغ التي تم إنشاؤها بشكل غير صحيح ما يلي: أ ^ ب ، أالخامس ب، الخامس ب ، أ - ب ، (أ ^ ب)في الحالات الثلاث الأولى ، يكمن خطأ الصيغة في حقيقة أن المفاهيم التي توحدها الوصلات يجب وضعها بين قوسين. تحتوي الصيغة الأخيرة على قوس مفتوح ، بينما يتميز المثال الثالث بحقيقة أن مفهومًا بسيطًا لا يتم دمجه مع آخر ، على الرغم من حقيقة وجود رمز فصل.
في ذلك الحياة اليوميةنحن في كثير من الأحيان ، وأحيانًا لا نلاحظ ذلك ، لا نستخدم أحكامًا بسيطة فحسب ، بل أيضًا أحكامًا معقدة. هذه الأحكام ، كما ذكرنا سابقًا ، تتكون من حكمين بسيطين أو أكثر باستخدام روابط منطقية ، والتي تسمى الانفصال والترابط والتضمين والنفي ، وكذلك التكافؤ. يتم التعبير عن هذه الحزم باستخدام العلامات: ^ للاقتران ، الخامسللانفصال ، - > للتضمين. لافتة = تمثل التكافؤ ، والعلامة أيعني الإنكار. هناك خياران لعرض الانفصال. الأول هو مربع اختيار بسيط يشير إلى الأسفل لفصل بسيط. بالنسبة إلى المعقد ، يتم استخدام نفس علامة الاختيار ، ولكن مع وجود نقطة في الأعلى. يعد التمثيل الرسومي لصيغ الأحكام المعقدة مهمًا للغاية ، حيث يتيح لك فهم هيكلها وطبيعتها ومعناها بشكل أوضح.
تجمع الوصلات المنطقية بين الأحكام البسيطةالتي هي في الأساس جمل تصريحية. وهنا يوجد الكثير من الخيارات. يمكن أن تتكون الجمل من الأسماء والصفات ، والأفعال ، والمشاركين ، وما إلى ذلك. بعض الجمل عبارة عن افتراضات بسيطة ، والبعض الآخر معقد. تتميز الأحكام أو التصريحات المعقدة بحقيقة أنه يمكن تقسيمها إلى جزأين بسيطين ، متحدين بواسطة ثابت منطقي. ومع ذلك ، هذا غير ممكن مع الجميع. جمل معقدة... عندما يغير البيان معناه ، نتيجة للتجزئة ، فإن مثل هذه العملية غير مقبولة. على سبيل المثال ، عندما نقول "كانت المنطقة قديمة والبيوت متداعية منذ فترة طويلة" ،نعني الاقتران حيث يتحد جانب واحد ، "كانت المنطقة قديمة" ، متحالفًا "و" مع الجزء الثاني - "أصبحت المنازل الموجودة فيه منذ فترة طويلة متداعية". لم يتغير معنى البيان ، على الرغم من حقيقة أننا اعتبرنا أحكامًا بسيطة بمعزل عن بعضها البعض. ومع ذلك ، في البيان "سيارة جميلة وسريعة متوقفة في ساحة الانتظار"ستؤدي محاولة التقسيم إلى تشويه الأصل المعلومات المنقولة... لذلك ، بالنظر إلى الأحكام البسيطة بشكل منفصل ، نحصل على: "(سيارة) جميلة متوقفة في ساحة الانتظار" - هذا هو الحكم الأول ، جنبًا إلى جنب مع أداة الربط الثانية "و". والحكم الثاني: "(متوقفة في ساحة الانتظار) سيارة سريعة". نتيجة لذلك ، قد يعتقد المرء أن هناك سيارتين - واحدة جميلة والأخرى سريعة.
المنطقهو ، بالطبع ، علم مستقل له أجهزته المفاهيمية وأدواته وقاعدة معلوماته. يتم فصل أي علم مستقل عن الآخرين وغالبًا ما يكون مختلفًا بشكل أساسي في مقاربته لموضوع معين. يجب أن يؤخذ هذا في الاعتبار عندما ننظر إلى تراكيب اللغة الروسية من وجهة نظر المنطق. يدرس المنطق مثل هذه الإنشاءات بطريقة أكثر عزلة. وبالتالي ، غالبًا ما لا يتم أخذ عامل الوقت في الاعتبار عند النظر في الأحكام المختلفة. في اللغة الروسية ، يتم دائمًا أخذ عامل الوقت في الاعتبار ، عند الاقتضاء. هنا يجب أن يقال عن تبادلية أداة العطف ، والتي ترتبط ارتباطًا وثيقًا بسمات اللغة والمنطق المذكورة أعلاه. التبادليةهي معادلة الأحكام (البيانات) عندما (أ ^ ب) = (ب ^ أ).في اللغة ، لا ينطبق قانون تبديل الاقتران ، حيث يتم أخذ عامل الوقت في الاعتبار. في الواقع ، من المستحيل تخيل تكافؤ بعض الأحكام ، أحدها أقدم من الآخر في الوقت المناسب ، والعكس صحيح. على سبيل المثال ، لن تكون العبارات "لقد بدأت تمطر وتبللنا". (أ ^ ب)و "تبللنا وبدأ الجو يمطر" (ب ^ أ).يمكن رؤية نفس الموقف في عبارات "طلقة سقطت ، وسقط الوحش" و "سقط الوحش ، وأصيبت رصاصة". من الواضح أن عامل الوقت يؤخذ في الحسبان هنا ، والذي بموجبه يسبق حدث أو إجراء ينعكس في حكم معقد آخر ، والذي يحدد معنى البيان بأكمله.
المنطق يستخرج من الزمن ويقيم الحكم فقط من وجهة نظر بنائه الصحيح ، وكذلك من وجهة نظر الحقيقة أو الزيف. في هذا الصدد ، البيانات المذكورة أعلاه متكافئة ، لأنه في كل حالة فردية ، كلا الجزأين صحيحان.
في هذا الطريق، عبارات الربط في المنطق تبادلية، فإن استخدام حرف العطف "و" في الأحكام من وجهة نظر اللغة (في حالة أخذ عامل الوقت في الاعتبار) غير تبادلي.
على الرغم من حقيقة أن أحرف الجر التي تم تشكيلها بمساعدة من تم الإشارة إليها أعلاه ، لا يمكن القول أنه في حالة عدم وجود أحرف الجر هذه في الحكم ، يكون الاقتران مستحيلًا. هذا ليس صحيحا. غالبًا في الجمل التي تكون أحكامًا معقدة ، يستخدمون علامات مختلفةعلامات ترقيم. على سبيل المثال ، يمكن أن تكون فاصلة أو شرطة ، وأحيانًا نقطة.
يتم وضع علامات الترقيم المستخدمة في العبارات بين الأحكام البسيطة وربطها ببعضها البعض. مثال على استخدام علامات الترقيم كوصلات منطقية هو جملة "الغيوم انفصلت ، الشمس خرجت" أو "الصقيع ضرب الشارع ، اختفت جميع الكائنات الحية ، وتشكلت رقاقات جليدية على الأسطح". بشكل عام ، تناول العديد من العلماء قضايا التعبير اللغوي عن الاقتران. لذا هذا السؤالمصممة بشكل جيد ومضاءة.
الانفصال (تذكر أن تسميته الرمزية هي V ، بالإضافة إلى علامة اختيار مماثلة ، ولكن مع وجود نقطة في الأعلى) يمكن أن يكون صارمًا وغير صارم. الاختلافات بين هذين النوعين ، كما ذكرنا سابقًا ، هي أن أعضاء الفصل الفضفاض متنافرون ، في حين أن أعضاء الانفصال الصارم ليسوا كذلك.
ينطبق قانون التبديل الخاص بالفصل بغض النظر عن نوع الانفصال. أذكر ذلك يتم التعبير عن الانفصال من قبل النقابات، أهمها بالتأكيد "أو" و "إما". دعونا نعطي أمثلة على الانفصال الصارم وغير الصارم ونستخدمها لتوضيح عمل قانون التبديل. الحكم "سأشرب الماء مع الغاز أو بدونه" هو مثال على الانفصال السائب ، في حين أن الحكم "سأذهب إلى الجامعة أو أبقى في المنزل" هو حكم قوي. الفرق بينهما هو أنه في الحالة الأولى ، سيستمر تنفيذ الإجراء ، بغض النظر عن نوع الماء المحدد. في الحالة الثانية ، يتم استبعاد الإجراء (سأذهب إلى الجامعة) إذا اخترت الخيار الثاني والبقاء في المنزل. في كثير من الحالات ، يمكن ببساطة استبدال حرف العطف "أو" بعلامة العطف "إما". على سبيل المثال ، في الجملة "إما أن أتزلج على الجبل أو أسقط على طول الطريق" يمكنك استخدام أداة العطف "أو" بدون أي تغييرات. ومع ذلك ، هناك اتحاد يستخدم بشكل مستقل وهو أيضًا رباط مفكك. هذا هو الاتحاد "سواء أم لا". يتم استخدامه في كثير من الأحيان عند بناء الجمل. "جاء اليوم إما مدقق حسابات أو مدقق حسابات" ؛ "يعيش إما في موسكوفسكايا أو شارع كومسومولسكايا"إلخ.
كما ذكر أعلاه، يعمل قانون التبديل في العبارات المنفصلة بغض النظر عن نوع الانفصال.خذ على سبيل المثال الحكم التالي: "سأشرب الماء مع الغاز أو بدونه" و "سأشرب الماء بدون غاز أو غاز". من الواضح أنه لا يوجد فرق بينهما ، يبقى المعنى كما هو. يمكنك أيضًا التحقق من أمثلة أخرى ، مثل "سأذهب إلى الجامعة أو أبقى في المنزل" و "سأبقى في المنزل أو أذهب إلى الجامعة". محتوى وحجم الحكم المعقد الناتج عن الانفصال لا يتغير من التقليب لأعضائه. هذا هو السبب في أننا نتحدث عن التبادل العالمي.
التعبير عن الروابط المنطقية في اللغة متنوع للغاية ، وهناك العديد من المخططات التي يتم بناء البيانات وفقًا لها. لكل من هذه المخططات ، يمكنك بناء كمية كبيرةأحكام صعبة. هذا ينطبق بشكل خاص على اللغة الروسية بكل غموضها. على سبيل المثال ، تم بناء المعنى الضمني وفقًا لمخططات مثل ، على سبيل المثال ، "من أجل أ من الضروري ب" ؛ "A يكفي لـ B" ؛ "If A، then B"، "A، only if B"، إلخ. على سبيل المثال: "لكي تعرف الكثير ، عليك أن تدرس كثيرًا" ؛ "للقفز من المنصة ، يكفي أن تدفع قدميك بشكل صحيح" ؛ "إذا علقت السيارة ، يجب دفعها" ؛ "لا يمكنك اجتياز الاختبار في الوقت المحدد إلا إذا بدأت التحضير على الفور."
يوجد عدد من الصيغ أيضًا للتكافؤ:"أ ، إذا ب ، وب ، إذا كان أ" ؛ "لأن أ ، ب ضروري وكافي" ؛ "وما إذا وفقط إذا ب" ، إلخ. دعونا نعطي أمثلة للأحكام المبنية على أساس هذه المخططات. على سبيل المثال: "إذا كان الشخص يمارس رياضة رفع الأثقال ، فسيصبح أقوى" و "يصبح الشخص أقوى إذا شارك في رفع الأثقال" ؛ "لدخول الجامعة من الضروري والكافي للنجاح امتحانات الدخول"؛ "لقد وصلت إلى القمة إذا وفقط عندما تطأ قدمك أعلى نقطة في الجبل."
في هذا الصدد ، من الضروري أيضًا ذكر غموض التحالفات التي تعبر عن الثوابت المنطقية (الاقتران ، الانفصال ، الضمني ، إلخ). على سبيل المثال ، يمكن أن تعبر أداة العطف "if" في كثير من الأحيان ليس عن ضمني ، بل عن أداة ربط. يعتمد ذلك على وجود علاقة ذات مغزى بين الأحكام. في هذا الصدد ، من الضروري النظر إلى تعبيرات اللغة الطبيعية من وجهة نظر تنوعها وعدم تجانسها.
بالإضافة إلى الوصلات المنطقية، معبرًا عنها باللغة الروسية من خلال النقابات المستخدمة في تشكيل الأحكام العامة والخاصة ، هناك محددات الكم.إنه مُحدِّد كمي وجودي ومُحدِّد كمي عام.
مُحدد كمي للمجتمعيتم التعبير عنها باللغة الروسية بالكلمات "كل شخص" ، "كل شخص" ، "كل" ، "لا شيء" ، وما إلى ذلك. عادة ما تتم قراءة الصيغة ذات المحدد الكمي العام على أنها "جميع الكائنات لها خاصية معينة".
محدد الكميتم التعبير عنها بالكلمات "الأغلبية" ، "الأقلية" ، "بعض" ، "كثير" و "قليل" ، "الكثير" و "القليل" ، "الكل تقريبًا" ، إلخ. "هناك بعض الأشياء بخاصية معينة."هناك متغير لاستخدام المحدد الوجودي ، وفيه "هناك بعض الأشياء التي تكون أكبر من قيمة معينة."في هذا البناء ، تُفهم الأشياء على أنها أرقام.
يتم التعبير عن بعض الأحكام المبنية باستخدام التضمين في الحالة المزاجية الشرطية.لديهم نفس المعادلة مثل الآثار الأخرى (أ - ›ب) ، ولكن عادة ما يطلق عليهم اسم التزييف. يتيح لنا المزاج الشرطي معرفة أن أساس وتأثير هذه الأحكام خاطئ. ومع ذلك ، فإن هذا الزيف ليس عالميًا ، أي في ظل ظروف معينة ، فإن حقيقة هذه العبارات ممكنة. بعبارة أخرى ، يمكن لمثل هذه الأحكام أن تعكس الموضوع بشكل صحيح وموضوعي.
الحقيقة ممكنة إذا كانت العلاقة بين السبب والنتيجة تعني أن حقيقة التأثير تنبع من حقيقة السبب. خلاف ذلك ، يمكننا القول أن مثل هذا الحكم خاطئ.
العبارة ، المبنية في الحالة الشرطية ، لها هيكل "إذا كانت A ، فستكون B". على سبيل المثال، "لو كنت قد حضرت جميع فصول المنطق ، كنت قد اجتزت الاختبار بنجاح" ؛ "لو لم يكن القطار قد تأخر ، لكنا قد فاتنا القطار" و "إذا لم يسقط المريض ، لما كانت ساقه تتألم".
البيانات المزيفة لها أهمية عظيمةللتاريخ والفلسفة والرياضيات إلى حد ما وبعض العلوم الأخرى. يتم استخدامها في بناء الفرضيات ، والنظر في القضايا التاريخية وغيرها وتحديد الاتجاهات المحتملة لمسار عمليات معينة. على سبيل المثال ، المناقشات حول العظمى الحرب الوطنية... في إطار هذه المناقشة ، يتم النظر في مسألة إمكانيات مسارها البديل والنتائج التي يمكن أن تكون في ظل مجموعة مختلفة من الظروف. أيضًا ، في إطار الكيمياء والفيزياء وعلم الفلك والأحكام المزيفة غالبًا ما تستخدم. على سبيل المثال ، تصل الفيزياء العملية أحيانًا إلى استنتاج مفاده أنه من غير الممكن تحديد المسار الدقيق للعملية نظريًا. في هذه الحالة ، لتحقيق النتيجة المرجوة ، يتعين على المرء استخدام طريقة العد الذكية وتأكيد النتائج بالممارسة.
يمكن أن يكون الحكم التالي مثالاً على الحكم المزيف في الفيزياء: "إذا قمنا بتشغيل تيار كهربائي عبر موصل نحاسي ، فسيكون التفريغ أقوى."نظرًا لأن حقيقة الحكم المزيف غامضة ، وبشكل افتراضي ، يتم التعرف على أساسه ونتائجه (وبالتالي ، الحكم بأكمله) على أنه خطأ ، يجب اختبار هذا الحكم في الممارسة العملية. في هذه القضيةيمكن أن يكون الحكم صحيحًا وكاذبًا. يعتمد ذلك على الموصل الذي استخدمناه سابقًا. على سبيل المثال ، إذا أخذنا موصلًا حديديًا قبل الموصل النحاسي ، فسيكون حكمنا صحيحًا ، لأن النحاس يعطي مقاومة أقل عند التحرك على طول موصل التيار الكهربائي. ومع ذلك ، إذا استخدمنا الذهب في وقت سابق كموصل ، فسيكون الحكم خاطئًا ، مرة أخرى لسبب يتعلق بموصلية المواد - الذهب لديه موصلية أعلى بكثير من النحاس. يدعو علم الفلك إلى التساؤل عن بعض خصائص مدارات الأجرام السماوية وخصائص حركة هذه الأخيرة ، والموقع النسبي للكواكب والنجوم والأنظمة والمجرات ، إلخ. ونتيجة لذلك ، يتم استخدام العبارات المزيفة أيضًا. في بعض الأحيان ، لتبرير أنفسهم أو للتخفيف من حدة الموقف الحاد ، يقول الناس: "لو لم يحدث هذا ، لكان كل شيء يسير بشكل مختلف". هذا أيضًا مثال على استخدام الحالة الشرطية.
ومع ذلك ، يجب أن نتذكر ذلك تتكون الأحكام المزيفة من أسباب وآثار كاذبة.لذلك ، عند استخدام مثل هذه الإنشاءات في العلم ، يجب مراعاة قدر معين من الحذر.
يمكن التعبير عن الأحكام المضادة للواقع باستخدام الصيغ. تعكس هذه الصيغ عدد أعضاء البيان ، ونوع الصلة بينهم وعلامة التضمين. المضمون في الحكم المزيف له خصوصية معينة: فهو يتوافق ، من بين أمور أخرى ، مع أداة العطف "إذا ... ثم". على اليسار ، تعكس هذه الصيغة أعضاء النطق المزيف المقابل لعلامة "if" ، على اليمين ، أداة ربط "then". يتم فصل الجزأين الأيمن والأيسر بعلامة ضمنية تختلف عن تلك المستخدمة في المنطق الكلاسيكي للقضايا. الفرق بين هذين الرمزين هو أنه على ظهر السهم الضمني ( النسخة الكلاسيكية(- ›)) ، ضمنا التزييف له شريط عمودي (| -›). لا يتم استخدام مثل هذه العلامة في منطق الافتراض الكلاسيكي.
3. إنكار الأحكام الصعبة
إنكار الحكم في المنطق- هذا هو استبدال الرابط الموجود داخل كلام معقد بآخر ، على عكس الأخير. إذا كنا نتحدث عن صيغة يمكن من خلالها التعبير عن إنكار الأحكام المعقدة ، فيجب ملاحظة أن الرفض يتم التعبير عنه بيانياً كخط أفقي فوق الحكم المرفوض. وهكذا ، نحصل على مفهومين ، موحدين باتصال منطقي ، يتم من خلاله رسم خط أفقي. إذا كانت هذه الميزة موجودة بالفعل ، فمن أجل تنفيذ النفي ، من الضروري إزالة هذه الميزة.
كل ما سبق ينطبق على العمليات التي يتم إجراؤها باستخدام الاقتران والفصل. ومع ذلك ، فإن ما قيل أعلاه لا يعني أن إنكار الأحكام المعقدة ممكن فقط إذا كانت تحتوي حصريًا على الاقتران والانفصال. إذا كان من الضروري تنفيذ عملية النفي فيما يتعلق بحكم يتضمن ضمنيًا ، فمن الضروري استبدال هذا الحكم بحيث يتم تجاهل الضمني في حالة عدم وجود أي من تغييراته. هذا يعني أنه من الضروري اختيار حكم معادل للحكم المعطى ، والذي لن يحتوي على آثار. عندما نتحدث عن حكم مكافئ لاحتواء ضمني ، ولكن لا يحتوي عليه ، فإننا نعني استبدال هذا الرابط بوصلة اقتران أو مفككة. يبدو بيانيا مثل (أ - ب) = (أ ف ب). ثم يتم تنفيذ العملية الموضحة أعلاه ، حيث تتغير علامة الاقتران إلى مفترق ، والعكس صحيح.
عادة ، في الكلام ، يتم تقليل تعبير النفي إلى إضافة البادئة "لا".في الواقع ، نظرًا لأن البادئة المشار إليها سلبية ، فإن استخدامها لإنشاء العكس له ما يبرره تمامًا.
من الضروري ذكر قوانين دي مورغان. يتم استخدامها في عملية إنكار الأحكام المعقدة ولديها تعبير صيغة. لا يوجد سوى أربعة من هذه القوانين ، وبالتالي ، الصيغ:
بعد النظر في ما سبق ، يمكن ملاحظة أن نفي الحكم المعقد ، الذي يحتوي على اقتران أو فصل ، هو خيار "بسيط" ، حيث يكفي تنفيذ عملية الرفض.
الصيغة ، التي تم تشكيلها باستخدام قوانين de Morgan ، هي كما يلي:
(أ ^ ب) V (ج ^ هـ) = (أ V ب) ^ (ج V هـ).
دعونا نعطي أمثلة على عملية النفي. إنكار حكم معقد ، لا يوجد فيه أي تأثير: "سأنهي العمل وأذهب في نزهة على الأقدام وأذهب إلى المتجر" - "سأنتهي من العمل ، لكنني لن أذهب في نزهة على الأقدام ولن أذهب إلى المتجر." يمكن توضيح إنكار حكم معقد يكون فيه من الضروري أولاً تغيير الدلالة الضمنية إلى الاقتران أو الانفصال المثال التالي: "إذا اشتريت سيارة ، سأخرج من المدينة أو أحولها إلى دارشا" - "سأشتري سيارة ، لكنني لن أخرج من المدينة ولا أعيدها إلى دارشا ". في هذا المثال ، أغفلنا خطوة إزالة الاستنتاج الضمني للملاءمة.
يجب أن يقال إن الأحكام التي تنكر بعضها البعض لا يمكن أن تكون صحيحة أو خاطئة في نفس الوقت. تتميز حالة التناقض أو الإنكار بحقيقة أن أحد المفاهيم المتضاربة صحيح دائمًا ، بينما الآخر خاطئ. لا يمكن أن يكون هناك موقف آخر في هذه الحالة.
من المستحيل تحديد عملية النفي ، نتيجة تشكيل حكم جديد ، من النفي ، وهو جزء من الأحكام السلبية. يمكن تنفيذ إنكار الأحكام فيما يتعلق بالحكم بأكمله وأجزائه ويتم التعبير عنه بالكلمات "ليس" ، "ليس الجوهر" ، "ليس" ، وكذلك "خاطئ" ، إلخ. ما قيل ، يمكننا أن نستنتج أن هناك نوعين من النفي - داخلي وخارجي. كما قد تتخيل ، يرفض الخارج الحكم برمته. على سبيل المثال ، "بعض الجنود ليسوا مظليين" هو إنكار داخلي ، في حين أن الحكم "ليس صحيحًا أن القمر كوكب" هو إنكار خارجي. وبالتالي ، فإن النفي الخارجي هو إنكار الحكم بأكمله ككل ، بينما يُظهر النفي الداخلي حقيقة التناقض أو التناقض بين المسند مع الموضوع.
يمكن عرض الأنواع التالية من الأحكام السلبية في شكل صيغ: "كل S هي P" و "بعض S ليست P" (هذه أحكام عامة) ؛ "لا S هي P" و "بعض S هي P" (أحكام خاصة). النوع الأخير من الأحكام السلبية يبدو مثل "هذا S هو P" و "هذا S ليس P" (الأحكام تسمى المفرد).
الأحكام المعقدة - فلسفة القسم ، المنطق الحكم المركب هو حكم يتكون من اثنين من ...
حكم صعبهو حكم يتكون من حكمين بسيطين أو أكثر باستخدام روابط منطقية: الاقتران والانفصال والتضمين والتكافؤ ... وفقًا لوظائف الروابط المنطقية ، يتم تمييز الأنواع التالية من الأحكام المعقدة: ربط (مترابط) ، فصل (منفصل) ، شرطي (ضمني) ، مكافئ .
ضام (متصل)هي أحكام معقدة تتكون من أحكام بسيطة باستخدام رابط منطقي "و" (رمزÙ ) ... على سبيل المثال ، الحكم "البوذية والمسيحية والإسلام هي ديانات عالمية" يتكون من ثلاث ديانات بسيطة: "البوذية دين عالمي" ، "المسيحية دين عالمي" ، "الإسلام دين عالمي". صيغة هذا الحكم هيÙ ب. يكون الحكم الموصل صحيحًا إذا كانت جميع الأحكام البسيطة صحيحة وخاطئة إذا كان أحدها على الأقل خاطئًا.
فصل (فصل)هي أحكام معقدة تتكون من أحكام بسيطة باستخدام رابط منطقي "أو" (رمزÚ ). على سبيل المثال ، فإن الحكم "يمكن إلحاق الإهانة إما عن طريق الخطأ أو عن قصد" هو حكم تقسيمي ، ويتكون من حكمين بسيطين: "يمكن إلحاق الإهانة عن طريق الخطأ" ، و "يمكن إلحاق الإهانة عمدًا". من الناحية الرمزية ، يمكن التعبير عن هذا الحكم على أنه أ Ú ب ج.
منذ الحزمة "أو" في اللغة الطبيعية معنيان - الفصل والربط والفصل بدقة - ثم هناك نوعان من الأحكام المنفصلة : انفصال غير صارم (ضعيف) وانفصال صارم (قوي).
انفصال فضفاض -هذا حكم معقد فيه الارتباط "أو" مستعمل في ربط القيمة الفاصلة (رمزÚ ). أعضاء الانفصال السائب لا يستبعدون بعضهم البعض. على سبيل المثال: "هذا الطالب يدرس في كلية فقه اللغة أو القانون". يكون الانفصال السائب صحيحًا إذا كان أحد أعضائه على الأقل صحيحًا وجميع أعضائه خاطئين. صيغة هذا الحكم هيÚ ب
الفصل الصارمهو حكم فيه الرابط " أو" مستعمل في قيمة الفاصل (رمز Ú ). أعضاء الفصل الصارم متنافرون. على سبيل المثال: "إما في الرِّكاب بقدمك ، أو في الجذع مع رأسك." صيغة هذا الحكم هي Ú ب.يكون الفصل الصارم صحيحًا إذا كان أحد الأعضاء صحيحًا وكان العضو الآخر خاطئًا ، وخطأ إذا كان جميع أعضائه خاطئين أو صحيحين.
شرطي (ضمني)هي أحكام معقدة تتكون من حكمين بسيطين باستخدام اتصال منطقي "إذا ... ثم ..." (رمز® ). على سبيل المثال: "إذا كانت الكلمة في بداية الجملة ، فيتم كتابتها بحرف كبير". الحكم الأول (السابق) - "الكلمة تقف في بداية الجملة" يسمى السابق ، والثاني (لاحق) - "هو مكتوب بحرف كبير" - يترتب على ذلك. صيغة هذا الحكم أ® ب. المعنى الضمني صحيح في جميع الحالات ، باستثناء حالة واحدة: عندما تكون السابقة صحيحة والنتيجة خاطئة.
مقابل- هذه أحكام معقدة تتكون من حكمين بسيطين ، متصلين بواسطة اعتماد شرطي مزدوج (مباشر وعكسي) ، معبر عنه بالرابط " إذا وفقط إذا… ثم… ”(الرمز º). على سبيل المثال: "إذا كان الرقم قابلاً للقسمة على اثنين ، فهو رقم زوجي." صيغة هذا الحكم أ º ب يكون التكافؤ صحيحًا إذا كانت كلتا العبارتين البسيطتين صحيحة أو خاطئة.
نهاية العمل -
هذا الموضوع ينتمي إلى القسم:
حالة مؤسسة تعليمية... أعلى التعليم المهني... جامعة ولاية قازان ...
اذا احتجت مواد اضافيةحول هذا الموضوع ، أو لم تجد ما كنت تبحث عنه ، نوصي باستخدام البحث في قاعدة بيانات الأعمال لدينا:
إذا كانت هذه المادة مفيدة لك ، فيمكنك حفظها في صفحتك على الشبكات الاجتماعية:
| سقسقة |
1. موضوع المنطق ومعنى
المنطق هو علم الأشكال التفكير الصحيحوالقوانين التي تطيعها. كلمة "منطق" تأتي من الكلمة اليونانية "لوغوس" ، والتي
تاريخ المنطق كعلم
لقد بدأت بالفعل في تطوير مشاكل المنطق من قبل مفكري الهند القديمة و الصين القديمةولكن أصل المنطق كعلم مرتبط باسم الفيلسوف القديم أرسطو
II. مفهوم
المفهوم هو شكل من أشكال التفكير الذي يعكس الأشياء في الميزات الأساسية... كشكل من أشكال الفكر ، يؤدي المفهوم مهمتين: 1) يميز الأشياء التي تهمنا
أنواع المفاهيم
يمكن تصنيف المفاهيم حسب النطاق والمحتوى. حسب الحجم ، تنقسم المفاهيم إلى مفرد ، عام وفارغ ؛ حسب المحتوى - لمحددة و
العلاقات بين المفاهيم
من حيث المحتوى ، تنقسم المفاهيم إلى قابلة للمقارنة ولا تضاهى. يمكن مقارنة المفاهيم التي لها بعض الميزات المشتركة التي تسمح بالمقارنة
العلاقات بين المفاهيم
المفاهيم حسب المحتوى
قواعد التعريف الصريح
يجب ألا يكون التعريف صحيحًا في المحتوى فحسب ، بل يجب أيضًا أن يكون صحيحًا في الشكل. عند التحديد من خلال اختلاف الجنس والأنواع ، هناك أخطاء نموذجية ، من الضروري مراقبتها لمنعها
تعميم وتحديد المفاهيم.
التعميم هو عملية منطقيةالانتقال من مفهوم ذي حجم أصغر ومحتوى أكبر إلى مفهوم بحجم أكبر ومحتوى أقل ، أي من وجهة نظر
ثالثا. حكم
الحكم هو شكل من أشكال التفكير الذي يتم فيه تأكيد أو رفض العلاقة بين الشيء وسمته أو العلاقة بين الأشياء والتي لها علاقة
حكم قاطع بسيط
تكوين حكم قاطع بسيط: الموضوع (S) - مفهوم موضوع الحكم ، المسند المنطقي للموضوع (P) -
أنواع الأحكام القاطعة البسيطة
تنقسم الأحكام الإسناد إلى أنواع حسب الجودة والكمية. حسب الجودة ، يتم تقسيمهم إلى إيجابي و
شكل من الأحكام القاطعة
نوع الحكم صيغة الحكم بالإيجاب بشكل عام - الكل S هو P (S a P)
توزيع المصطلحات في الأحكام القاطعة
يجوز أو لا يجوز توزيع المصطلح في الحكم. يعتبر المصطلح موزعًا إذا تم استخدامه كليا، بمعنى آخر. إذا كان حجمه ممتلئًا
العلاقات بين الأحكام البسيطة
تنقسم الأحكام الفئوية البسيطة إلى قابلة للمقارنة ولا تضاهى. لا مثيل لها هي الأحكام التي لها فرعية مختلفة
طريقة الأحكام
يتم التعبير عن الطريقة بشكل صريح أو ضمني في الحكم معلومة اضافيةحول الوضع المنطقي أو الواقعي للحكم ، حول الخصائص المقدرة والزمانية وغيرها
رابعا. القوانين الأساسية المنطقية
قانون التفكير هو ارتباط أساسي ضروري للأفكار في عملية التفكير. في المنطق الرسمي ، يتم تمييز أربعة قوانين أساسية تعبر عن الخصائص الأساسية للتفكير المنطقي -
خامسا - الخلاصة
الاستدلال هو شكل من أشكال التفكير يتم فيه الحصول على حكم جديد من خلال حكم واحد أو أكثر ، بناءً على قواعد الاستدلال ، والذي يتبع مع الحاجة أو
المنطق الاستنتاجي
اعتمادًا على عدد المباني ، يتم تقسيم الاستدلالات الاستنتاجية إلى مباشرة وغير مباشرة. الاستدلالات المباشرة
S ليس -P
جميع أنواع الأحكام قابلة للتغيير. ينتقل الحكم A إلى E: كل S هي P → لا شيء S ليست P ("جميع الطيور فقاريات على قيد الحياة
P هي S.
عند الاتصال ، لا تتغير جودة الطرد ، ولكن يمكن أن تتغير الكمية. يتبع الاستئناف القاعدة: لا يمكن توزيع المصطلح الذي لم يتم توزيعه في المقدمة في الاستنتاج. Esl
بعض غير Ps ليسوا S.
على سبيل المثال: "لا يوجد حوت سمكة" → "بعض غير الأسماك حيتان". يتحول الحكم O إلى حكم I بعض S ليسوا P
المنطق الاستنتاجي غير المباشر
القياس المنطقي القاطع البسيط هو استنتاج استنتاجي غير مباشر ، حيث يرتبط حكمان فئويان حقيقيان بالمتوسط m
القواعد العامة للقياس المنطقي
للحصول على استنتاج حقيقي من المقدمات الحقيقية ، من الضروري اتباع قواعد القياس المنطقي. هناك سبع قواعد: ثلاثة منها تشير إلى المصطلحات وأربع إلى المباني. قواعد الشروط
قواعد الطرود.
القاعدة الأولى: الاستنتاج لا ينبع بالضرورة من فرضيتين سلبيتين. على سبيل المثال: الزهور الحمراء الزاهية عديمة الرائحة هذه الزهرة عديمة الرائحة.
أشكال وأنماط القياس المنطقي الفئوي
الأرقام هي أنواع مختلفة من القياس المنطقي تختلف في موقع المدى المتوسط في المبنى. يحتوي القياس المنطقي القاطع على أربعة أرقام.
Enthymeme
Antimeme (في العقل ، في الأفكار) هو قياس منطقي مختصر حيث يكون أحد المباني مفقودًا ، عادةً ما يكون كبيرًا أو نتيجة. إيجاز النموذج مشروط
ورطة
تسمى المعضلة استدلال القسمة المشروطة ، حيث يتكون أحدهما من حكمين مشروطين ، والآخر حكم تقسيم يحتوي على بديلين.
الاستدلال الاستقرائي
الاستقراء هو الاستدلال ، حيث ينتقل الفكر من المعرفة الخاصة إلى المعرفة العامة. الأساس الموضوعي للاستقراء هو الديالكتيك
الاستقراء الكامل
للاستقراء الكامل ، من الضروري دراسة جميع عناصر فئة الكائنات وتحديد انتماء السمة المدروسة لكل منها. الاستدلال الاستقرائي
الحث غير الكامل
يُطلق على الاستقراء غير الكامل الاستدلال على فئة الكائنات بأكملها ككل ، بناءً على دراسة جزء فقط من كائنات هذه الفئة. صيغة التعريفي غير المكتملة:
الأخطاء الأساسية في الاستدلال الاستقرائي
الأكثر شيوعًا هي: أ) تحديد التسلسل السببي والزمني للظواهر و ب) "التعميم المتسرع". محدد
تشبيه
التشابه (من التناظر اليوناني - المراسلات ، التشابه) هو استنتاج ، من خلال تشابه الكائنات في بعض الميزات ، يتم اشتقاق تشابهها في الميزات الأخرى.
أنواع القياس
أنواع القياس حسب طبيعة تشابه الأشياء. اعتمادًا على نوع التشابه المنطقي الذي نتحدث عنه - في خصائص الأشياء أو في العلاقة بين الكائن نفسه
السادس. دليل
البرهان هو شكل من أشكال التفكير الذي من خلاله ، على أساس حقيقة بعض المعرفة ، يتم الكشف عن حقيقة أو زيف البعض الآخر. الاحتمال الموضوعي للإثبات
أخطاء في الإثبات
أخطاء تتعلق بالأطروحة. الأكثر شيوعًا و أخطاء نموذجيةهي: أ) "استبدال الأطروحة" و ب) "الانتقال إلى أطروحة أخرى
السادس. الاختبارات المنطقية
1. شكل التفكير هو أ) تطابق الفكر مع الواقع ب) طريقة ربط عناصر الفكر وبنيته ج) ارتباط ضروري وأساسي للأفكار في عملية التفكير
وزارة التعليم والعلوم في الاتحاد الروسي
الوكالة الاتحادية للتعليم
سان بطرسبرج جامعة الدولةالخدمة والاقتصاد
معهد القانون
الانضباط: المنطق
في الموضوع: أحكام معقدة
سان بطرسبرج
مفهوم الحكم البسيط
حكم- شكل من أشكال التفكير يتم من خلاله تأكيد شيء ما أو رفضه بشأن موضوع (موقف) وله المعنى المنطقي للحقيقة أو الزيف. هذا التعريفيميز حكمًا بسيطًا.
إن وجود تأكيد أو رفض للوضع الموصوف يميز الحكم عن المفاهيم .
من السمات المميزة للحكم من وجهة نظر منطقية أنه - بتكوينه الصحيح منطقيًا - دائمًا ما يكون صحيحًا أو خاطئًا. وهذا مرتبط بالتحديد بالحضور في الحكم لتأكيد أو إنكار شيء ما. المفهوم ، الذي ، على عكس الحكم ، يحتوي فقط على وصف للأشياء والمواقف بهدف عزلها ذهنيًا ، ليس له خصائص الحقيقة.
يجب تمييز الحكم عن الاقتراح أيضًا. صدفة سليمة للحكم - جملة او حكم على... دائمًا ما يكون الحكم اقتراحًا ، ولكن ليس العكس. يتم التعبير عن الحكم في جملة تصريحية يتم فيها تأكيد شيء ما أو رفضه أو توصيله. وبالتالي ، فإن الجمل الاستفهام والضرورية والإلزامية ليست أحكامًا. هياكل الحكم والحكم ليست هي نفسها. النظام النحوينفس الجملة تختلف في لغات مختلفة، بينما البنية المنطقية للحكم هي دائمًا واحدة لجميع الشعوب.
يجب أيضًا ملاحظة العلاقة بين الحكم والكلام. الكلامهو بيان أو الجملة التقريريةوالتي يمكن القول أنها صحيحة أو خاطئة. وبعبارة أخرى ، فإن العبارة القائلة بأن العبارة خاطئة أو صحيحة يجب أن تكون منطقية. الحكم هو محتوى أي بيان. اقتراحات مثل "N هو أولي"، لا يمكن اعتباره بيانًا ، حيث لا يمكن للمرء أن يقول عنه سواء كان صحيحًا أم خطأ. اعتمادًا على المحتوى الذي سيحتوي عليه المتغير "n" ، يمكنك تعيين قيمته المنطقية. تسمى هذه التعبيرات المتغيرات المقترحة.يشار إلى البيان بأي حرف واحد من الأبجدية اللاتينية. تعتبر وحدة لا يمكن التخلص منها. هذا يعني أنه لا توجد وحدة هيكلية فيها كجزء منها. مثل هذا البيان يسمى ذري (ابتدائي)ويتوافق مع اقتراح بسيط. من عبارتين ذريتين أو أكثر عن طريق العوامل المنطقية (الوصلات) ، يتم تكوين بيان مركب أو جزيئي. على عكس البيان ، فإن الحكم هو وحدة ملموسة للذات والموضوع ، متصلين بالمعنى.
أمثلة على الأحكام والأقوال:
بيان بسيط - أ ؛ حكم بسيط - "S هو (ليس) P".
بيان معقد - A → B ؛ حكم صعب - "إذا كانت S1 هي P1 ، فإن S2 هي P2".
تكوين حكم بسيط
في المنطق التقليدي ، تقسيم الحكم إلى الموضوع والمسند والضام.
الموضوع جزء من الحكم الذي يتم فيه التعبير عن موضوع الفكر.
المسند هو جزء من حكم يتم فيه تأكيد أو رفض شيء حول موضوع الفكر. على سبيل المثال ، في الحكم "الأرض كوكب النظام الشمسي"الموضوع هو "الأرض" ، المسند "الكوكب النظام الشمسي". من السهل أن نرى أن الموضوع المنطقي والمسند لا يتطابقان مع النحوية ، أي مع الموضوع والمسند.
معًا ، يتم استدعاء الموضوع والمسند شروط الحكمويُشار إليها بالرموز اللاتينية S و P. على التوالي.
بالإضافة إلى الشروط ، يحتوي الحكم على حزمة. كقاعدة عامة ، يتم التعبير عن الرابط بكلمات "هو" ، "جوهر" ، "هو" ، "يكون". في المثال الموضح ، تم حذفه.
مفهوم الحكم المعقد
حكم صعب- حكم يتكون من أحكام بسيطة عن طريق الاقتران المنطقي للاقتران والفصل والتضمين والتكافؤ.
الاتحاد المنطقيهي طريقة لربط الأحكام البسيطة بأخرى معقدة ، حيث يتم تحديد القيمة المنطقية للأخيرة وفقًا للقيم المنطقية للأحكام البسيطة المكونة لها.
خصوصية الأحكام المعقدة هي أن معناها المنطقي (الحقيقة أو الزيف) لا يتحدد من خلال الارتباط الدلالي للأحكام البسيطة التي تشكل المعقد ، ولكن من خلال عاملين:
1) المعنى المنطقي للأحكام البسيطة المدرجة في المجمع ؛
2) طبيعة الرابط المنطقي الذي يربط الأحكام البسيطة ؛
المنطق الرسمي الحديث يصرف الانتباه عن العلاقة الهادفة بين الأحكام البسيطة وبيانات التحليل التي قد يكون فيها هذا الارتباط غائبًا. على سبيل المثال، "إذا كان مربع الوتر يساوي مجموع مربعات الساقين ، فهناك نباتات أعلى على الشمس."
يتم تحديد القيمة المنطقية للحكم المعقد باستخدام جداول الحقيقة. يتم إنشاء جداول الحقيقة على النحو التالي: عند الإدخال ، يتم كتابة جميع المجموعات الممكنة من القيم المنطقية للأحكام البسيطة ، والتي تشكل حكمًا معقدًا. يمكن حساب عدد هذه التركيبات بالصيغة: 2n ، حيث n هو عدد الأحكام البسيطة التي تشكل حكمًا معقدًا. عند الإخراج ، يتم كتابة قيمة الحكم المعقد.
من بين أمور أخرى ، يتم تقسيم الأحكام إلى قابلة للمقارنةوجود موضوع مشترك أو المسند و لا يضاهىالتي ليس لها أي قواسم مشتركة مع بعضها البعض. في المقابل ، يتم تقسيم العناصر المماثلة على متناسق، يعبر عن نفس الفكر كليًا أو جزئيًا ، غير متوافقإذا كانت حقيقة أحدهما تعني بالضرورة زيف الآخر (عند مقارنة مثل هذه الأحكام ، يتم انتهاك قانون التناسق). يتم عرض علاقة الحقيقة بين الأحكام التي يمكن مقارنتها عبر الموضوعات من خلال مربع منطقي.
يشكل المربع المنطقي أساس جميع الاستدلالات وهو مزيج من الرموز A ، I ، E ، O مما يعني نوعًا معينًا من العبارات الفئوية.
أ - الإيجابي بشكل عام: كل S هي P .
I - إيجابي جزئيًا: بواسطة على الاكثربعض S هي P .
هـ - سلبي بشكل عام: كل (لا شيء) S هي P.
O - سلبي جزئيًا: على الأقل بعض S ليسوا P.
من بين هؤلاء ، يكون الإيجابي والسلبي بشكل عام تابعين ، والإيجاب الجزئي والسلبي الجزئي تابعان.
الحكمان "أ" و "هـ" متعارضان ؛
أنا و O متعاكسان ؛
الأحكام القطرية متناقضة.
الأحكام المتناقضة والمتعارضة لا يمكن أن تكون صحيحة في نفس الوقت بأي حال من الأحوال. قد تكون الأحكام المعارضة صحيحة أو لا تكون صحيحة في نفس الوقت ، ولكن يجب أن يكون أحدها على الأقل صحيحًا.
يعمم قانون العبور المربع المنطقي ، ويصبح أساسًا لجميع الاستدلالات المباشرة ويحدد أنه ، من حقيقة الأحكام الثانوية ، يتبع منطقيًا حقيقة أحكام مرؤوسيهم وزيف الأحكام التابعة المعاكسة.
الوصلات المنطقية. حكم جماعي
حكم جماعي- حكم يكون صحيحًا فقط إذا كانت جميع الأحكام الواردة فيه صحيحة.
يتم تشكيلها عن طريق اقتران منطقي لعطف ، يتم التعبير عنه بواسطة الاتحادات النحوية "و" ، "نعم" ، "ولكن" ، "ومع ذلك". على سبيل المثال، "يضيء ، لكنه لا يسخن."
يُشار إليه رمزياً على النحو التالي: А˄В ، حيث A ، B متغيرات تدل على أحكام بسيطة ، هي تعبير رمزي عن الاتحاد المنطقي للارتباط.
تعريف الاقتران يتوافق مع جدول الحقيقة:
| لكن | في | لكن ˄ في |
| و | و | و |
| و | إل | إل |
| إل | و | إل |
| إل | إل | إل |
الأحكام المنفصلة
هناك نوعان من الأحكام المنفصلة: الفصل الصارم (الحصري) والفصل غير الصارم (غير الحصري).
الفصل الصارم (الحصري)- حكم معقد يأخذ المعنى المنطقي للحقيقة إذا وفقط إذا كان أحد الأحكام الواردة فيه صحيحًا ، أو "يكون خاطئًا عندما تكون كلتا العبارتين خاطئتين". على سبيل المثال، "هذا الرقم هو إما مضاعف أو ليس من مضاعفات الخمسة."
يتم التعبير عن الاتحاد المنطقي للانفصال من خلال الاتحاد النحوي "إما ... أو".
يتم كتابة AVB بشكل رمزي.
تتوافق القيمة المنطقية للفصل الصارم مع جدول الحقيقة:
| لكن | في | لكن ˅ في |
| و | و | إل |
| و | إل | و |
| إل | و | و |
| إل | إل | إل |
الانفصال غير الصارم (غير الحصري)- حكم معقد يأخذ المعنى المنطقي للحقيقة فقط إذا كان واحدًا على الأقل (وربما أكثر) من الأحكام البسيطة المدرجة في المجمع صحيحًا. على سبيل المثال، "يمكن للكتاب أن يكونوا إما شعراء أو كتاب نثر (أو كليهما في نفس الوقت)" .
يتم التعبير عن الانفصال المفكك من خلال الاتحاد النحوي "أو ... أو" بمعنى فصل متصل.
مكتوبة بشكل رمزي ˅ ب. الانفصال السائب يتوافق مع جدول الحقيقة:
| لكن | في | لكن ˅ في |
| و | و | و |
| و | إل | و |
| إل | و | و |
| إل | إل | إل |
أحكام ضمنية (مشروطة)
يتضمن- حكم معقد يأخذ المعنى المنطقي للزيف إذا وفقط إذا كان الحكم السابق ( سالف) صحيحًا ، وما يليه ( يترتب على ذلك) هو زائف.
في اللغة الطبيعية ، يتم التعبير عن المعنى الضمني من خلال أداة العطف "إذا ... ، ثم" بمعنى "ربما ، هذا A وليس B". على سبيل المثال، "إذا كان الرقم قابلاً للقسمة على 9 ، فإنه يقبل القسمة على 3."
رمزيا ، المعنى مكتوب A → B (إذا كان A ، ثم B).
يتم تقديم القيمة المنطقية في جدول الحقيقة:
| لكن | في | لكن → في |
| و | و | و |
| و | إل | إل |
| إل | و | و |
| إل | إل | و |
يُظهر تحليل خصائص التضمين أن حقيقة السالف هي شرط كافالحقيقة تبعية ، لكن ليس العكس. يكفي لظاهرة معينة مثل هذه الحالة ، والتي سيؤدي وجودها بالتأكيد إلى حدوث هذه الظاهرة. على سبيل المثال، "كن شجرة البتولا"شرط كافٍ لإدراجه في فئة الأشجار ، حيث أن جميع البتولا عبارة عن أشجار وليس البتولا شجرة.
في الوقت نفسه ، فإن الحقيقة تبعية. شرط ضروري حقيقة سابقة ، لكنها غير كافية. يعتبر الشرط ضروريًا لظاهرة لا تحدث (ظاهرة) بدونها. على سبيل المثال ، يتم تضمين فئة البتولا في فئة الشجرة ، ولكنها لا تساويها. هناك أشجار ليست من البتولا. ومع ذلك ، فإن الشرط "كن شجرة"لأن البتولا أمر لا بد منه ، لأن جميع البتولا عبارة عن أشجار.
مفارقات التضمين المادي
يشير هذا إلى التناقض الدلالي بين عملية تضمين المواد وصيغتها الرمزية: A → B. وفقًا للتضمين المادي ، حقيقة A ، لكي تكون الصيغة A → B صحيحة ، من الضروري أن يكون B أيضًا صحيحًا. في هذه الحالة يأتيحول الفهم الهادف لخطأ وصدق البيان. ومع ذلك ، فإن الصيغة A → B صحيحة ليس فقط في الحالة المشار إليها ، ولكن أيضًا عندما يكون A خطأ ، و B صحيحًا ، وعندما يكون كلاهما خطأ. من هذه الحقيقة يتبع مفارقة التضمين المادي: أي بيان يتبع من بيان خاطئ ، أي شيء تريده ، ويتبع بيان صحيح من أي بيان.
أحكام معادلة
التكافؤ- حكم معقد يأخذ القيمة المنطقية للحقيقة فقط إذا كان للأحكام الواردة فيه نفس المعنى المنطقي ، أي أنها إما صحيحة أو خاطئة في نفس الوقت.
يتم التعبير عن الاتحاد المنطقي للتكافؤ من خلال الاتحادات النحوية "إذا وفقط إذا" و "إذا وفقط إذا". على سبيل المثال، "إذا وفقط إذا كان المثلث متساوي الأضلاع ، فإنه يكون مطابقًا أيضًا."
المعادلة مكتوبة بشكل رمزي لكن « فيأو لكن º في("إذا وفقط إذا لكن، ثم ب ").
تتوافق القيمة المنطقية للتكافؤ مع جدول الحقيقة:
يعبر الحكم المكافئ مع المصطلحات ذات الصلة عن شرط كاف وشرط ضروري: (A → B) ˄ (B → A).
يمكن إثبات تكافؤ التعبيرات (A "B) و (A → B) ˄ (B → A) باستخدام جدول الحقيقة.
النفي
النفيهي عملية منطقية ، بمساعدة يتم الحصول على واحدة جديدة من بيان واحد ، بينما يتحول الحكم البسيط P إلى حكم معقد ، وإذا كان الحكم البسيط الأصلي صحيحًا ، فإن الحكم المعقد الجديد خاطئ - "إنه كذلك ليس صحيحًا أن P "أو" العبارة A خطأ عندما تكون العبارة A¯ صحيحة "
مرتين لاهي عملية لرفض الحكم السلبي. يؤدي النفي المتكرر إلى تأكيد أو ، بخلاف ذلك ، إنكار النفي يعادل التأكيد: А → А˭ - "إذا كان A ، فليس صحيحًا أن not-A" أو А - "ليس صحيحًا أن ليس أ ، إذا وفقط إذا كان ما أ ".
التعبير عن بعض الوصلات المنطقية عن طريق البعض الآخر
تعتبر أعلاه النقابات المنطقيةقابلة للتبادل والتعبير عن طريق الآخرين. على سبيل المثال:
А → В = А˅В - التضمين من خلال الانفصال
А → В = В → А - التضمين من خلال التضمين
А → q = А˄ В - التضمين من خلال الاقتران
А˅В = А˄ В - الانفصال من خلال الاقتران
А˄В = А˅ В - اقتران من خلال الانفصال
جداول الحقيقة
جدول الحقيقةهو الجدول الذي يؤسس المراسلات بين الجميع مجموعات ممكنةالمتغيرات المنطقية المضمنة في الوظيفة المنطقية ، وقيم الوظيفة.
تستخدم جداول الحقيقة على نطاق واسع ل
حسابات الحقيقة تصريحات صعبة;
· إثبات تكافؤ البيانات.
· تعريفات الحشو.
الصيغ المكافئة للمنطق الافتراضي- هذه عبارات تأخذ نفس قيمة الحقيقة لنفس قيم العبارات الأولية المدرجة في هذه النماذج. على سبيل المثال ، A → B ، B¯ → A¯
صيغة صحيحة متطابقة (حشو)هي صيغة تأخذ قيم الحقيقة لجميع قيم العبارات الأولية المضمنة فيها
صيغة خاطئة مطابقة (تناقض)- صيغة تأخذ معنى الكذب بالنسبة لجميع معاني العبارات الأولية الواردة فيها.
(A¯˅ B) → (A˄B)
قائمة الأدب المستخدم
1.M.D. كوباراشفيلي ، أ.ف. Nekhaev و V.I. رازوموف ، ن. Chernyak “منطق. درس تعليمي"، أومسك ، 2005.
2. السلس A.V. "مقدمة في المنطق الحديث" ، ICMNS ، 2001.
3. شيلبانوف جي. "كتاب المنطق" ، موسكو ، 1897.
الحكم المعقد هو حكم يتكون من عدة أحكام بسيطة مرتبطة بوصلات منطقية. هناك الأنواع التالية من الأحكام المعقدة: 1) التوصيل ، 2) الفصل ، 3) الشرطي | ناي ، 4) ما يعادلها. يتم تحديد حقيقة مثل هذه الأحكام المعقدة من خلال حقيقة الأحكام البسيطة التي تتكون منها.1. ربط الأحكام (المرتبطة) ، ي
الضام ، أو الضمي ، هو حكم بـ "يتكون من عدة أحكام بسيطة متصلة بواسطة رابط منطقي" و ". على سبيل المثال ، الحكم" السرقة والاحتيال يشيران إلى جرائم متعمدة "هو حكم متصل ، ويتألف من حكمين بسيطين:" السرقة تشير إلى الجرائم المتعمدة "،" الاحتيال يشير إلى الجرائم المتعمدة ". إذا كان الأول يشير إلى p ، والثاني - q ، ثم الاتصال ؛
يمكن التعبير عن الحكم بشكل رمزي كـ p l q ، حيث p و q هما المصطلحان. ^ من الاقتران (أو العطف) ، l هو رمز الاقتران.
|في اللغة الطبيعية ، يمكن أيضًا تمثيل الرباط المربوط بتعبيرات مثل: "أ" ، "ولكن" ، "أيضًا" ، "مثل" ، 1 "على الرغم من" ، "مع ذلك" ، "على الرغم من" ، "في نفس الوقت الوقت "وغيرها. على سبيل المثال: “عندما تحدد المحكمة حجم موضوع التعويض - | لا يجب الا يؤخذ الضرر بالاعتبار الخسائر المتكبدة! (ع) ، ولكن أيضًا تلك الحالة المحددة التي تُعزى فيها الخسائر. تم إصلاحه (ف) ، وكذلك الوضع المالي للموظف (ز) ". سيم- ، | اختياريًا ، يمكن التعبير عن هذا الحكم على النحو التالي: p l q l g.
يمكن أن يكون الحكم المتصل إما من جزأين أو متعدد الأجزاء ؛ في تدوين رمزي: p l q l g l ... l n. لنقدم مثالاً على حكم متصل يتضمن أكثر من 20 ارتباطًا:
"تندفع العربة عبر المطبات ، الأكشاك ، النساء ، الأولاد ، المحلات التجارية ، الفوانيس ، القصور ، الحدائق ، الأديرة ، البخاريين ، الزلاجات ، حدائق الخضروات ، التجار ، الأكواخ ، الرجال ، الجادات ، الأبراج ، القوزاق ، الصيدليات ، محلات الأزياء ، الشرفات ، تمر الأسود على البوابات وقطعان الغربان على الصلبان ".
(أ.س.بوشكين)
في اللغة ، يمكن التعبير عن الحكم المتصل في واحدة من ثلاثة تراكيب منطقية نحوية.
1. يتم تمثيل الرباط الرابط في موضوع معقد وفقًا للمخطط: Si و S2 هما P. على سبيل المثال: "مصادرة الممتلكات والحرمان من المرتبة هي عقوبات جنائية إضافية".
2) يتم تمثيل الحزمة في مسند معقد وفقًا للمخطط: S هي Pi و Pi. على سبيل المثال: "الجريمة عمل خطير اجتماعياً وغير قانوني".
3) يتم تمثيل الرابطة من خلال مجموعة من الطريقتين الأوليين وفقًا للمخطط: Si و Si هما Pi و P2. على سبيل المثال: "مع رئيس الشرطة والمدعي العام ، كان نوزدريوف أيضًا على" أنت "ويعامل بطريقة ودية" (N.V. Gogol). p q pAq و I. I و L L l I L l L L
يكون الحكم الموصل صحيحًا إذا كانت جميع الروابط المكونة له صحيحة وكاذبة إذا كان أحدها على الأقل خاطئًا. يوضح الجدول (الشكل 31) شروط صحة قانون الحكم ، حيث يتم الإشارة إلى الحقيقة بواسطة I ، والخطأ - L. في العمودين الأولين من الجدول ، يتم اعتبار p و q مستقلين وبالتالي خذ جميع التركيبات الممكنة للقيم I و L: II ، IL ، LEE ، LL. يُظهر العمود الثالث قيمة الحكم p l q. من بين الخيارات الأربعة سطرًا بسطر ، يكون هذا صحيحًا فقط في السطر الأول ، عندما يكون كل من العطف صحيحًا: p و q. في جميع الحالات الأخرى للأرز 31 خطأ: في الحالة الثانية
والخط الثالث بسبب زيف أحد الأعضاء ، وفي السطر الرابع بسبب زيف كلا العضوين.
2. فصل (فصل) الأحكام.
يُطلق على الفصل ، أو الفصل ، حكمًا ، وهو واحد من عدة أحكام بسيطة ، متصلة بواسطة رابط منطقي "أو". على سبيل المثال ، الحكم "يمكن إبرام عقد البيع شفويا أو جاري الكتابة"منقسم.؟ يتكون حكم nym من حكمين بسيطين: "اتفاقية شراء ؛
يمكن إبرامها شفويا "؛ اتفاقية بيع وشراء؟ قد تختتم كتابة ".
إذا تم الإشارة إلى الأول بواسطة p ، والثاني بالرمز q ، فإن الحكم الانفصالي يكون رمزيًا! يمكن التعبير عنها كـ р v q ، حيث р و q هي شروط الانفصال (الانفصال) ، v هي رمز الانفصال.يمكن أن يكون حكم التقسيم من مجموعتين ومتعددة: p v q v ... v p.
في اللغة ، يمكن التعبير عن الحكم الانفصالي على أنه واحد 1 | من ثلاثة تراكيب منطقية نحوية. ؛
1) يتم تمثيل الرباط الفاصل في موضوع معقد n2) يتم تقديم الرباط الفاصل في مسند معقد n3) يتم تمثيل الرباط الفاصل بمزيج من أول طريقتين وفقًا للمخطط: Si أو S2 هو PI أو P2. على سبيل المثال: “Link or! يمكن تطبيق الطرد باعتباره | أساسيًا أو إضافيًا
نوح عقوبات ". |
انفصال فضفاض وصارم. نظرًا لأن أداة العطف "أو" مبسطة في اللغة الطبيعية في معنيين - الفاصل المتصل والفصل الحصري ، يجب التمييز بين نوعين من الأحكام المنفصلة: 1) اقتران غير صارم (ضعيف) و 2) ارتباط صارم ( قوي) الانفصال.
1) الانفصال الناعم هو الحكم الذي يستخدم فيه الرابط "أو يستخدم بمعنى الفصل والربط (si" (ox v). على سبيل المثال: "الأسلحة الباردة يمكن أن تكون خارقة للقطع" رمزياً pv q. الرابط "أو "في هذه الحالة ، تنقسم F ، لأن مثل هذه الأنواع من الأسلحة موجودة بشكل منفصل ، وتوحد ، لأن هناك سلاحًا يخترق ويقطع
يتم عرض شروط حقيقة الانفصال السائب في وجه تي (الشكل 32). سيكون الحكم p v q صحيحًا إذا كان XG صحيحًا إذا كان أحد أعضاء الفصل (خطوط 1 ، 2 ، 3-rd - ИИ ، ИЛ ، Л!
R q pvq أنا أنا أنا أنا أنا أنا أنا أنا أنا
سيكون الانفصال خاطئًا إذا كان كلا أعضائه خاطئين (السطر الرابع - LL).
2) الفصل الصارم هو حكم يتم فيه استخدام حرف العطف "أو" بمعنى منفصل (رمز؟). على سبيل المثال: "يمكن أن يكون الفعل متعمدًا أو مهملاً" ، رمزياً ص؟ ف.
لا يمكن أن يكون أعضاء الانفصال الصارم ، الذين يطلق عليهم البدائل ، صحيحين في نفس الوقت. إذا تم ارتكاب الفعل عمداً فلا يمكن اعتباره إهمالاً ، وعلى العكس من ذلك ، لا يمكن تصنيف الفعل المرتكب عن طريق الإهمال على أنه متعمد. p q P ^ q u و L و l أنا و أنا l l
يتم عرض شروط حقيقة الانفصال الصارم في الجدول (الشكل 33). حكم ص؟ سيكون q صحيحًا إذا كان أحدهما صحيحًا والآخر خطأ (الخطان الثاني والثالث من IL ، LI) ؛ سيكون خطأ إذا كان كلا المصطلحين صحيحين (الصف الأول - AI) أو كلاهما خطأ (الصف الرابع - LL). وبالتالي ، فإن حكم الانفصال الصارم سيكون صحيحًا إذا كان أحد البدائل صحيحًا وخطأ - سواء إذا كانت البدائل خاطئة وصحيحة.
عادة ما يتم التعبير عن الرباط الفاصل في اللغة باستخدام أدوات الربط "أو" ، أو ". من أجل تقوية الفصل إلى معنى بديل ، غالبًا ما يتم استخدام أدوات الاقتران المزدوجة: بدلاً من التعبير "p أو q" يستخدمون "إما p أو q" ، ومعا "p أو q" - "إما p أو q". نظرًا لعدم وجود اقتران واضح في قواعد اللغة لفصل فضفاض وصارم ، يجب حل مسألة نوع الانفصال في النصوص القانونية وغيرها من خلال تحليل هادف للأحكام ذات الصلة.
في السياقات القانونية والسياسية وغيرها ، يُستخدم الانفصال للكشف عن محتوى ونطاق المفاهيم ، لوصف أنواع الجرائم أو العقوبات ، لوصف الجرم الجنائي والجرائم المدنية.
الفصل الكامل وغير الكامل. من بين الأحكام المنفصلة ، يجب على المرء أن يميز بين الانفصال الكامل وغير الكامل.
يُطلق على الحكم المنفصل اسم كامل أو مغلق ، حيث يتم سرد جميع العلامات أو جميع أنواع جنس معين.
من الناحية الرمزية ، يمكن كتابة هذا الحكم بالطريقة التالية ". على سبيل المثال: "الغابات متساقطة الأوراق ، وطميها الصنوبري" مختلط ". اكتمال هذا التقسيم (في التدوين الرمزي ^ يُرمز إليه بـ<...>) من خلال حقيقة أنه بصرف النظر عن المشار إليه ، لا توجد أنواع أخرى من الغابات. |
يسمى غير المكتمل أو المفتوح حكمًا منفصلاً - حيث لا يتم سرد جميع العلامات أو جميع أنواع جنس معين. في تدوين رمزي ، يمكن أن يكون عدم اكتمال الفصل! يتم التعبير عنها بالنقاط: p v qv r v ... في اللغة الطبيعية ، لا | يتم التعبير عن اكتمال الانفصال بالكلمات ؛ "إلخ" ، و "آخرون" ، و "مثل" و "الآخرين" وغيرها.
3. الأحكام المشروطة (الضمنية).
يسمى الحكم الشرطي أو الضمني حكمًا يتكون من حكمين بسيطين متصلين بواسطة رابط منطقي "إذا .. ، إذن ..." على سبيل المثال: "إذا انصهر المصهر ، ينطفئ المصباح الكهربائي - | ليس". الاقتراح الأول - "المصهر يذوب" يسمى "tecedent (السابق) ، والثاني -" المصباح الكهربائي ينطفئ "- النتيجة (اللاحقة). إذا تم الإشارة إلى السابقة بواسطة p ، فإن النتيجة - q ، و ربط "إذا ... ، ثم ..." "->" ، فيمكن التعبير عن الحكم الضمني بشكل رمزي كـ p-> q:
يوضح الجدول شروط حقيقة الحكم الضمني (الشكل 34). المعنى الضمني صحيح في جميع الحالات ، باستثناء حالة واحدة: P q p- »q و И И И и Л Л Л И И ЛЛ И
إذا كانت السابقة صحيحة والنتيجة خاطئة (السطر الثاني) ، فسيكون المعنى دائمًا خاطئًا ، i الجمع بين السوابق الحقيقية ، على سبيل المثال ، "المصهر يذوب" والنتيجة الخاطئة - "المصباح لا يذهب الخروج "- هو مؤشر على الباطل الضمني. أنا
يتم شرح حقيقة التضمين على النحو التالي. في السطر الأول ^ ، تشير حقيقة p إلى
حقيقة q ، أو بعبارة أخرى: حقيقة السابق كافية لإدراك حقيقة النتيجة. في الواقع ، إذا انصهر المصهر ، فإن المصباح سينطفئ بالتأكيد بسبب تضمينه المتسلسل في الدائرة الكهربائية.
في السطر الثالث ، مع سابقة خاطئة - "المصهر لا يذوب" ، والنتيجة صحيحة - "المصباح الكهربائي ينطفئ". الوضع مقبول تمامًا ، لأن المصهر قد لا يذوب ، وقد ينطفئ المصباح لأسباب أخرى - نقص التيار في الدائرة ، نضوب الخيط في المصباح ، ماس كهربائى
الأسلاك الكهربائية ، إلخ. وبالتالي ، فإن حقيقة q عندما تكون p خطأ لا تدحض فكرة وجود علاقة شرطية بينهما ، لأنه إذا كانت p صحيحة ، فستكون q دائمًا صحيحة.
في السطر الرابع ، مع وجود سابقة خاطئة - "المصهر لا يذوب" ، فإن النتيجة - "المصباح الكهربائي لا ينطفئ" هي أيضًا خاطئة. مثل هذا الموقف ممكن ، لكنه لا يدعو إلى التشكيك في حقيقة الاعتماد الشرطي لـ p و q ، لأنه إذا كان p صحيحًا ، فسيكون q دائمًا صحيحًا.
في اللغة الطبيعية ، للتعبير عن أحكام شرطية ، لا يقتصر استخدام أداة العطف "إذا ... ، إذن ..." ، ولكن أيضًا على أدوات ربط أخرى:
"هناك ... أين" ، "ثم ... عندما ..." ، "بقدر ... مثل ..." ، إلخ. في شكل أحكام شرطية في اللغة ، يمكن تمثيل أنواع من العلاقات الموضوعية مثل التبعيات السببية والوظيفية والمكانية والزمنية والقانونية ، وكذلك الدلالية والمنطقية وغيرها من التبعيات. مثال على الحكم السببي هو البيان التالي: "إذا تم تسخين الماء بشكل طبيعي الضغط الجويحتى 100 درجة مئوية ، ثم يغلي ". مثال على التبعية الدلالية: "إذا كان الرقم قابلاً للقسمة على 2 بدون باقي ، فإنه يكون زوجيًا."
في النصوص القانونية ، في شكل شروط الأحكام ، غالبًا ما يتم تسجيل الوصفات القانونية: الأذونات ، المحظورات ، الالتزامات. يمكن أن تكون المؤشرات النحوية للتضمين ، بالإضافة إلى أداة العطف "إذا ... ، إذن ..." ، عبارات مثل: "إذا كان هناك ... ، يجب أن يكون" ، "في حالة ... ، يجب أن يكون. .. "،" إذا الشرط ... يأتي ... "وغيرها. في الوقت نفسه ، يمكن بناء الآثار القانونية في القانون والنصوص الأخرى دون مؤشرات نحوية خاصة. على سبيل المثال: "يعاقب على السرقة السرية لممتلكات شخص آخر (السرقة) ..." أو "يُعاقب على الإدانة الكاذبة عن علم بارتكاب جريمة ..." ، وما إلى ذلك. ولكل من هذه الوصفات صيغة ضمنية: "إذا ارتكب فعل غير قانوني معين ، فإنه يتبعه عقوبة قانونية".
في شكل أحكام شرطية ، غالبًا ما يتم التعبير عن التبعيات المنطقية بين العبارات. على سبيل المثال: "إذا كان كل شيء إجرامي يعاقب عليه ، فليس كل ما يعاقب عليه هو إجرامي". أو مثال آخر على التفكير: "إذا كان صحيحًا أن بعض الطيور تطير بعيدًا إلى مناطق أكثر دفئًا في الشتاء ، فليس صحيحًا أنه لا يوجد طائر واحد يطير إلى مناطق أكثر دفئًا".
في الاقتراح الشرطي ، يؤدي السابق وظيفة الأساس الفعلي أو المنطقي الذي يحدد اعتماد النتيجة المقابلة في التسلسل. تتميز العلاقة بين الأصل الأساسي والتأثير اللاحق بخاصية الكفاية. هذا يعني أن حقيقة الأساس هي
يحدد حقيقة النتيجة ، أي إذا كان الأساس صحيحًا ، فستكون النتيجة دائمًا صحيحة (انظر السطر 1 في الجدول في الشكل 34). في الوقت نفسه ، لا تتميز القاعدة بخاصية الضرورة علاء. العواقب ، لأنه إذا كانت خاطئة ، يمكن أن تكون النتيجة صحيحة وخاطئة (انظر السطرين الثالث والرابع في الجدول في الشكل 34).
4. أحكام معادلة (ضمني مزدوج). المكافئ هو حكم يتضمن كمكونات حكمين متصلين بواسطة اعتماد شرطي مزدوج (مباشر وعكسي) معبر عنه بوصلة منطقية "إذا كنت فقط إذا.
.. ومن بعد ... ". على سبيل المثال: "إذا وفقط إذا حصل الشخص على أوسمة وميداليات (p) ، فإنه يحق له ارتداء شرائط الطلبات المقابلة (q)."السمة المنطقية لهذا الحكم هي أن حقيقة البيان حول الجائزة (ع) تعتبر "شرطًا ضروريًا وكافيًا لصحة البيان حول" الحق في ارتداء أحزمة الزخرفة (ف). بنفس الطريقة ، حقيقة البيان حول الحق في ارتداء خطط الطلب! (ف) شرط ضروري وكافٍ لصدق البيان الذي هذا الشخصحصل على الترتيب المناسب أو الميدالية (ع). يمكن التعبير عن هذا الاعتماد المتبادل رمزياً بالتضمين المزدوج pt ^ q ، والذي يقرأ: "إذا وفقط إذا كان p ، إذن q". يتم التعبير عن التكافؤ بعلامة أخرى: p = q.
في اللغة الطبيعية ، بما في ذلك النصوص القانونية ، دل. تستخدم عبارات الأحكام المتكافئة أدوات الاقتران: "فقط من أجل. شريطة أن ... ثم ... "،" إذا وفقط إذا .. ^ ثم ... "،" فقط إذا ... ، ثم ... "وغيرها. p q p = q وأنا أنا أنا أنا أنا أنا أنا أنا أنا
يعرض الجدول شروط صحة حكم مكافئ (الشكل 35). الحكم ص =. صحيح في الحالات التي يأخذ فيها كلا الحكمين نفس القيمة ، إما أن يكون صحيحًا (السطر الأول) أو خطأ (السطر الرابع) في نفس الوقت. هذا يعني | أن حقيقة p كافية لـ | الاعتراف صحيح q ، والعكس صحيح. 1 رايس -35 العلاقة بينهما مميزة - ^
يعتبر أيضًا ضروريًا: خطأ p هو مؤشر على زيف q ، وخطأ q يشير إلى زيف p.
في الختام ، نقدم جدولًا موجزًا لشروط صحة الأحكام المعقدة (الشكل 36). P q PAQ pvq P ^ q P- »q psq أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا أنا
الأحكام الصعبة وتفسير القواعد.
(^ الأحكام الخاطئة - الربط والفصل والمشروط والمكافئة - تُستخدم في الاستدلال العادي والسياقات القانونية على حد سواء بشكل مستقل ومجتمعي ، أي في مجموعات مختلفة. على سبيل المثال ، في حكم متصل ، يمكن أن تعمل الأحكام المنفصلة كقوائم: (p vq ) l (mv n). في الحكم المنفصل ، يمكن للأحكام المترابطة أن تعمل كأعضائها ، على سبيل المثال: (р nq) v (m л п). يمكن أيضًا أن تكون الأحكام السابقة والنتيجة للحكم الشرطي مرتبطة أو منفصلة ، على سبيل المثال: (p vq) -> (m l n).
بمساعدة مجموعة من الأحكام المعقدة ، يصفون الوصفات التنظيمية ، ويحددون المفاهيم القانونية ، بالإضافة إلى تركيبات الجرائم الجنائية والأضرار. في عملية تفسير قواعد القانون و أنواع مختلفة وثائق قانونيةتتطلب (العقود والاتفاقيات وما إلى ذلك) تحليلًا منطقيًا ونحويًا دقيقًا ودقيقًا لهيكلها ، وتحديد أنواع وتسلسل الروابط المنطقية بين مكونات الحكم المعقد.
تلعب العلامات الفنية مثل الأقواس دورًا مهمًا في هذا. في المنطق ، وظيفتهم مشابهة لاستخدام الأقواس في لغة الرياضيات. على سبيل المثال ، لا يمكن التعرف على التعبير الحسابي "2 × 3 4 = ..." على أنه محدد وواضح حتى يتم إنشاء تسلسل عمليات الضرب والجمع. في إحدى الحالات ، تأخذ القيمة "(2 × 3) 4 = 10" ، في الحالة الأخرى "2 × (3 4) = 14".
العبارة "ارتكبت الجريمة من قبل A و B أو C" لا يتم تمييزها أيضًا عن طريق اليقين ، لأنه ليس من الواضح أي من الرابطين المنطقيين - الاقتران أو الانفصال - هو العامل الرئيسي. يمكن تفسير العبارة على أنها "A و (B أو C)" ؛ يمكن تفسيره بطريقة أخرى - "(أ و ب) أو ج". من حيث الأهمية المنطقية ، فإن هذين البيانين بعيدان عن التكافؤ.
كمثال ، دعونا نحدد الهيكل ، أو شكل منطقي، من المادة التي تنص على المسؤولية عن الاحتيال ، والتي تنص على ما يلي: "يعاقب على الاستيلاء على الممتلكات الشخصية للمواطنين أو الحصول على الحق في الملكية عن طريق الخداع أو إساءة استخدام الثقة (الاحتيال) بالسجن لمدة تصل إلى عامين مع دفع غرامة تصل إلى ... أو العمل الإصلاحي لمدة تصل إلى عامين ".
بشكل عام ، هذا البيان ، على الرغم من عدم وجود مؤشرات نحوية صريحة ، هو حكم مشروط من النوع "D-" S ". كسابق ، فإنه يشير إلى الإجراءات المهمة قانونًا (D) ، ونتيجة لذلك - عقوبة (S). في هذه الحالة ، يكون السالف والمترتب عليه تكوينات هيكلية معقدة.
السابق (د) يسرد الإجراءات التي تشكل مجتمعة الاحتيال: "الاستيلاء على الممتلكات الشخصية للمواطنين (دي) أو الحصول على الحق في
الملكية (د 2) عن طريق الخداع (دي) أو إساءة استخدام الأمانة (د 4) ". قواعد. يسمح تحليل جديلة بتمثيل العلاقة بين الإجراءات المحددة بالشكل التالي: di أو d2 و d3 أو d4 ؛ رمزيًا - (di v dz) l (d3 vd4). بالطبع ، لا يختلف هذا الشكل من السابق في اليقين الكافي ، لأنني أسمح بقراءة مزدوجة: الخيار الأول (di v dz) n (d3 v d4) ؛ الخيار الثاني هو di v (d2 l ((d3 v d4)).
في هذه الحالة ، يجب استكمال التحليل النحوي لنص المقالة بتحليل منطقي. في هذه الحالة ، يُفهم الاحتيال على أنه إجراءات مرتبطة بالاستيلاء على الممتلكات الشخصية للمواطنين أو الحقوق المكتسبة في الممتلكات ؛ في هذه الحالة ، يتم تنفيذ كل من الأول والثاني عن طريق الخداع) أو إساءة استخدام الثقة. هذا هو المعنى الذي يتم تمثيله بالصيغة (di v d2) l (d3 v d4).
وتنص (S) اللاحقة على عقوبة معقدة: الاحتيال "من خلال المعاقبة بالسجن لمدة تصل إلى سنتين (Si) بغرامة تصل إلى ... (2 دولار) أو العمل الإصلاحي لمدة تصل إلى عامين (S3). " اتصال بين الأجزاء المكونةيتبع الشكل التالي: Si و S2 أو 8z ، أو رمزياً ((Si l S2) v Sa). يُظهر التحليل المنطقي للنص أن مثل هذا التفسير هو التفسير الوحيد الممكن.
إذا كان الحكم الأولي المشروط D- "S مفصلاً وفقًا للتحليل ، يتم تقديم مقالة الاحتيال في النموذج التالي
((di v d2) l (d3 v d4)) -> ((Si l S2) v S3)
العلامة الرئيسية لهذا الحكم المعقد هي المعنى الضمني: السوابق - للحكم هي اقتران ، وكلا المصطلحين عبارة عن تعبير منفصل ؛ يترتب على الحكم - التعبير المنفصل ، أحد أعضاء إتقان المهارات التحليل المنطقيأقوال معقدة مع استخدام لغة رمزية لتوضيح معنى السياقات القانونية التي تعرضها! علاج فعالتفسير دقيق و التطبيق الصحيحالقواعد (عملية قانونية.
