يتكون كل حكم مجمع من أحكام بسيطة مرتبطة بأي اتحاد. من الممكن تحديد الحكم المعقد وبالتالي: من الصعب أن يكون الحكم، كجزء منه يتم تخصيص حكم بسيط على الأقل. اعتمادا على الاتحاد، والتي تعد الأحكام البسيطة جزءا من معقد، تبرز، كقاعدة عامة، ستة أنواع الأحكام المعقدة.
1. الحكم الملحد، أو بالاشتراك - هذا هو الحكم المعقد مع اتحاد الاتصال. والذي يشار إليه في علامة الشرطية المنطقية ù. على سبيل المثال، حكم صعب: تومض البرق، والرعد الرعد إنها ملائمة، أو بالتزامن (مركب) من إصدارين بسيطين: 1. انفصل البرق. 2. الأرض الرعدوبعد قد يتلف بالتزامن ليس فقط من اثنين، ولكن من الأحكام البسيطة. على سبيل المثال: تومض البرق، والرعد الرعد، وقم (aùbùc).
طباقي، أو تنفذ أو.
2. عدم الانفصال غير السكتة الدماغية - هذا هو الحكم الصعب مع الاتحاد الفاصل أو في معنىه غير الحصري (الشامل)، الذي يشار إليه من قبل علامة مشروطة ú. على سبيل المثال، حكم صعب: انه يدرس الإنجليزية، أو يدرس الألمانية إنها تقارب غير صارم أو غير صارم لتقدنتين بسيطين: 1. يدرس اللغة الإنجليزية. 2. يدرس الألمانيةوبعد كما ترون، لا تستبعد هذه الأحكام بعضها البعض، لأنه من الممكن دراسة اللغة الإنجليزية والألمانية في نفس الوقت.
3. انتقارف صارمة - هذا هو الحكم الصعب مع الاتحاد الفاصل أو في استثناء المعنى (الصارم)، الذي يشار إليه من قبل علامة مشروطة Ú وبعد على سبيل المثال، حكم صعب: وهو يدرس في الصف 9، أو يدرس في الصف 11 إنه أمر صارم، أو تقارص صارم (فصل) من أحكامتين بسيطة: 1. يدرس في الصف 9. 2. يدرس في الصف الحادي عشروبعد يتم استبعاد هذه الأحكام بعضها البعض، لأنه من المستحيل الدراسة في وقت واحد في الصف التاسع والحادي عشر.
4. الحكم القائم، أو تنضخ - هذا هو الحكم الصعب مع الاتحاد الشرطي إذا ...التي تشير إليها علامة الشرطية ®. مع هذه العلامة، يمكن تمثيل حكم متقطع يتكون من أحكام بسيطة كصيغة A ® B (اقرأ إذا أ، ثم ب)، حيث أ و ب هما اثنان من الأحكام البسيطة. على سبيل المثال، حكم صعب: إذا كانت المادة معدنية، فهذا هو موصل كهربائيا يمثل حكم متورط، أو ضمنا (العلاقة السببية) من إصدارين بسيطين: 1 وبعد المادة معدنية. 2. مادة موصل كهربائيا.
5. حكم معادل، أو التكافؤ - هذا هو الحكم الصعب مع الاتحاد إذا ... ليس في معناه الشرطي (كما هو الحال في ضمنية)، ولكن في متطابقة (ما يعادل). في هذه القضية يشار إلى الاتحاد من قبل العلامة الشرطية "، مع المساعدة التي يمكن تمثيل حكم معادل يتكون من أحكام بسيطة كصيغة" ب " إذا أ، ثم ب، وإذا ب، ثم)، حيث أ و ب هما اثنان من الأحكام البسيطة. على سبيل المثال، حكم صعب: إذا كان الرقم حتى، فهو مقسما دون بقايا بحلول 2 إنه حكم معادل، أو معادلة (المساواة أو الهوية) من إصدارين بسيطين: 1. الرقم حتى. 2. ينقسم الرقم دون بقايا إلى 2.
6. الحكم السلبي، أو نفي - هذا هو الحكم الصعب مع بشكل غير صحيح ...، الذي يشار إليه من خلال علامة مشروطة Ø. مع هذه العلامة، يمكن تمثيل الحكم السلبي كصيغة Øa (اقرأ غير صالح أن)، أين أ. - هذا هو الحكم البسيط. إن إعطاء تعريف للحكم المعقد، قلنا أنه يتكون من أحكام بسيطة ذات صلة بأي اتحاد، أو، بمعنى آخر، حكم صعب قدر الإمكان تخصيص حكم بسيط مستقل واحد على الأقل. في حالة الحرمان، لدينا مجرد مثل هذا الوضع عندما يتكون الحكم المعقد ليس من طرفين أو عدة أحكام بسيطة، ولكنه يشمل حكم بسيط مستقل في تكوينه (أ). مثال على حكم سلبي: غير صحيح أن جميع الذباب هي الطيور.
وزارة التعليم والعلوم في الاتحاد الروسي
الوكالة الفيدرالية للتعليم
سان بطرسبرج جامعة الدولة الخدمة والاقتصاد
معهد القانون
عن طريق الانضباط: المنطق
حول الموضوع: الأحكام المعقدة
سان بطرسبرج
مفهوم الحكم البسيط
حكم - شكل تفكير، من خلاله موافقة شيء أو ينكر حول هذا الموضوع (الوضع) والذي لديه القيمة المنطقية للحقيقة أو الزيف. هذا التعريف يميز الحكم البسيط.
يميز وجود الموافقة أو إنكار الوضع الموصوف عن الحكم مفاهيم .
ميزة مميزة من الحكم من وجهة نظر منطقية هي أنه - مع البناء الصحيح منطقيا - صحيح دائما أو خطأ. وهي متصلة بمجرد وجود الموافقة أو إنكار أي شيء. المفهوم الذي، على عكس الحكم، يحتوي فقط على وصف للعناصر والمواقف من أجل ذكر تخصيصها العقلي، ليس له خصائص الحقيقة.
يجب تمييز الحكم عن العرض. غمد سليم من الحكم - جملة او حكم على وبعد الحكم هو دائما اقتراح، ولكن ليس العكس. يتم التعبير عن الحكم في الاقتراح السردي الذي جادل فيه، شيء ينكر أو شيء من هذا. وبالتالي، فإن الاستجواب والعروض السريعة والضرورية ليست أحكاما. هياكل الاقتراح والحكم لا يتزامن. stroymatical stroy نفس العرض يختلف في لغات مختلفةفي حين أن نظام المنطق للحكم هو نفسه دائما لجميع الدول.
كما ينبغي الإشارة إلى العلاقة بين الحكم والبيان. بيان - هذا هو بيان أو عرض سرد، يمكننا أن نقول أنه هو حقا أو خطأ. بمعنى آخر، يجب أن يكون البيان حول زيف أو حقيقة البيان معنى. الحكم هو محتوى أي بيان. هذه الجمل مثل "رقم N بسيط" من المستحيل النظر في بيان، لأنه لا يمكن قول ما إذا كان صحيحا أم خطأ. اعتمادا على كيفية حصول المحتوى على متغير "n"، يمكنك تعيين قيمةها المنطقية. وتسمى تعابير مماثلة متغيرات الاقتراح. يشار إلى البيان بأحد خطاب الأبجدية اللاتينية. تعتبر وحدة لا تسيطر عليها. هذا يعني أنه لا ينظر إلى أي وحدة هيكلية كجزء لها. هذا البيان يسمى ذرية (الابتدائية) ويتوافق مع حكم بسيط. من البيانات الذرية والأكثر من من خلال المشغلين المنطقيين (الأربطة)، يتم تشكيل بيان معقد أو جزيئي. على النقيض من ذلك، فإن الحكم هو وحدة محددة للموضوع وكائن مرتبط بالمعنى.
أمثلة الأحكام والبيانات:
بيان بسيط - حكم بسيط - "S هو (لا) ص".
بيان معقد - → ب؛ حكم صعب - "إذا كان S1 هو P1، فسيكون S2 هو P2."
تكوين الحكم البسيط
في المنطق التقليدي، تم تأسيس الحكم الموضوع، المسند والرباط.
الموضوع هو جزء من الحكم الذي يتم فيه التعبير عن موضوع الفكر.
المسند هو جزء من الحكم الذي يزعم فيه شيء ما أو رفضه حول موضوع الفكر. على سبيل المثال، في الحكم "Earth - Planet Solar System" الموضوع هو "الأرض"، المسند "الكوكب النظام الشمسي" من السهل أن نلاحظ أن الموضوع المنطقي والمسند لا يتزامن مع النحوية، أي معه المعرض للصيد.
معا الموضوع والمسند يسمى شروط الحكم وإشارة إلى الرموز اللاتينية على التوالي S و P.
بالإضافة إلى الشروط، يحتوي الحكم على أربطة. كقاعدة عامة، يتم التعبير عن الحزمة عبارة "هناك"، "جوهر"، "هو"، "كن". في المثال أعلاه، تم حذفها.
مفهوم S. حكم كاذب
حكم صعب - الحكم الذي تم تشكيله من بسيطة فضفاضة بالتزامن، وانفتاح، والآثار، والمعادلة.
منطق soyuz. - هذه طريقة لتوصيل الأحكام البسيطة في مجمع، حيث تم تحديد القيمة المنطقية لهذا الأخير وفقا للقيم المنطقية لمكونات أحكامها البسيطة.
إن خصوصية الأحكام المعقدة هي أن أهميتها المنطقية (الحقيقة أو الزيف) مصممة على الروابط الدلالية للأحكام البسيطة التي تشكل مجمع، ولكن اثنين من المعلمات:
1) القيمة المنطقية للأحكام البسيطة المدرجة في المجمع؛
2) شخصية حزمة منطقية توصل الأحكام البسيطة؛
يشتت المنطق الرسمي الحديث عن اتصال المحتوى بين الأحكام البسيطة وتحليل مثل هذه البيانات التي قد يكون فيها هذا الاتصال غائبا. على سبيل المثال، "إذا كان مربع Hypotenuse يساوي مجموع مربعات المربعات في القسهات، فإن الشمس لديها نباتات أعلى".
تم إنشاء القيمة المنطقية للحكم المعقد باستخدام جداول الحقيقة. يتم بناء جداول الحقيقة على النحو التالي: يتم إصدار جميع المجموعات الممكنة للقيم المنطقية للأحكام البسيطة عند المدخل، والتي يتكون الحكم المعقد. يمكن حساب عدد هذه المجموعات بواسطة الصيغة: 2N، حيث n هو عدد الأحكام البسيطة التي تشكل مجمع. عند الإخراج، تتم كتابة قيمة الحكم المعقد.
من بين أشياء أخرى، يتم تقسيم الأحكام إلى قابلة للمقارنة وجود موضوع عام أو المسند و لا تضاهى عدم وجود شيء مشترك فيما بينهم. بدوره، مقارنة مقسمة إلى متناسق ، التعبير بالكامل أو جزئيا عن نفس الفكر و غير متوافق إذا كانت إحدى الحقيقة واحدة منها، فإن الباطل ضروري (عند مقارنة هذه الأحكام، ينتهك القانون). يتم عرض نسبة الحقيقة بين الأحكام القابلة للمقارنة من خلال الموضوعات بواسطة مربع منطقي.
يستكشف المربع المنطقي جميع الاستنتاجات وهو مزيج من الأحرف A، I، E، o يعني نوع معين من البيانات الفئوية.
A - Secrect: كل شيء ص .
أنا - خاص مناسب: بواسطة على الاكثربعض s هي ف .
E - السلبي العام: كل ذلك (لا شيء) ليست ص
س - خاصة سلبية: على الأقل بعض S ليست ص
من بين هؤلاء، فإن الأوراق المالية شائعة وكنة سالبة متعددة المرؤوسين، والمرؤوسين من القطاع الخاص والسلبي.
الأحكام A و E تعارض بعضها البعض؛
الأحكام الأول و O عكس ذلك؛
الأحكام الواقعة على قطري متناقضة.
في أي حال، لا يمكن أن يكون الحكم مثيرا للجدل وعكس الحكم في نفس الوقت. قد تكون الأحكام المعاكسة أو لا تكون حقيقية في وقت واحد، ولكن على الأقل صحيح ينبغي أن يكون أحدهم.
يلخص قانون الابتدائية المربع المنطقي، ليصبح أساسا لجميع الاستنتاجات الفورية، ويحدد ذلك، من حقيقة تقديم الأحكام، وحقيقة أحكام المرؤوسين وزياف الأحكام الفرعية المعارضة يجب أن تتبع منطقيا.
الأربطة المنطق. الحكم الملحد
الحكم الملحد - حكم صحيح إذن وفقط إذا كانت جميع الأحكام المدرجة فيها صحيحة.
انها تشكلت عن طريق اتحاد المنطق الإيضاحات التي أعربت عنها النقابات النحوية "و" نعم "،" ولكن "،" ومع ذلك ". على سبيل المثال، "يضيء، ولكن لا دافئ".
يشار إليها رمزا على النحو التالي: AB، حيث تدل المتغيرات B، التي تدل على الأحكام البسيطة، هي التعبير الرمزي للاتحاد المنطقي بالتزامن.
تعريف بالتزامن يتوافق مع جدول الحقيقة:
| لكن | في | لكن ˄ في |
| و | و | و |
| و | ل. | ل. |
| ل. | و | ل. |
| ل. | ل. | ل. |
أحكام محرقة
هناك نوعان من الأحكام المتعفنة: تقارن صارم (باستثناء) الانفصال وغير السكتة الدماغية (غير حصري).
صارمة (باستثناء) انهيار - الحكم المعقد الذي يأخذ القيمة المنطقية للحقيقة هو ثم فقط إذا كان صحيحا واحدا فقط من الأحكام الحالية أو "التي هي خاطئة عندما تكون كلا البيانات خاطئة". على سبيل المثال، "هذا الرقم إما أكثر مجنونة أم لا خمس مرات".
يتم التعبير عن الاتحاد المنطقي من قبل الاتحاد النحوي "إما ... إما".
انها مكتوبة رمزية من قبل A˅V.
تتوافق القيمة المنطقية للانفتاح الصارم مع جدول الحقيقة:
| لكن | في | لكن ˅ في |
| و | و | ل. |
| و | ل. | و |
| ل. | و | و |
| ل. | ل. | ل. |
عدم السكتة الدماغية (غير حصري) انكماش - الحكم المعقد الذي يأخذ القيمة المنطقية للحقيقة هو ثم فقط إذا كان صحيحا على الأقل (ولكن قد يكون كل من الأحكام البسيطة المدرجة في المجمع. على سبيل المثال، "يمكن أن يكون الكتاب إما شعراء، أو النثر (أو في نفس الوقت)" .
يتم التعبير عن الانهيار غير السكتة الدماغية من قبل الاتحاد النحوي "أو ... أو" في الفصل والقيمة الضامة.
سجل رمزي ˅ تنافس NESSTROY تنافس مع جدول الحقيقة:
| لكن | في | لكن ˅ في |
| و | و | و |
| و | ل. | و |
| ل. | و | و |
| ل. | ل. | ل. |
الأحكام المتزايدة (الشرطية)
تنضخ - حكم معقد يأخذ القيمة المنطقية للخطأ إذا وفقط إذا كان الحكم السابق ( سالف) صحيح، واللاحقة ( تصوير) خطأ شنيع.
في اللغة الطبيعية، يتم التعبير عن التضمين من قبل الاتحاد "إذا ...،" بمعنى "ربما، ذلك وليس في". على سبيل المثال، "إذا تم تقسيم الرقم إلى 9، فسيكون ذلك في 3".
يتم تسجيل التضمين رمزيا و → في (إن وجدت، ثم ب).
يتم تقديم القيمة المنطقية في جدول الحقيقة:
| لكن | في | لكن → في |
| و | و | و |
| و | ل. | ل. |
| ل. | و | و |
| ل. | ل. | و |
تحليل خصائص التضمين يدل على أن حقيقة سابقة شرط كاف الحقيقة هي نتيجة، لكن الأذى. تعتبر هذه الحالة كافية لبعض هذه الظاهرة، وهو وجود يسبب بالتأكيد هذه الظاهرة. على سبيل المثال، "كن بيرش" حالة كافية لتضمينها في فئة الأشجار، حيث أن جميع أشجار البتولا هي أشجار ولا توجد بتوترة شجرة.
في الوقت نفسه، حقيقة النتيجة هي المتطلبات المسبقة حقيقة أنتييدنتا، ولكن غير كافية. تعتبر الحالة ضرورية للظاهرة، بدونها لا يحدث ذلك (ظاهرة). على سبيل المثال، يتم تضمين فئة Berez في فئة الأشجار، ولكن لا تساوي له. هناك أشجار ليست بيرش. ومع ذلك، الحالة "كن شجرة" بالنسبة للبتولا، فمن الإلزامي، لأن جميع أشجار البتولا هي أشجار.
مفارقات الآثار المادية
هذا يعني التناقض الدلالي للتأثير المواد مع صيغته الرمزية: و → ج. وفقا لهذه الآثار المادية، حقيقة أ، لحقيقة الصيغة A → B، من الضروري أن كلاهما صحيح. في هذه الحالة نحن نتكلم في فهم كبير لزيادة وحرية البيان. ومع ذلك، فإن الصيغة A → في الحقيقة ليست فقط في القضية المحددة، ولكن بعد ذلك، عندما يكون خطأ، وفي الحقيقة، عندما يكون كلاهما خطأ. من هذه الحقيقة، يعني مفكرة الآثار المادية: من البيان الخاطئ، أي بيان يتبع، أي شيء وبيان حقيقي يتبع من أي بيان.
أحكام التكافؤ
التكافؤ - حكم معقد الذي يأخذ القيمة المنطقية للحقيقة إذا تمتلك الأحكام الموجودة في تكنولوجيا المعلومات نفسها نفس القيمة المنطقية، في وقت واحد إما صحيحة أو خاطئة.
يتم التعبير عن الاتحاد النحوي "الاتحاد المنطقي في التكافؤ" من قبل النقابات النحوية "إذا وفقط إذا"، "إذا وفقط إذا". على سبيل المثال، "إذا كان المثلث فقط متساوي الأضح، فهذا يعادل".
يتم تسجيل التكافؤ رمز لكن « في أو لكن º في ("إذا وفقط إذا لكن ، ثم في ").
القيمة المنطقية للمعادلة تتوافق مع جدول الحقيقة:
يعبر الحكم المكافئ مع الأعضاء المرتبطين بالمحتوى في وقت واحد الشرط كافية وضرورية: (و → ج) (في → A).
يمكن إثبات المساواة بين التعبيرات (ب) و (A → B) (B → A) باستخدام طاولة الحقيقة.
نفي
نفي - هذا هو العملية المنطقيةبمساعدة من بيان واحد تلقي واحدة جديدة، في حين أن الحكم ببساطة يستعد في معقد، وإذا كان الحكم البسيط الأولي صحيح، فإن الحكم المعقد الجديد هو خاطئ - "بشكل غير صحيح، هذا p" أو "قائلا عندما يكون البيان صحيحا "
مرتين لا - هذه جراحة الحكم السلبي. يؤدي الإنكار المتكرر إلى الموافقة أو، وإلا، إن الحرمان من الحرمان يعادل البيان: A → "إذا كان الأمر كذلك، فليس صحيحا أنه غير موجود"، أو A˭˭A - "غير صحيح،" غير صحيح " ، إذا وفقط إذا صحيح أن ".
التعبير عن بعض الأربطة المنطقية من خلال الآخر
النقابات المنطقية أعلاه قابلة للتبديل والتعبير عن الآخرين. على سبيل المثال:
A → B \u003d A˅V - التضمين من خلال الانفصال
A → B \u003d B → A - الآثار من خلال التضمين
→ Q \u003d A B - التضمين من خلال بالتزامن
a˅v \u003d a b - انحراف من خلال بالتزامن
AV \u003d A˅ B - بالتزامن من خلال الانفصال
tatasets of truth.
صدق الحقيقة - هذا طاولة تنشئ الامتثال بين الكل مجموعات ممكنة المتغيرات المنطقية المضمنة في الوظيفة المنطقية وقيم الوظيفة.
تستخدم tatasets على نطاق واسع ل
· حسابات حقيقة البيانات المعقدة؛
وضع معادلة البيانات؛
· تعاريف Tautologies.
معدات الصيغ منطق بيان - هذه هي وفود تتخذ نفس قيمة الحقيقة في نفس قيم البيانات الأولية المدرجة في هذه الأشكال. على سبيل المثال، A → B، v¯ → A¯
صيغة حقيقية الهوية (Tautology) - هذه صيغة تأخذ قيم الحقيقة مع جميع القيم المدرجة في العبارات الأولية.
صيغة الهوية الخاطئة (تناقض) - الصيغة التي، مع كل قيم العبارات الأولية، تأخذ قيمة الأكاذيب.
(A¯˅ B) → (AV)
قائمة الأدب المستعمل
1. MD. Kuparashvili، A.V. Nehaev، V.I. Razumov، N.A. تشيرنيك "منطق. درس تعليمي"أومسك، 2005.
2. السلس A.V. "مقدمة في المنطق الحديث"، MCMNO، 2001.
3. Chelpanov g.i. "البرنامج التعليمي المنطقي"، موسكو، 1897.
أنواع الأحكام المعقدة - قسم من الفلسفة، موضوع المنطق كعلم حسب طبيعة الاتصال المنطقي تخصيص خمسة أنواع رئيسية من الأحكام المعقدة: ...
بطبيعة الرابطة المنطقية، تتميز خمسة أنواع رئيسية من الأحكام المعقدة: الاتصال (الملتحمة)، الفصل (النزح)، مشروط (متورط)، ما يعادل، رفض.
توصيل أو حرف عطف الحكم هو حكم معقد تم تشكيله من الأحكام الأولية عن طريق اتحاد منطقي "و" يشار إليه بالرمز "". على سبيل المثال، الحكم: "اليوم سأذهب إلى محاضرة على المنطق وفي الأفلام" هو حكم ملائم يتكون من أحكام بسيطة (ننقل إليهم، على التوالي - لكن, في): "اليوم سأذهب إلى محاضرة على المنطق" ( لكن)، "اليوم سأذهب إلى الأفلام" ( في). رمزيا، يمكن كتابة هذا الحكم المعقد على النحو التالي: AUأين لكن,في - عناصر بالتزامن؛ "" - رمز الاتحاد المنطقي - بالتزامن. باللغة الروسية، يتم التعبير عن الاتحاد المنطقي الملتحي من قبل العديد من الاتحادات النحوية: ولكن، نعم، على الرغم من أن النقابات النحوية مماثلة، في كثير من الأحيان يتم استبدالها بفاصلة، قولون، نقطة فاصلة. على سبيل المثال، في الحكم "، يتم حصاد الروس لفترة طويلة، ولكن بسرعة القيادة".
الحكم الملحد حقيقي فقط بحقيقة جميع مكونات عناصرهاو خطأ شنيع مع زيف واحد منهم على الأقل (انظر الجدول 1 - العمود 3).
معرفة خصائص قيمة الحقيقة للتزامن معنى خاص في ممارسة التفكير، ل مثل هذا الحكم الخاطئ يكفي لإعطاء الكل، حتى من الصعب للغاية، ورأى الفكر الملتحمة. هذه الحقيقة هي أساس العديد من الأمثال الروسية، على سبيل المثال، ما الذي يجعل ملعقة من القطران في برميل من العسل. هذه الميزة مهمة أن تأخذ في الاعتبار في الممارسة القانونية، في المناقشات - عند إنشاء سلسلة من الأفكار المعقدة، والتي يمكن أن تملأ رابطا كاذبا واحدا. من ناحية أخرى، يكتشف أن يكتشف حجة خاطئة واحدة على الأقل في حجج الخصم لدحض كل حججه بشكل عام.
انفصالأو diumutive. الحكم هو حكم معقد تم تشكيله من الأحكام الأولية من خلال الاتحاد المنطقي "أو" الإشارة إليه من الرمز "". على سبيل المثال، الحكم: "الحق يمكن أن يسهم في التنمية الاقتصادية أو يعيق ذلك" هو حكم مغمول يتكون من اثنين بسيط: "الحق يمكن أن يسهم في التنمية الاقتصادية"، "قد يتداخل الحق في التنمية الاقتصادية". وفقا لذلك، إحالة لهم من خلال الحروف لكن, في - أمسك به نموذج منطقي: AV.
منذ الحزمة "أو" يستخدم في اثنين قيم مختلفة - غير حصري واستثناء، ثم التمييز ضعيفو قوي تنفذ، على التوالي. المثال أعلاه ضعيف مفاجئ، ل الحق في نفس الوقت في احترام واحد يمكن أن يسهم في تطوير الاقتصاد، ولكن للتدخل في الآخر. ضعف الانكماش هو حقيقي في تلك الحالات متي حقيقي واحد على الأقل من مكونات أحكامها (أو كليهما معا) و خطأ شنيععندما كلا المكونة من أحكامها خاطئة (الجدول 1 - العمود 4).
انخفاض قوي (الرمز "") يختلف عن ضعيفة باستثناء مكوناتها بعضها البعض. على سبيل المثال: "قد تكون الجريمة متعمدة أو عن طريق الإهمال". من أجل التأكيد على مقسمة صارمة، يتم استخدام طبيعة التواصل بشكل صارم، يتم استخدام نموذج شعبة مزدوج مقوى باللغة الطبيعية: "... إما ... إما" أو "أو" أو "إما" سوف أجد الطريق أو سأضعه ". انتقارف صارمة حقيقي فقط عندما يكون أحد مكونات أحكامه هو حقا، والآخر خطأ (الجدول 1 - العمود 5).
من بين الأحكام المتعفنة يجب تمييزها أكمل أيضاو غير مكتمل انحراف عندما على التوالي: المدرجة كل شىء علامات، أنواع نوع معين أو هذه القائمة لا تزال فتح (غير مكتمل)هذا في اللغة الطبيعية يتم التعبير عنها من خلال الكلمات: "وما إلى ذلك"، "وآخرون"
الأحكام المتعفنة منتشرة في ممارسة التفكير. هو في منهم أن العملية المنطقية للقسمة يتم التعبير عنها.
الشرطأو intricative. الحكم هو حكم معقد يتم دمج الأحكام مع الاتحاد المنطقي "إذا ...، ثم" (رمز ")، على سبيل المثال:" إذا كانت الحكومة تنتهك القانون، فقم بإنشاء عدم احترامها "،" إذا كان ينقسم الرقم إلى 2 دون بقايا، ثم إنه " يتكون الحكم الشرطي من عنصرين من أحكامه. الحكم المعبر عنه بعد كلمة "إذا" يسمى يتمركز أو سابقة (السابق واحد)، والحكم - بعد كلمة "التي" يسمى عاقبة أو نتيجة (لاحقة). صيغة الحكم الشرطي: AUأين لكن - السبب، في - اللازمة - النتيجة. في الوقت نفسه، يمكن أن تكون الأحكام التي تؤدي دور القاعدة والتحقيق في حد ذاتها أحكاما بسيطة ومعقدة.
من خلال تشكيل الحكم الشرطي، بادئ ذي بدء، يعني أنه لا يمكن أن يكون الأمر كذلك ما يقال حول ما يقال في القاعدة وقع، لكن ما قيل في التحقيق غائبة. بمعنى آخر، لا يمكن أن يحدث أن سائدا صحيحا، وما يترتب على ذلك خطأ. هذا يحدد ما الحكم الشرطي هو حقا في جميع الحالات، باستثناء واحدة: عندما تكون السابقة موجودة، وليس هناك لاحقة (أي - الحكم في النموذج AU - زورا فقط في حالة واحدة عندما لكن - صحيح، و في - خاطئة). يتم التعبير عن هذا في الجدول 1 - العمود 6.
في شكل أحكام مشروطة، يعبرون عن كل من الاعتماد الموضوعي لبعض الأشياء من الآخرين وحقوق الأشخاص والتزاماتهم المرتبطة بأولئك أو الظروف الأخرى.
حكم معادل - هذا هو الحكم المعقد الذي يتم فيه الجمع بين الأحكام ذات الاعتماد المشروط المتبادل. لذلك، يسمى أيضا ضمنا ضعف. يتم تشكيلها باستخدام الاتحاد المنطقي "إذا وفقط إذا ...، ثم"، والذي يشار إليه الرمز "". صيغة التكافؤ: منأين أ، ب. - الأحكام التي يتم تكوين حكم معادل، على سبيل المثال: "الشخص لديه الحق في التقاعد العمر، إذا وفقط إذا وصل سن التقاعد" في اللغة الطبيعية، بما في ذلك النصوص الاقتصادية والقانونية، تستخدم النقابات النحوية للتعبير عن الأحكام المعادلة: "فقط بموجب الشرط الذي ..."، "،"، "فقط عندما ...، إذن" في ذلك فقط في حالة متى ...، إذن ".
يتم عرض شروط حقيقة الأحكام المعادلة في العمود السابع من الجدول 1: مقابل حكم حقيقي في حالتين - عندما تكون كل من مكونة أحكامه صحيحة أو عندما يكون كلاهما خطأوبعد بمعنى آخر، يمكن وصف العلاقة (النسبة) بين عناصر الحكم المكافئ حسب الضرورة: الحقيقة لكن كافية للتعرف على الحقيقة في والعكس صحيح؛ خطأ شنيع لكن بمثابة إشارة إلى الباطل في والعكس صحيح.
نفى الحكم - هذا هو الحكم المعقد الذي تم تشكيله بمساعدة اتحاد منطقي " غير صالح ..."(أو فقط" لا ")، والتي تسمى علامة النفي (الرمز" ~ "). على عكس الاتحادات الثنائية المذكورة أعلاه، يشير إلى حكم واحد. دعمها لأي حكم يعني تكوين حكم جديد، وهو في اعتماد معين على الأولي : الحكم السلبي صحيح إذا كان الصقر الأولي والعكس صحيح. يتم التعبير عن هذا في الجدول 1 - الأعمدة 8.9. على سبيل المثال، إذا كان الحكم الأولي: "كل الشهود الصادقين"، ثم نفوا: "ليس صحيحا أن جميع الشهود صحيحة".
تستخدم جميع الأنواع المخصصة من الأحكام المعقدة في الحجج والسياقات التقليدية، بما في ذلك الاقتصاد والقانوني. لتوضيح أكثر دقة لمعنى هذه السياقات، من المهم إتقان المهارات التحليل المنطقي الأحكام المعقدة باستخدام لغة رمزية للتعبير عن هيكلهم المنطقي. في كثير من الأحيان، لتحقيق تعبيرات معينة، من الضروري تحديد العلاقة الرئيسية في الحكم. على سبيل المثال، البيان "الجريمة المرتكبة لكن و في أو من عند»لا يختلف في اليقين، لأنه ليس من الواضح أي من الأربطة المنطقيةين - بالاقتران أو الانفصال - هو الرئيسي. لذلك، يمكن تفسير هذا البيان على أنه حرف عطف الحكم (1): " لكن و ( في أو من عند) "ربما كيف diumutive. الحكم (2): " لكن و في) أو من عند" ولكن في الأهمية المنطقية، أي بحقيقةهم، فهي ليست معادلة. يمكن تحديد ذلك عن طريق بناء طاولات حقيقية لهم، ووفقا لهم لمقارنة قيم الحقيقة لهذه الأحكام.
تحقيقا لهذه الغاية، من المهم معرفة كيفية بناء الجداول الحقيقية للأحكام المعقدة المختلفة. هذا يفعل كما يلي.
في جدول الإدخال:
1. يعرض كل شيء بسيط حكم ( لكن, في, من عند, د....) المدرجة في الحكم الصعب قيد النظر. دع عددهم يكون ن. .
2. تحديد عدد ل الصفوف في الجدول حسب الصيغة ل = 2 N.
3. في أعمدة إدخال الجدول، هناك كل مجموعات ممكنة من القيم الحقيقية للأحكام البسيطة بالترتيب التالي: في العمود الأيمن البديل و و ل. واحدا تلو الآخر؛ في الحق الثاني، العمود البديل في صف اثنين من القيم و وذين المعاني ل.؛ في العمود الثالث البديل في صف واحد معاني و وأربعة معاني ل.؛ في العمود الرابع - ثمانية قيم و في صف وثمانية قيم ل. على التوالي، إلخ.
عند منفذ الجدول:
4. من اليسار إلى اليمين اكتشاف الأشكال المنطقية لجميع الأحكام المعقدة المدرجة في الحكم قيد النظر، من أجل: في بداية الحكم من الدرجة الأولى من التعقيد (أي علامة منطقية واحدة)؛ ثم الدرجة الثانية (مع اثنين من النقابات المنطقية)؛ بعد ذلك، الدرجة الثالثة (مع ثلاث نقابات منطقية) وما زالت طالما أن الحكم الأخير لا يمثل الشكل المنطقي للحكم المعقد الأولي.
5. يتم تشكيل أعمدة قيم الحقيقة للنماذج المنطقية المكتوبة على أساس: (1) معنى الاتحاد المنطقي (انظر الطاولة 1) و (2) قيم الحقيقة التي تأخذ الأحكام العادية المدرجة في هذا النموذج (انظر خطوط المدخلات للجدول).
يمكننا مقارنة الأحكام المذكورة أعلاه (1) و (2). تحقيقا لهذه الغاية، نبني الآن الطاولة 2 للحكم الملتحي (1)، معربا عن ذلك رمزيا باسم " لكن(فيمن عند) "، و الطاولة 3 للحصول على حكم محرز (2)، أكتب رمزية باسم "( لكنفي)من عند».
التفكير ككائن منطق
حاليا، هناك مجموعة متنوعة ضخمة من مختلف قطاعات المعرفة العلمية. اعتمادا على كائن الدراسة، تتميز علوم الطبيعة، أولا وقبل كل شيء، العلوم الطبيعية والعلوم
القانون المنطقي
كما هو مذكور أعلاه، جميع الأفكار لها محتوى وشكل. مع هذه الجوانب من الفكرة، فإن تمييز "الحقيقة" و "صحة" تفكيرنا متصل. الحقيقة تشير إلى محتوى الأفكار والقواعد
القوانين الأساسية المنطق
القوانين المنطقية لا نهاية لها كثيرا. هذا هو الفرق بين المنطق من معظم العلوم. صحيح أو، كما يقولون عادة، يفكر التفكير المنطقي وفقا لقوانين المنطق،
مفهوم كشكل منطقي من التفكير
التفكير في رجل حديث يرتدي شخصية مفاهيمية في الغالب. تمتد مفاهيمنا إلى العالم من حولنا: من أقرب أشياء يومية للعمل والحياة إلى أكثر
أنواع المفاهيم
في ممارسة التفكير، هناك مجموعة كبيرة من المفاهيم الضخمة التي تابعت لقواعدها الخاصة. لذلك، يميز المنطق أنواع المفاهيم على الخصائص المنطقية لهم
العلاقة بين المفاهيم
تنعكس العلاقات بين الموضوعات نفسها في العلاقات بين المفاهيم. يمكن أيضا أيضا تصنيف جميع مجموعة متنوعة من هذه العلاقات بناء على خصائصها الهيكلية - مع العاصفة
o pre d eir n e n e p o n i t و y
التعريف عبارة عن عملية منطقية تكشف عن محتوى المفهوم. هذه واحدة من أهم أدوات المنطق التي تضمن الوضوح، ويقرصد المفاهيم المستخدمة. توضي
Про и и и l преде
يعتمد صحة تحديد المفهوم على هيكله، بناء على الامتثال للمتطلبات المنطقية لعلاقات العناصر الهيكلية للتعريف. يتم صياغة هذه المطالبات في المنطق في شكل منطقي
D e l e n e p o n i t و y
القسم هي عملية منطقية تكشف عن كمية المفهوم من خلال تخصيصها الأنواع المحتملة شاء. لذلك، مفهوم "الدستور"، باعتباره عام مشترك، فهم
про и и и l a d el e n and i
يتم وضع المتطلبات المفروضة في نظرية المنطق إلى تنفيذ عملية الشعبة، في ممارسة التفكير كقواعد الانقسام. الرئيسية لهذه القواعد هي ما يلي: 1. د
الحكم كشكل من أشكال التفكير
الحكم هو شكل أكثر تعقيدا من التفكير من المفهوم. ويشمل المفاهيم كمكونات مكوناتها، لكنها لا تغلي بها. أساس الهدف للمفهوم هو الأشياء نفسها
أحكام بسيطة. هيكل المنطق والأنواع
تشمل الأحكام البسيطة كعناصر هيكلية: الموضوع، المسند، الرباط وقياس الكلمة. يسمى موضوع الحكم
أنواع الأحكام البسيطة
وفقا لطبيعة العلامة التي أعرب عنها مقررة للحكم، تتميز ثلاثة أنواع من الأحكام البسيطة: 1. السمات - الأحكام التي يرتبط فيها الإشارة بوجود أو عدم وجود
العلاقة بين الأحكام
هناك علاقات منطقية بين الأحكام. الأحكام، وكذلك المفاهيم، يمكن أن تكون قابلة للمقارنة وغير قابلة للتتوافق، متوافق وغير متوافق. ولكن هناك اختلافات كبيرة بسبب مختلف
استنتاجات بدورية
دراسات المنطق الرسمية التقليدية استنتاجات استنتاجية. منذ في هذه الاستنتاجات، فإن العلاقة المنطقية بين الطرود واللازمة لها اللازمة
الاستنتاجات المباشرة
في التواصل البشري، يعبر الناس عن أفكارهم بطرق مختلفة. في كثير من الأحيان من الصعب معرفة نفس الفكر في " ملابس مختلفة" الكلمات. ولكن في النزاع والمناقشة، يجب أن تتفاعل الممارسة القانونية بسرعة،
الهلالي الفئراني البسيط (PKS)
تسمى الاستنتاجات بوساطة استنتاجية في المنطق القادم من أرسطو المنطقي (من اليونانية. المنيلجيزم - الاشتقاق، الاشتقاق). silchistic، وهو المؤسس
شروط Terminov.
1. في السفلية، يجب أن تكون هناك ثلاث شروط (S، P، M). يؤدي انتهاك هذه القاعدة إلى خطأ منطقي يسمى "مصطلحات فصل"، والتي غالبا ما تكون
قواعد الطرود
1. من اثنين من الطرود الناتج السلبية، من المستحيل، ل في هذه الحالة، لا يستطيع المصطلح المتوسط \u200b\u200bربط الموضوع والمسند. على سبيل المثال، من الطرود: لا يوجد محام
enthymeme.
بمساعدة Sillogisms، نجعل أفكارنا بطريقة تصبح حقيقةها واضحة. لكن المنقطات المنتشرة (كاملة) في ممارسة التفكير أمر نادرا جدا: الطرود الواضحة، وأحيانا
استنتاجات استنتاجية من الأحكام المعقدة
في ممارسة التفكير، يعمل شخص مع استنتاجات ليس فقط من الأحكام العادية، ولكن أيضا من معقد. يتم تحديد نتيجة منطقية من الأحكام المعقدة حسب الموضوع
تعديل سلبي
مخطط: إذا أ، ثم في رمزيا: ((و → ج) ~
استنتاجات غير سلبية
أهم عقار الاستنتاجات غير المناسبة هو عدم وجود متابعة منطقية للاستنتاجات من الطرود. القائمة بالطرود واستنتاج هذه الاستنتاجات، وغيرها من المنطقي
الاستنتاجات الاستقرائية
يطلق عليه الاستقرائي الاستنتاج الذي انتقال من المعرفة حول الكائنات الفردية للفئة أو بعض أجزاء منه لمعرفة الفصل بأكمله ككل. هذا
طريقة التشابه
متى: وفي مع D - هناك "a" a e f g - هناك "a"
طريقة التغييرات المرتبطة
مع: وفي مع D - هناك "A1 في C D - هناك" A1 "
طريقة بقايا
متى: ومع D - "AVD" في - هو "في" C - "C"
الاستنتاج عن طريق القياس
في ممارسة التفكير، غالبا ما تنشأ مهمة الانتقال إلى معرفة نفس درجة العمومية، أي من الأحكام الفردية إلى واحدة من القطاع الخاص - إلى القطاع الخاص، من الشائع - إلى الشائع. أساس مثل هذا العقل
عملية جدلية وهيكلها
حجة هو أنشطة التفكيرالغرض منه هو إثبات الحقيقة أو زيف الموقف الذي أعرب عنه الحكم (البيان).
أنواع عملية جدلية
وفقا لطريقة الحجة، يتم تشويه نوعان من إثبات الموقع الموسع: مباشر وغير مباشر.
القواعد والأخطاء فيما يتعلق بالأطروحة.
الناطب الصحيح يعني الامتثال للقواعدتين فيما يتعلق بالأطروحة، معربا عن الحاجة إلى اليقين ولا تتغير. 1. يجب أن تكون الأطروحة واضحة وبالتأكيد صيغة
يجب أن تظل الرسالة دون تغيير طوال عملية التبرير.
خطأ نموذجيالناشئة عن هذه القاعدة هو "استبدال الأطروحة". يتجلى الاستبدال في وضع موقف واحد في عملية التفكير في الواقع
يجب أن تكون الحجج حقيقية، أحكام مثبتة.
انتهاكات هذه القاعدة تؤدي إلى اثنين من الأخطاء. يسمى أحدهم "خطأ أساسي"، لأنه يستخدم كحكم كاذب كوسيطة. هذا oshi.
يجب تثبيت حقيقة الحجج بغض النظر عن الأطروحة.
خطأ: "الدائرة الداخلية" هي أن الأطروحة تبررها الحجج، والحجج الأطروحة. 3. الحجج لا ينبغي أن تتناقض مع بعضها البعض. في
قواعد مظاهرة وأخطاء
يتم إجراء الاتصال المنطقي للحجج مع الأطروحة في النموذج أنواع مختلفة الاستنتاجات: استنتاجي، حثي، عن طريق القياس. صحة المنطقية للمظاهرة يعتمد على الاحتفال
قاموس
إنجازا من النتيجة المعيبة، والتي، بناء على أوجه تشابه كائنين، مصنوعة من قبل أي معلمات حول تشابهها على المعالم الأخرى.
أساسي
1. بوكروف v.a.، ماركين خامسا. أساسيات المنطق. M.، "منتدى Infra"، 2011. 2. Budbaeva S.P. المنطق. م، 2010. 3. إيفين أأ. المنطق. M.، "Gardariki"، 2004. 4. Ivlev Yu.v
إضافي
1. Wolfengagen v.e. المنطق. M.، "Cherkinarrinfor"، 2004. 2. Zhol K.K. المنطق. M.، "يونيتي"، 2004. 3. Zhol K.K. المنطق للمحامين. م، "يونيتي"، 2004.
مفهوم الأحكام المعقدة يرتبط ارتباطا وثيقا بالتزامن، وانفتاح، والتأثير، والمعادلة والحرمان.
هذه هي ما يسمى أربطة المنطق. يتم استخدامها كعلامة توحيد يرتبط بحكم واحد بسيط لآخر. هذه هي الطريقة التي تشكلت الأحكام المعقدة. أي الأحكام المتطورة - هذه هي الأحكام التي تم إنشاؤها من اثنين بسيط.
يتم عرض نسبة حقيقة الحكم في الجداول. تعكس هذه الجداول جميع الحالات الممكنة للحقيقة ورأت الحكم، وينعكس كل من الأحكام البسيطة، وهي جزء من معقد، في "غطاء" الجدول في شكل الرسالة (على سبيل المثال، أ ب). ينعكس الصدق أو الزفاف في شكل رسائل "و" أو "ل" (الحقيقة والأكاذيب، على التوالي).
قبل النظر في الاقتران، تنفصل، التضمين، التكافؤ والحرمان، من المنطقي منحهم وصف مختصروبعد تسمى هذه الأربطة المنطقية ثابتة ثابتة.
في الأدبيات، يمكنك تلبية اسمها الآخر - الثوابت المنطقية، ولكن هذا لا يغير جوهرها. في لغتنا، يتم التعبير عن هذه الثابت في كلمات معينة. وبالتالي، يتم التعبير عن الشراء من قبل النقابات "نعم"، "ولكن"، "على الرغم من"، ولكن "،" و "وغيرها، والتقارفي - بمساعدة النقابات" أو "، أو غيرها. يمكنك التحدث عنه حقيقة بالتزامن إذا كان صحيحا كل من الأحكام البسيطة المدرجة فيها. اختلال الوظائف صحيح عندما يكون الحكم البسيط واحد فقط صحيح. وهذا ينطبق على الانفصال الصارم، وهو أمر غير مرغوب فيه، رهنا بحقيقة واحدة على الأقل من مكونات أحكامها البسيطة. تتميز الآثار بالحقيقة دائما، باستثناء قضية واحدة.
النظر في المذكورة أعلاه أكثر.
بالتزامن (A ^ B) - هذه هي وسيلة لإبلاغ الأحكام البسيطة في معقدة، والتي تعتمد حقيقة الحكم الذي تم الحصول عليها مباشرة على حقيقة الرأي. لا يتحقق حقيقة مثل هذه الأحكام فقط عندما تكون كل من الأحكام البسيطة (و A، و B) صحيحة أيضا. إذا كان أحد هذه الأحكام على الأقل خاطئة، فينبغي التعرف على الخاطئة وتشكلها من الحكم الجديد المعقد. على سبيل المثال، في الحكم، "هذه السيارة عالية الجودة (أ) وركضت عشرة آلاف متر فقط (ب)" الحقيقة تعتمد عليها الجانب الأيمنوغادر. إذا كانت كلا الأحكام البسيطة صحيحة، فحقا ومعقدة، شكلت منها. خلاف ذلك (إذا كان أحد الأحكام البسيطة على الأقل) فهي خاطئة. هذا الحكم هو خاصية سيارة محددة. من الواضح أن ضرطة إحدى الأحكام البسيطة، من الواضح أنها لا تستبعد حقيقة الآخر، ويمكن أن يؤدي ذلك إلى أخطاء مرتبطة بتعريف حقيقة الأحكام المعقدة التي تشكلها بالتزامن. بطبيعة الحال، لا يتم استبعاد حقيقة حكم واحد بسيط من قبل زيل الآخر، لكن يجب ألا ننسى أننا نقدم موضوعا مميزا، ومن وجهة النظر هذه، فإن مصير إحدى الأحكام البسيطة يعتبر من جهة أخرى الجانب. يرجع ذلك إلى حقيقة أنه بضوء الحكم على أحد العناصر من هذه السمة، تصبح السمة ككل خاطئة (بمعنى آخر، يؤدي إلى نقل معلومات غير صحيحة عن السيارة ككل).
اختلال (A. الخامس. ب) يحدث صارمة وغير محتملة. الفرق بين هذين النوعين من الانفصال هو ذلك مع نموذج غير مفهوم لا يستبعد الأعضاء بعضهم البعض. يمكن أن يكون مثال مفاجئ غير صارم: "للحصول على شغل، يمكن إحضار الجزء على الجهاز (أ) أو لإعداد ملف (ب)." من الواضح، هنا ولا يستبعد ب والعكس بالعكس. تعتمد حقيقة مثل هذا الحكم المعقد على حقيقة أعضائها على النحو التالي: إذا كان كلا العضو كاذبين، فإن الحكم المخلص خاطئا مع خطأ. ومع ذلك، إذا كان الحكم البسيط الوحيد هو خطأ، فمن المعترف به مثل هذا الانفصال صحيحا.
انتقارف صارمة من المميز أن يستبعد أعضائها بعضهم البعض (على النقيض من الانكماش غير الصارم). الحكم "اليوم سأجعل الدروس (أ) أو الذهاب إلى المشي إلى الشارع (ب)" هو مثال على الانفصال الصارم. في الواقع، يمكنك إجراء إجراء واحد فقط في الوقت الراهن - لجعل الواجب المنزلي أو الذهاب للنزهة، ترك الدروس في وقت لاحق. لذلك، فإن الانفصال الصارم صحيح فقط عندما تكون واحدة فقط من الأحكام البسيطة المدرجة فيها صحيحة. هذه هي حالة الحقيقة الوحيدة للانفصال الصارم.
مقابل تتميز بحقيقة أن الحكم المعقد المتعلم صحيح فقط في الحالات التي تكون فيها كل من الأحكام البسيطة صحيحة، وزعافا مع أديان كل من هذه الأحكام. في تعبير أبجدي، يبدو التكافؤ مثل \u003d ب.
عند رفض الحكم، يتم عرضه ك A، صحيح عندما تم رفض المفهوم زورا. ويرجع ذلك إلى حقيقة أن الحرمان ونفى الحكم البسيط لا يتناقض فقط، ولكن أيضا استبعاد (ينكر) بعضها البعض. وبالتالي، اتضح أنه عندما يكون المفهوم A حقا، زورا، أ. وعلى العكس من ذلك، إذا كاذب أ، ثم حرمانها صحيح.
الاستدارة (أ -\u003e ب) صحيح في جميع الحالات باستثناء واحد. بمعنى آخر، إذا كان الأشخاص الذين يدخلون هياكل الأحكام البسيطة صحيحة أو خاطئة أو إذا كان الحكم الخاطئ أ، ضمانات الحقيقة. ومع ذلك، فإن الآثار نفسها تصبح خاطئة مع الآثار المترتبة على الحكم. يمكن اعتبار ذلك في المثال: "سنرمي خرطوشة جيدة للنار (أ)، وسوف ينفجر (ب)". من الواضح أن الحكم الأول صحيحا، ثم صحيح والثاني، حيث أن انفجار الخرطوشة الذي ألقيته في النار سيحدث مع الحتمية. لذلك، بالنظر إلى الحالة الأولى، يمكننا أن نستنتج أنه إذا كان الحكم الثاني خاطئا، فإن التضمين الكامل هو خطأ.
جميع الأمثلة المذكورة أعلاه للتزامن، وانفتاح، تتألف الآثار من متغيرين. ومع ذلك، هذا لا يحدث دائما. ربما وجود ثلاثة متغيرات أو أكثر. النظر في الأحكام المعقدة للحقيقة، نحصل على الصيغ الأبجدية. هذا الأخير يمكن أن يتميز بكل من الحقيقة والزيف. في هذا الصدد، يسمى True متطابق صيغة صحيحة بالنسبة لأي مجموعات من متغيراتها. اسم الصيغة المماثلة الخاطئة التي تأخذ فقط قيمة خاطئة (القيمة "FALSE"). يتم تنفيذ النوع الأخير من هذه الصيغ بواسطة الصيغة. اعتمادا على مجموعات المتغيرات المدرجة فيها، يمكن أن تأخذ كل من القيمة "الحقيقة" والقيمة "كذبة".
2. التعبير عن البيانات
يحدث التعبير عن البيانات بمساعدة الرموز - المتغيرات والعلامات تدل على المصطلحات المنطقية. لا توجد شخصيات أخرى لهذا الغرض. بيانات متغيرة تم التعبير عنها في شكل خطابات الأبجدية اللاتينية (A، B، C، D، إلخ). وتسمى هذه الرسائل بيانات متغيرة، فضلا عن متغيرات الاقتراح. تكلم لغة بسيطةبموجب هذه المجموعة من الشخصيات مفهومة عن طريق الأحكام البسيطة التي تشكل البيان. يتم التعبير عن هذه الأحكام في شكل عروض سردية. مجموعة أخرى من الشخصياتتستخدم للتعبير عن البيانات في الصيغ هذه هي علامات. إنهم يدلون عن الناحية المنطقية، مثل بالتزامن وانفتاح، مما قد يكون صارما وغير صارم، إنكار، معادلا وتضاياضا. يتم عرض الشراء كعلامة شيك يتم توجيهه (^) الانفصال كقراد يشير إلى أسفل (V). مع تقييد صارم فوق القراد هو النقطة. التضمين له علامة "-\u003e"، إنكار (-)، التكافؤ (\u003d).
النوع الأخير من الرموز، التي يتم التعبير عن العبارات، هي أقواس مستديرة.
الرموز التي تدل على الشروط المنطقية، وحزم، تتميز قوة مختلفةوبعد لذلك، تعتبر الحزمة ^ الأقوى، أي أنها ترتبط بأقوى أخرى. Bunch V أقوى من - ما هو مهم فقط في بعض الحالات. وبالتالي، فإن تعريف قوة الأربطة يصبح مهما في حالة سجل الصيغة دون استخدام الأقواس. إذا كان لدينا بيان أعرب عنه الصيغة (^ ب) الخامس. جيم، لا يمكنك كتابة الأقواس، ولكن تشير إلى ذلك مباشرة ^ ب الخامس. ج. تنطبق نفس القاعدة عند استخدام الرمز -\u003e. لكن هذه القاعدة إلى حد ما ليس في جميع الحالات. وهذا هو، في كثير من الحالات، من غير المقبول خفض أقواسها. على سبيل المثال، عندما يتم تنفيذ مجموعة ملائمة من المفهوم A مع مفاهيمين أخريين مرتبطين بنسبة الآثار والأقواس المستديرة المنفصلة، \u200b\u200bفإن الأخير غير مقبول (^ (ب - ج). هذا واضح، نظرا لأن ذلك يجب أن أقوم أولا بإجراء حفنة من بالتزامن وفقط بعد ذلك. من السنة الدراسية للرياضيات، نعرف أننا نقدم قوسين في حادث مماثل مستحيل. توضيح حالة مماثلة ربما المثال التالي: 2 عاشر (2 + 3) = 10 و 2 عاشر 2 + 3 = 7. والنتيجة واضحة.
فيما يتعلق أعلاه، يمكن الإشارة إلى أنه ليس كل تعبير رمزي عن العبارات هو صيغة. هذا يتطلب علامات معينة. على سبيل المثال، يجب بناء الصيغة بشكل صحيح. أمثلة على مثل هذا البناء يمكن أن يكون: (^ ب)، (أ الخامس. ب)، (أ - ب)، (أ = ب). يلاحظ هذا البناء ك PPF، أي صيغة شيدة بشكل صحيح. أمثلة على الصيغ المبنية بشكل غير صحيح يمكن أن تكون: ^ ب، أ الخامس. ب.، الخامس. ب، أ. - ب، (^ ب) وآخرون في الحالات الثلاث الأولى، خلل الصيغة هو أن المفاهيم المتحدة من خلال حزم يجب أن تكون محاطة بأقواس. تتميز الصيغة الأخيرة بقياس غير منقطع، والمثال الثالث يتميز بحقيقة أنه لا يتم دمج مفهوم واحد بسيط مع آخر، على الرغم من حقيقة أن هناك رمزا للانتقص.
في ov. الحياة اليومية نحن في كثير من الأحيان، في بعض الأحيان لا تلاحظ هذا، نحن لا نستخدم ليس فقط بسيطة، ولكن أيضا الأحكام المعقدة أيضا. يتم تشكيل هذه الأحكام المذكورة أعلاه، من أحدث أحكام بسيطة باستخدام الأربطة المنطقية التي تسمى الانفصال والاقتران والآثار والكرية، وكذلك التكافؤ. يتم التعبير عن هذه الحزم باستخدام علامات: ^ للتزامن الخامس. لتنفذ - > للتأثير. لافتة = عرض التكافؤ، وتوقيع أ. يعني النفي. هناك نوعان من خيارات العرض المفاجئة. الأول هو علامة بسيطة تشير إلى أسفل - لتنفذ بسيطة. في حالة التعقيد، يتم استخدام نفس علامة الاختيار، ولكن مع نقطة من أعلاه. الصورة الرسمية لصيغ الأحكام المعقدة مهمة للغاية، لأنها تسمح لك بتفهم أكثر بوضوح هيكلها وطبيعتها ومعناه.
الأربطة المنطقية يجمع بين الأحكام العاديةمن هم أساسا عروض السردوبعد وهنا هناك الكثير من الخيارات. قد تتكون المقترحات من الأسماء والصفات، من الأفعال والمجتمعات، إلخ. بعض المقترحات هي الأحكام البسيطة، والبعض الآخر معقد. تتميز الأحكام أو البيانات المعقدة بحقيقة أنه يمكن تقسيمها إلى ثابتين من المنطقي البسيط والمضمون. ومع ذلك، هذا ممكن ليس مع الجميع العروض المعقدةوبعد عندما يغير البيان معناه نتيجة تقطيع، مثل هذه العملية غير صالحة. على سبيل المثال، عندما نقول "المنطقة كانت قديمة، والمنازل كانت طويلة كانت بذور"، نحن نقصد بالاقتران، حيث يوجد جانب واحد، "المنطقة كانت قديمة"، متحدها الاتحاد "و" مع الجزء الثاني - "المنازل كانت منذ فترة طويلة البذور". لم يتغير معنى البيان، على الرغم من حقيقة أننا نظرنا إلى الأحكام العادية في الفصل عن بعضنا البعض. ومع ذلك، في البيان "وقوف السيارات متوقفة سيارة جميلة وسريعة" ستتسبب محاولة الفصل في تشويه في البداية المعلومات المنقولةوبعد لذلك، بالنظر إلى الأحكام البسيطة بشكل منفصل، سنحصل على: "الجميلة (السيارة) المتوقفة في موقف السيارات هي الحكم الأول، متحد للتحالف الثاني" و ". الحكم الثاني هو: "(وقوف السيارات متوقفة) سيارة سريعة". نتيجة لذلك، قد تعتقد أن هناك سيارتين - واحدة جميلة، والآخر سريع.
منطق - هذا هو بالتأكيد علم مستقل وجود جهاز مفاهيمي، مجموعة أدوات، قاعدة المعلومات. يتم فصل أي علوم مستقلة عن الآخرين وغالبا ما يتميز في الجذر بنهج واحد أو آخر كائن. يجب أن يؤخذ ذلك في الاعتبار عندما نعتبر من وجهة نظر منطق هيكل اللغة الروسية. دراسات المنطق مثل هذه البناء أكثر معزولة. لذلك، غالبا ما يتم أخذ عامل الوقت في الاعتبار عند النظر في أحكام مختلفة. في اللغة الروسية، يؤخذ عامل الوقت، حسب الاقتضاء، في الاعتبار دائما. هنا يجب أن يقال عن عملية الاتصال بالاتصال، والتي ترتبط ارتباطا وثيقا بالخصائص المذكورة أعلاه للغة والمنطق. كذب - هذا هو تكافؤ الأحكام (البيانات) متى (a ^ b) \u003d (b ^ a). في اللغة، لا يعمل قانون التخفيف من الارتياح، حيث يتم أخذ عامل الوقت في الاعتبار. في الواقع، من المستحيل تخيل معادلة بعض الأحكام، واحدة منها في الوقت المناسب قبل الآخر، والعكس صحيح. على سبيل المثال، لن تكون البيانات ما يعادلها "أمطرت، ونطبل" (^ ب) و "نطبل، أمطرت" (ب ^ أ). نفس الوضع مرئيا في البيانات "ضرب الطلقة، وسقط الوحش" و "الوحش سقطت، وضرب النار". من الواضح أن عامل الوقت يؤخذ في الاعتبار، وفقا لأي حدث أو إجراء واحد، ينعكس في حكم معقد، يسبق الآخر، ومع ذلك، فإن معنى البيان بأكمله يعتمد.
الملخصات المنطقية من وقت لآخر وتقييم الحكم فقط من وجهة نظر بناءها الصحيح، وكذلك الحقيقة أو الزيف. في هذا الصدد، تعادل البيانات المذكورة أعلاه معادلة، لأنه في كل حالة فردية، كل منهما صحيحون.
في هذا الطريق، البيانات الملتحية في المنطق التخفيفباستخدام أحكام الاتحاد "و" من وجهة نظر اللغة (في القضية عندما يتم أخذ عامل الوقت في الاعتبار) غير مفيد.
على الرغم من حقيقة أن ما سبق هو حروف الجر، والتي يتم تشكيلها، فمن المستحيل أن نقول ذلك في غياب هذه الجر، والتزامن مستحيل. هذا ليس صحيحا. في كثير من الأحيان في اقتراحات هي الأحكام المعقدة، مع استخدام حزم علامات مختلفة علامات ترقيم. على سبيل المثال، يمكن أن تكون فاصلة أو اندفاعة، وأحيانا النقطة.
يتم تعيين علامات الترقيم المستخدمة في البيانات بين الأحكام البسيطة وربطها مع بعضها البعض. كمثال لاستخدام علامات الترقيم كأربطة منطق، فإن اقتراح "توفي السحب، تنظر الشمس" أو "الصقيع ضرب الشارع، تم إخفاء جميع الكائنات الحية، تم تشكيل الجليد على الأسطح". بشكل عام، شارك العديد من العلماء في قضايا التعبير اللغوي بالتزامن. لذا هذه المسألة عملت جيدا وأضاءت.
الاختليطات (أذكر أن تعيينه الرمزي V، وكذلك علامة اختيار مماثلة، ولكن بنقطة في الأعلى) هناك صارمة وغير صارمة. الاختلافات في هذين النوعين، كما ذكرنا بالفعل، هي أن أعضاء الانفصال غير الصارم يستبعد بعضهم البعض، في حين أن الأعضاء صارمة.
قانون التخفيف أثناء الانفصال أفعال بغض النظر عن مظهره في الاعتبار. أذكر أن تنفيذا عبر عن النقابات، ما الرئيسي، بالتأكيد، "أو" و "إما". نعطي أمثلة على تقييد صارم وغير صارم واستخدامها لتوضيح عمل القانون التنحي. الحكم "سأشرب الماء مع الغاز أو بدون غاز" هو مثال على الانفصال غير الصارم، في حين أن الحكم "سأذهب إلى الجامعة أو البقاء في المنزل" - صارمة. الفرق بينهما هو أنه في الحالة الأولى، لا يزال سيتم تنفيذ الإجراء، بغض النظر عن نوع المياه المحدد. في الحالة الثانية، يتم استبعاد الإجراء (سأذهب إلى الجامعة) إذا اخترت الخيار الثاني والبقاء في المنزل. في كثير من الحالات، يمكن استبدال الاتحاد "أو" ببساطة بالاتحاد "إما". على سبيل المثال، في الجملة "أو سوف آكل من الجبل على الزحافات، أو الانخفاض في الطريق" يمكنك استخدام الاتحاد "إما" دون أي تغييرات. ومع ذلك، هناك اتحاد يستخدم بشكل مستقل وهو أيضا حزمة محرقة. هذا هو الاتحاد "إما، أو". غالبا ما يستخدم بما فيه الكفاية عند بناء مقترحات "جاء اليوم، أو المراجع، أو المراجع"؛ "يعيش أو في موسكو، أو في شارع كومسومولسكايا" إلخ.
كما ذكر أعلاه، يعمل قانون التخفيف في تصريحات محرقة بشكل مستقل عن نوع الانفصال. خذ على سبيل المثال الحكم التالي: "سأشرب الماء بالغاز أو بدون غاز" و "سوف أشرب الماء دون غاز أو غاز". من الواضح أنه لا يوجد فرق بينهما، لا يزال المعنى واحد. يمكنك أيضا التحقق من الأمثلة الأخرى، ويقول "سأذهب إلى الجامعة أو البقاء في المنزل" و "سأبقى في المنزل أو الذهاب إلى الجامعة". لا يتغير محتوى وحجم الحكم المعقد الذي تشكل عن طريق الانفصال عن التقليب من أعضائه. هذا هو السبب في أننا نتحدث عن التنظيف العالمي.
تعتبر التعبير عن الأربطة المنطقية باللغة متنوعة للغاية، وهناك العديد من المخططات التي يتم بناء البيانات التي يتم بناء البيانات. لكل من هذه المخططات يمكن بناء كمية كبيرة الأحكام المعقدة. هذه هي سمة خاصة اللغات الروسية في جميع غموضها. على سبيل المثال، يعتمد التضمين على هذه المخططات، مثل "للحصول على ضروري"؛ "مقابل ما يكفي"؛ "إذا أ، ثم في"، "، فقط إذا كنت في" وما إلى ذلك على سبيل المثال: "من أجل معرفة الكثير، فأنت بحاجة إلى تعلم الكثير". "القفز من البرج، يكفي دفع الساقين."؛ "إذا كانت السيارة عالقة، فسيتعين عليها أن تدفع"؛ "يمكنك تمرير الجلسة في الوقت المحدد، فقط إذا بدأت في التحضير على الفور."
يوجد عدد من الصيغ مقابل التكافؤ: "أ، إذا في، وفي، إذا"؛ "للحصول على ضروري وكفى في"؛ "ثم وفقط عند في" وغيرها، نقدم أمثلة على الحكم بناء على المخططات المحددة. على سبيل المثال: "إذا كان الشخص يشارك في رفع الأثقال، فسوف يصبح أقوى" و "الشخص سيصبح أقوى إذا كان يشارك في رفع الأثقال"؛ "للقبول في الجامعة، فمن الضروري وما يكفي لتمرير امتحانات الدخول"؛ "لقد وصلت إلى Vertex إذا وفقط عندما تدخلت عند أعلى نقطة في الجبل."
في هذا الصدد، من الضروري أيضا ذكر غموض النقابات المعربية عن الثوابت المنطقية (بالاقتران، والانفصال والتأثيرات، إلخ). على سبيل المثال، فإن الاتحاد "إذا" قد يعرب في كثير من الأحيان عن التضمين، ولكن بالاقتران. ذلك يعتمد على وجود معنى بين الأحكام. في هذا الصدد، من الضروري النظر في تعبيرات اللغة الطبيعية من وجهة نظر تنوعها وغير تجهيزي.
بالإضافة إلى الأربطة المنطقيةأعرب باللغة الروسية مع وسائل الإعلام المستخدمة في تشكيل الأحكام المشتركة والخاصة، هناك كميات. هذا هو كمماني من الوجود والمجتمع الكمي.
كميات المجتمع يتم التعبير عنها باللغة الروسية مع عبارة "كل"، "كل شيء"، "كل شيء"، وما إلى ذلك عادة ما يتم قراءة الصيغة مع مجتمع الكم الكم ك "جميع العناصر لها خاصية معينة".
كمين يتم التعبير عنها بكلمات "الأكثر"، "الأقلية"، "بعض"، "كثير" و "قليل"، "كثير"، "القليل"، "كل شيء" تقريبا "، إلخ. يتم التعبير عن هذا الكم "هناك بعض الأشياء مع خاصية محددة." هناك تبديل لاستخدام كمية من الوجود، والتي "هناك بعض الأشياء التي هي أكثر من قيمة معينة." في هذا البناء، يتم فهم الكائنات.
يتم التعبير عن بعض الأحكام التي شيدتها الآثار في إمالة Subjunctive. لديهم نفس الصيغة مثل الآثار الأخرى (أ -\u003e ب)، لكنها تسمى مناهضة. الميل الصخري يجعلنا نفهم أن أساس هذه الأحكام والنتيجة هي خاطئة. ومع ذلك، فإن هذه الشفرة ليست عالمية، أي، في ظل ظروف معينة، حقيقة مثل هذه البيانات ممكنة. وبعبارة أخرى، يمكن أن تعكس هذه الأحكام هذا الموضوع بشكل صحيح.
الحقيقة ممكنة إذا كانت العلاقة بين القاعدة والنتيجة تنطوي على أن حقيقة التحقيق تتبع من حقيقة المؤسسة. خلاف ذلك، يمكننا أن نوضح شعر هذا الحكم.
البيان المدمج في الاشتعال الصنع له هيكل "إن وجد، ثم سيكون في". على سبيل المثال، "إذا مشيت إلى جميع فئات المنطق، فسوف تمر بنجاح الامتحان"؛ "إذا لم يكن القطار متأخرا، فسوف نتأخر عن القطار" و "إذا سقط المريض، فلن يكون لديه ساق".
البيانات المزيفة أهمية عظيمة للتاريخ والفلسفة إلى حد ما من الرياضيات وبعض العلوم الأخرى. يتم استخدامها في بناء الفرضيات، والنظر في القضايا التاريخية وغيرها من القضايا وتحديد الاتجاهات المحتملة لهذه العمليات أو غيرها. على سبيل المثال، لا تزال لا تتوقف عن المناقشات حول موضوع العظمى الحرب الوطنيةوبعد في إطار هذه المناقشة، تعتبر مسألة إمكانيات السكتة الدماغية البديلة والنتائج التي يمكن أن تكون مع صدفة مختلفة من الظروف. أيضا داخل الكيمياء والفيزياء والفلكية، غالبا ما تستخدم الأحكام التعاقدية. على سبيل المثال، تختتم الفيزياء العملية في بعض الأحيان أن تحديد التدفق الدقيق لأي عملية غير ممكنة. في هذه الحالة، لتحقيق النتيجة المرجوة، يجب عليك استخدام طريقة الإطفاء الفكري وتأكيد نتائج الممارسة.
يمكن أن يكون الحكم التالي مثالا على الحكم المتعاقدي في الفيزياء: "إذا انتقلنا التيار الكهربائي من خلال موصل النحاس، فسوف تتحول التفريغ إلى أقوى". نظرا لأن حقيقة الحكم المناهج غير غامض، وبإعداد افتراضي، يتم الاعتراف بكل من قاعدتها ونتيجة (وبالتالي، وفقا لذلك، كل الحكم ككل) كخطأ، يجب التحقق من هذا الحكم في الممارسة العملية. في هذه الحالة، يمكن أن يكون الحكم صحيحا وكاذبا. ذلك يعتمد على الموصل الذي استخدمناه في وقت سابق. على سبيل المثال، إذا أخذنا موصل حديدي قبل النحاس، فسيكون حكمنا صحيحا، حيث يعطي النحاس مقاومة أقل عند القيادة من خلال موصل تيار كهربائي. ومع ذلك، إذا سبق أن استخدمنا الذهب كموصل، فسيكون الحكم خطأ، مرة أخرى بسبب الموصلية للمواد، والذهب لديه أكبر بكثير من النحاس. يطرح علم الفلك مسألة بعض خصائص المدارات للأجسام السماوية وخصائص حركة الأخير، والموقع المتبادل للكواكب والنجوم والأنظمة والمجرات، وما إلى ذلك نتيجة لذلك، كما يتم استخدام البيانات المناهضة أيضا. في بعض الأحيان لأذذائه أو لتهدئة الوضع الحاد، يقول الناس: "إذا لم يحدث ذلك، فسيكون كل شيء قد ذهب خلاف ذلك". هذا هو أيضا مثال على استخدام الإشعال الصنع.
ومع ذلك، يجب أن نتذكر ذلك يتكون الحكم المزيف من القواعد والتحقيقات الخاطئة. لذلك، عند استخدام هذه الهياكل في العلوم، من الضروري مراعاة الحذر المعروف.
يمكن التعبير عن الأحكام المزيفة باستخدام الصيغ. في هذه الصيغ، ينعكس عدد أعضاء البيان، ونوع الحزمة بينهما وعلامة التضمين. التضمين في الحكم المزيف لديه خصوصية معينة: يتوافق مع أمور أخرى، الاتحاد "إذا ..." على اليسار في هذه الصيغة، تنعكس أعضاء البيان المتعاقدين، الاتحاد المقابل "إذا"، فإن اليمين - الاتحاد "ذلك". تختلف الأجزاء اليسرى والأيمن من الآثار عن العبارات المستخدمة في المنطق الكلاسيكي. الفرق بين هذين الشخصين هو أنه في الجزء الخلفي من السهم يشير إلى التضمين ( الخيار الكلاسيكي (-\u003e))، في الآثار المزيفة هناك ميزة رأسية (| -\u003e). مثل هذه العلامة في المنطق الكلاسيكي للبيانات غير قابلة للتطبيق.
3. ينفي الأحكام المعقدة
الحرمان من الحكم في المنطق - يستبدل هذا الحزمة الموجودة في بيان معقد على الجانب الآخر. إذا كنا نتحدث عن صيغة يمكنك من خلالها التعبير عن الحرمان من الأحكام المعقدة، تجدر الإشارة إلى أنه يتم التعبير عن النفي رسميا كخط أفقي على الحكم المفروض. وهكذا، سنحصل على مفهومين متحدون من الرباط المنطقي، والتي سمة أفقية. إذا كانت هذه الميزة موجودة بالفعل، فمن الضروري حذف هذا السطر لإجراء نفي.
كل ما سبق يشير إلى العمليات المنتجة باستخدام بالتزامن وانتقصي. ومع ذلك، فإن ما سبق لا يعني أن الحرمان من الأحكام المعقدة ممكنة فقط إذا كانت تحتوي على أربطة حصرية بالتزامن وانتقصي. إذا كان من الضروري إجراء عملية تفاني فيما يتعلق بالحكم الذي يحتوي على التضمين، فمن الضروري استبدال هذا الحكم بحيث في غياب أي تغييرات في تجاهل الآثار. هذا يعني أنه من الضروري اختيار الحكم يعادل هذا، والتي لن تحتوي على آثار. عندما نتحدث عن الحكم المكافئ لاحتواء الآثار، ولكن لا يحتوي عليه، فهذا يعني استبدال هذه الحزمة بالاقتران أو الانفصال. بيانيا، يبدو وكأنه (A - B) \u003d (v v). ثم العملية الموضحة أعلاه هي أعلاه، حيث يتغير علامة بالاقتران إلى الانفصال والعكس بالعكس.
عادة في الكلام، يتم تقليل التعبير عن النفي لإضافة وحدة التحكم "غير". في الواقع، نظرا لأن البادئة المحددة سالبة، فإن استخدامه لإثبات العكس هو مبرر تماما.
من الضروري ذكر قوانين دي مورجان. يتم استخدامها في عملية الحرمان من الأحكام المعقدة وهي تعبير صيغة. هذه القوانين، وبالتالي، فإن الصيغ هي أربعة فقط:
بعد أن نظرت في ما سبق، يمكن الإشارة إلى أن إنكار الحكم المعقد، الذي يحتوي على الاقتران أو الانفصال، هو خيار "بسيط"، حيث تكون عملية النفي فقط كافية.
الصيغة التي تم تشكيلها باستخدام قوانين دي مورجان هي كما يلي:
(a ^ b) v (c ^ e) \u003d (a v b) ^ (c v e).
نعطي أمثلة على عملية الحرمان. إنكار الحكم المعقد، الذي لا يوجد أي ضمني: "سأنتهي من العمل والذهاب إلى المشي وتأتي إلى المتجر" - "سأنتهي من العمل، لكنني لن أذهب للنزهة ولا أذهب إلى المتجر " إن رفض الحكم المعقد، الذي من الضروري تغييره أولا بتأيثيل بالتزامن أو الانفصال، يمكن أن يتضح المثال التالي: "إذا اشتريت سيارة، فسوف أذهب إلى أبعد من المدينة أو ملفوفة في البلاد" - "سأشتري سيارة، لكنني لن أتجاوز المدينة وعدم أن أكون معتمدا للبلاد". في هذا المثال، خفضنا خطوة استثناء التضمين للراحة.
يجب أن يقال أن الأحكام التي تنكر بعضها البعض لا يمكن أن تكون حقيقية في وقت واحد أو خطأ. تتميز وضع التناقض أو الإنكار بحقيقة أن أحد المفاهيم المتناقضة هو دائما حقيقي حقا، والآخر خطأ. قد لا يكون هناك موقف آخر في هذه الحالة.
من المستحيل تحديد عملية الإنكار، ونتيجة لذلك يتم تشكيل حكم جديد، من الإنكار، وهو جزء من الأحكام السلبية. يمكن إجراء حرمان الأحكام فيما يتعلق بكل الحكم وأجزائه وأعرب عن عبارة "لا"، "ليس جوهر"، "لا"، وكذلك "غير صحيح"، وما إلى ذلك على ما سبق، نحن يمكن أن نستنتج أن هناك نوعان من النوع من الرفض الداخلية والخارجية. لأنه ليس من الصعب تخمينه، ينفي الخارجي كل الحكم ككل. على سبيل المثال، "بعض الجنود ليسوا مظليون" - هذا إنكار داخلي، في حين أن الحكم "غير صحيح أن القمر كوكب" - وهذا هو إنكار خارجي. وبالتالي، فإن النفي الخارجي هو الحرمان من كل الحكم ككل، في حين أن الداخلية تظهر حقيقة التناقض أو عدم تناسق المسند للموضوع.
في شكل صيغ، يمكنك عرض الأنواع التالية من الأحكام السلبية: "الكل S هي P" و "بعض S ليست ف" (هذه هي الأحكام العامة)؛ "لا S هو P" و "بعض S هي P" (الأحكام الخاصة). يبدو آخر نوع من الأحكام السلبية وكأنه "هذا هو P" و "هذا S ليس p" (أحكام تسمى واحدة).
معقدة هو الحكم يتكون من العديد من الأربطة البسيطة المرتبطة. التمييز بين الأنواع التالية من الأحكام المعقدة: 1) الاتصال، 2) فصل، 3) الصلبة- | ، 4) تعادل. يتم تحديد حقيقة هذه الأحكام المعقدة من قبل حقيقة عاديها.1. ربط الأحكام (الملتحمة)، ي
الاتصال، أو الملتحمة المسماة الحكم، مع "الوقوف من منطق العديد من المنطق البسيط المرتبط" و ". على سبيل المثال، فإن الحكم" السرقة والاحتيال يتعلق بالجرائم المتعمدة "هو حكم ربط يتكون من اثنين بسيط:" سرقة تشير إلى جرائم متعمدة "، يشير الاحتيال إلى جرائم متعمدة." إذا كان الأول يدل على P، والثاني - ف، ثم الاتصال؛
يمكن التعبير عن الحكم رمز رمزي باسم P L Q، حيث P و Q - الأعضاء. ^ بالتزامن (أو الالتزام)، L هو رمز بالتزامن.
|في اللغة الطبيعية، يمكن تزويد حفنة الملتحمة بتعبيرات مثل: "A"، "ولكن"، "كذلك"، "مثل"، 1 "على الرغم من"، "ومع ذلك" على الرغم من "،" على النحو التالي الوقت، "وغيرها. على سبيل المثال: "عند إنشاء محكمة بأحجام موضوعية للرجوع | ليس فقط الأضرار يجب أن تؤخذ في الاعتبار ،! (ع)، ولكن أيضا البيئة المحددة التي كانت الخسائر فيها. القنوات (Q)، وكذلك المركز المالي للموظف (ز). SIM-، |. في شاملة، يمكن التعبير عن هذا الحكم على النحو التالي: P L Q
يمكن أن يكون ربط الحكم كل من طيارين ومتعددين؛ في سجل رمزي: p l q l g l ... l p. نحن نقدم مثالا على حكم الاتصال، والذي يتضمن أكثر من 20 شكا من 20 عاما:
"تحذير مؤلم من خلال المطبات، الخفقان بواسطة أكشاك، النساء، الأولاد، المحلات، والفوانيس، قصور، حدائق، الأديرة، حدائق، التجار، الحظائر، الرجال، الشوكل، الأبراج، القوزاق، الصيدليات، مخازن الأزياء، شرفات، الأسود على البوابة وحزم الصدمة على الصلبان ".
(A.S. بوصة)
في اللغة، يمكن التعبير عن حكم الاتصال في واحدة من ثلاث هياكل منطقية منطقية.
1. يتم تقديم حزمة ربط في موضوع معقد وفقا للمخطط: SI و S2 هناك R. على سبيل المثال: "مصادرة الملكية والحرمان من الألقاب هي قوانين جنائية إضافية."
2) يتم تقديم الحزمة في المسند المعقدة وفقا للمخطط: S هو PI و PI. على سبيل المثال: "الجريمة هي عمل خطير وغير قانوني اجتماعيا".
3) تمثل الحزمة بمزيج من الأساليب الأولى وفقا للمخطط: SI و SI هي بي و P2. على سبيل المثال: "مع polytzmeister والمدعي العام، كان النزوات أيضا على" أنت "ومعالجتها ودية" (N.V. Gogol). ص س المقصود و I. و l l l l l l l l
يعد حكم الاتصال صحيحا حقا بحقيقة جميع مكونات قرطها وزعفية مع زيف واحد منهم على الأقل. يتم عرض ظروف الحقيقة في الحكم في الجدول (الشكل 31)، حيث يتم الإشارة إلى الحقيقة، والباطل - L. في أول أعمدة من الجدول R و Q تؤخذ مستقلة ويتم إذنها لذلك جميع المجموعات الممكنة من القيم و L: AI، IL، LEE، LL. يعرض العمود الثالث قيمة الحكم P L Q. من خيارات التراكم الأربعة، فهي فقط في السطر الأول، عندما تكون كل من التشكيك صحيحة: و P و Q. في جميع التين، 31 حالات أخرى هي خاطئة: في 2nd
والخطوط الثالثة بسبب زيف أحد الأعضاء، وفي الرابع بسبب مصير كلا الأعضاء.
2. أحكام منفصلة (محرم).
يتم استدعاء الفصل، أو الإغراق، الحكم، مكانه من العديد من الاتصالات المنطقية البسيطة المتصلة "أو". على سبيل المثال، يمكن أن يكون الحكم "عقد البيع بالفم أو جاري الكتابة"هل ينقسم.؟ حكم يتكون من اثنين بسيط: "العقد المشتراة؛
الحياة يمكن إرفاقها عن طريق الفم "؛ "عقد البيع المشتراة؟ يمكن الانتهاء في الكتابة ".
إذا كانت الملاحظة الأولى من P، والثاني - ف، ثم الحكم الفاصل للرملية! يمكن التعبير عنها كما P V Q، حيث P و Q - أعضاء الانفصال (Dizuyur You)، V هو رمز للانتقار.يمكن أن يكون حكم الفصل بين كل من الطين والكثير من الطين: P V Q V ... V P.
في اللغة، يمكن التعبير عن حكم الفصل الأول | من الهياكل النحوية الثلاثة المنطقية. ؛
1) تمثيل حزمة الفصل في موضوع معين P2) تمثل حزمة الفصل في برنامج P3 المسند معقدا P3) تمثل حزمة الفصل بمجموعة من الأساليب الأولى وفقا للمخطط: SI أو S2 هو PI أو P2. على سبيل المثال: "رابط IL! يمكن استخدام الطرد كأساسي أو خيار |
عقوبات نوي ". |
الانفصال غير الصارم والصارم. نظرا لأن حفنة "أو" يتم الضغط على الحزمة بلغة طبيعية في قيمتين - اتصال متصل وحصري منفصل، ثم يتم اتباع ذكاء نوعين من أحكام الفصل: 1) غير صارم (ضعيف) DG zyunction و 2) تقصير صارم (قوي).
1) انتقصي غير السكتة الدماغية هو الحكم الذي "أو يستخدم في القيمة المتصلة والقسمة (SI" (OV V). على سبيل المثال: "الأسلحة الباردة يمكن أن تكون حاسمة أنا قطع" رمزية P V Q. حزم "أو" في هذه الحالة أسهم F لأن هناك أنواع من الأسلحة بشكل منفصل، والوحدات ^ لأن هناك سلاح، في نفس الوقت كعكة، وقطع
يتم تقديم شروط حقيقة الانفصال غير السكتة الدماغية في تلك الوجه (الشكل 32). سيكون الحكم P V Q صادقا مع حقيقة XG سيكون عضوا واحدا في الانفصال (1، 2، الأوتار الثالثة - II، IL، L!
P Q PVQ وكلاهما و l و l و l l l l l
ستكون الانفصال خاطئة مع زيف كل من أعضائها (الخط الرابع - Лл).
2) الانفصال الصارم - الحكم الذي يستخدم فيه الحزمة "أو" في القيمة الفاصل (رمز؟). على سبيل المثال: "يمكن أن يكون الفعل مقصلا أو مهمل"، رمزي؟ س.
لا يمكن أن يكون أعضاء الانفصال الصارم، الذين يطلقون البدائل، صحيحا في وقت واحد. إذا تم إجراء الفعل عن قصد، فلا يمكن اعتباره مهملا، وعلى العكس من ذلك، - لا يمكن أن يعزى القانون الذي يرتكبه الإهمال إلى المتعمدة. p q p ^ q و l و l و l و l و l و l l l l l
يتم تقديم شروط حقيقة الانفصال الصارم في الجدول (الشكل 33). الحكم ص؟ سيكون صحيحا في حقيقة واحدة وكاذبة عضو آخر (الصفوف الثانية والثالثة IL، لي)؛ سيكون خطأ إذا كان كلا الأعضاء صحيحين (سطر واحد - ثاني) أو كلا كاذبة (الخط الرابع - Лл). وبالتالي، فإن حكم الانفصال الصارم سيكون صحيحا في حقيقة بديل واحد وكاذب - كلاهما بدائل متزامنة وحقيقة بدائل في وقت واحد.
عادة ما يتم التعبير عن الفصل بين اللغات باللغة بمساعدة النقابات "أو" إما ". من أجل تعزيز تقارص الأهمية البديلة، شكك في الاعتماد في كثير من الأحيان: بدلا من التعبير "P أو Q"، فإنها تستخدم "أو ص، أو س"، معا "P أو Q" - "إما ص أو س". نظرا لعدم وجود نقابات لا لبس فيها في قواعد اللغة للانفصال غير الصارم الصارم والدقائق، ينبغي حل مسألة نوع الانفصال في النصوص القانونية وغيرها من خلال تحليل هادف للحكمات ذات الصلة.
في السياقات القانونية والسياسية وغيرها من السياقات، يتم استخدام الانفصال عن محتوى وحجم المفاهيم، ووصف أنواع الجرائم أو العقوبات، واصفا بتركيبات الجريمة والجرائم المدنية.
الانفصال الكامل وغير مكتمل. من بين الأحكام المتعفنة، يجب تمييز الانفصال الكامل وغير المكتملة.
أكمل أو مغلق هو حكم محرز، يسرد جميع العلامات أو جميع أنواع أنواع معينة.
رمزيا، يمكن تسجيل هذا الحكم على النحو التالي. " على سبيل المثال: "الغابات متفوقة و OL" مختلطة ". يمثل ملء هذا الفصل (في سجل رمزي ^ بواسطة علامة<...>) تحددها حقيقة أنه لا توجد موجودة بالإضافة إلى أنواع الغابات المحددة الأخرى. |
غير مكتملة أو يسمى بصراحة الحكم المخلص ^ في أي علامات أو لا يتم سرد جميع أنواع أنواع معينة. في السجل الرمزي لمكافحة الانفصال، يمكنك! يتم التعبير عنها بواسطة DOT: P V QV R V ... باللغة الطبيعية لا | يتم التعبير عن الانفصال عن طريق الكلمات؛ "إلخ"، "وآخرون"، "، ثم" مثل "،" الآخر "وغيرها.
3. الأحكام الشرطية (الأورم).
يطلق عليه الشرطية، أو المتورط، حماة، يتكون من سندين منطقيين بسيطين، متصلين "إذا ..، ثم ...".، إذا كان الصمام يذوب، ثم الغاز الكهربائي - | ليس". يطلق على الحكم الأول - "الصمامات يذوب" يسمى "المتأنق (السابق)، والثاني -" الغاز الكهربائي Gasnet "-Conceiver (لاحقة). إذا حددت سابقة R، فإن النتيجة - Q، وحفنة" إذا. .. "..." "-\u003e"، ثم يمكن التعبير عن الحكم الضمني رمز رمزي كما P-\u003e س:
تظهر شروط حقيقة الحكم المتورط في الجدول (الشكل 34). التضمين الصغير في جميع الحالات، باستثناء واحد: p q p- "q وكلاهما و l و l l و l l و
مع حقيقة سابقة العدوانية وزياف النتيجة (الخط الثاني)، ستكون الآثار دائما خاطئة، مزيج من سجين حقيقي، على سبيل المثال، "الصمامات"، و CONSEXER الخاطئ - "Electrollamp لا يذهب خارج "- هو مؤشر التضمين. أنا.
وأوضح حقيقة الآثار على النحو التالي. في 1st ^ صف الحقيقة P ضمنية
حقيقة س، أو بمعنى آخر: حقيقة سابقة كافية للتعرف على حقيقة النتيجة. وبالفعل، إذا ذوبان الصمامات، فسوف يخرج الكهربائي بالضرورة بسبب إدراجها المستمر في الدائرة الكهربائية.
في الخط الثالث مع سجين كاذب، فإن "الصمامات لا يذوب" consexient صحيح - "Electrollamp يخرج". الوضع مسموح به تماما، لأن الصمامات قد لا يذوب، وقد يخرج الكهربائي بسبب أسباب أخرى - عدم وجود تيار في السلسلة، خيوط الخيط في المصباح، إغلاق
الأسلاك، إلخ. وبالتالي، فإن حقيقة Q تحت Falsity P لا تدحض فكرة وجود الاعتماد الشرطي بينهما، لأنه مع الحقيقة ص، سيكون دائما صحيحا و Q.
في السطر الرابع مع سجين خاطئ - "الصمامات لا يذوب" هو FALSE وما يترتب على ذلك - "Electrollamp لا يخرج". هذا الوضع ممكن، لكنه لا يشكك في حقيقة الاعتماد الشرطي P و Q، لأنه، مع الحقيقة، سيكون دائما صحيحا س.
بلغة طبيعية، ليس فقط الاتحاد "إذا ...، ثم ..."، ولكن أيضا يتم استخدام النقابات الأخرى للتعبير عن الأحكام الشرطية.
"هناك ...، حيث"، "ثم ...، عندما ..."، "Inc. ... لأن ..."، إلخ. في شكل أحكام مشروطة في اللغة، يمكن تقديم مثل هذه الأنواع من الروابط الموضوعية، كسبسب، وظيفية، مكانية، مؤقتة، قانونية، وتضاعفة من التبعيات المنطقية وغيرها من التبعيات. يمكن أن يكون مثالا على الحكم السببي بمثابة العبارة التالية: "إذا تم تسخين المياه مع طبيعية الضغط الجوي ما يصل إلى 100 درجة مئوية، سوف يغلي ". مثال على الاعتماد الدليلي: "إذا كان الرقم مقسما إلى 2 دون بقايا، فهذا هو حتى."
في النصوص القانونية في شكل ظروف الحكم، غالبا ما يتم إصلاح التعليمات القانونية: التصاريح، المحظورات، العطاءات. يمكن أن تخدم المؤشرات النحوية للتأثر، بالإضافة إلى الاتحاد "إذا ...، ثم ..."، مثل هذه العبارات، مثل: "إذا كان هناك ...، فإنه يتبع"، "في حالة ...، يتبع ... "،" حالة ...، ويأتي ... "وغيرها. في الوقت نفسه، يمكن بناء الآثار القانونية في القانون والنصوص الأخرى دون مؤشرات نحوية خاصة. على سبيل المثال: "إن الاختطاف السري لممتلكات شخص آخر (السرقة) يعاقب ..." أو "التنظيم الخاطئ الواضح حول الجريمة يعاقب ..."، إلخ. تحتوي كل من هذه الوصفات الطبية على صيغة متينة: "إذا ارتكبت قانون غير قانوني معين، فهذا يتبع العقوبة القانونية".
في شكل أحكام مشروطة، غالبا ما تعبر عن التبعيات المنطقية بين البيانات. على سبيل المثال: "إذا كان كل مجرم يعاقب عليه، فلن يعاقب كل شيء جنائيا". أو مثال آخر على المنطق: "إذا كان صحيحا أن بعض الطيور تطير إلى حواف دافئة في فصل الشتاء، فليس صحيحا أنه لا يطير الطيور في الحواف الدافئة".
في الحكم الشرطي، ينفذ سائدا وظيفة القاعدة الفعلية أو المنطقية الناجمة عن اعتماد التأثير المناسب في conswine. يتميز الاعتماد بين القاعدة السابقة وعلى النتيجة نتيجة الاكتفاء. هذا يعني أن حقيقة المؤسسة
يقضون حقيقة التحقيق، أي بحقيقة OSN، سيكون التحقيق دائما صحيحا (انظر الخط الأول في الجدول الشكل 34). في هذه الحالة، لا تتميز القاعدة بممتلكات الضرورة من Alya. نتيجة نسبية، مع زيفته، يمكن أن يكون التحقيق صحيحا وكاذبا (انظر الأسطر الثالثة والرابعة في جدول FIG.34).
4. الأحكام المكافئة (ضمنية مزدوجة). يسمى ما يعادل الحكم الذي يضاعف. ^ الأحكام المركبة المرتبطة المزدوجة (الاعتماد الشرطي المباشر والعكس التعبير عن حزمة منطقية "إذا لم أفعل ذلك فقط إذا.
..، ومن بعد ... ". على سبيل المثال: "إذا كان الشخص فقط في الأوامر والميداليات (ع)، فإنه يحق له حمل الألواح القديمة ذات الصلة (Q)."السمة المنطقية لهذا الحكم هو، 41 حقيقة موافقة الجائزة (P) تعتبر & "الحالة اللازمة والكافية لحقيقة موافقة" تخصيص الحق في حمل أمر الأفعيل (Q ). وبالمثل، فإن حقائق الموافقة بشأن وجود الحق في ارتداء النظام! (س) هو شرط ضروري وكافي لحقيقة البيان هذا الشخص منحت بالترتيب أو الميدالية ذات الصلة (ص). يمكن التعبير عن هذا الاعتماد المتبادل رمزي عن طريق التضمين المزدوج من PT ^ Q، الذي يتم قراءته بواسطة: "إذا فقط إذا P، ثم Q." يتم التعبير عن المعادلة من قبل علامة أخرى: P \u003d Q.
باللغة الطبيعية، بما في ذلك في النصوص القانونية، ل. تعبيرات عن الأحكام المعادلة استعمال النقابات: "فقط مع. الحالة التي ...، ثم ... "،"، "،" في ذلك وفقط عندما .. ^ ثم ... "،" فقط عندما ...، ثم ... "وغيرها. p q p \u003d q وكلاهما و l & l l l l l l و
يتم تقديم شروط حقيقة الحكم المكافئ إلى الجدول (الشكل 35). الحكم ص \u003d. صحيح في الحالات التي تتخذ فيها كلا الأحكام نفس القيمة، حيث تكون في وقت واحد إما صحيحة (الخط الأول)، كاذبة LIBV (الخط الرابع). هذا يعني | ما الحقيقة ص كافية | الاعتراف الحقيقي Q، والعكس صحيح. 1 RIS-35 العلاقة بينها مميزة
وبمحمل الضرورة: يعمل Feelt P كمؤشر للصلح Q، ويشير Feelt Q إلى نهر شعر.
في الختام، نقدم جدول ملخص لشروط الحقيقة في الأحكام المعقدة (الشكل 36). P Q PAQ PVQ P ^ Q P- "Q PSQ و كليهما وكلاهما و l و l و l & l l l l، و l l l l l l و
الأحكام المعقدة وتفسير المعايير.
(^ الأحكام الخاطئة - الاتصال والفصل والشرط والمعادل - تستخدم في الحجج التقليدية والسياقات القانونية بشكل مستقل ومجتمعة، أي في مجموعات مختلفة. على سبيل المثال، في حكم ربط، يمكن استخدام الأحكام المتقدمة كقوائز: (р vq . (P VQ) -\u003e (MLP).
بمساعدة مزيج من الأحكام المعقدة، تصف الوصفات التنظيمية، تحديد المفاهيم القانونية، وكذلك تكوين الجرائم والصلاحيات الجنائية. في عملية تفسير قواعد القانون و أنواع مختلفة وثائق قانونية (العقود والاتفاقيات وما إلى ذلك) يتطلب تحليلا دقيقا ودقيقا من المنطق من المنطق هيكلها وتحديد أنواع وتسلسلات الاتصالات المنطقية بين مكونات الحكم المعقد.
يتم تنفيذ دور مهم في ذلك من خلال هذه العلامات التقنية مثل الأقواس. في المنطق، وظيفتها تشبه استخدام الأقواس في لغة الرياضيات. على سبيل المثال، لا يمكن التعرف على التعبير الحسابي "2 × 3 4 \u003d ..." على أنه محدد وواضح حتى يتم إنشاء تسلسل عمليات الضرب وإضافة. في حالة واحدة، يتطلب الأمر القيمة "(2 × 3) 4 \u003d 10"، في آخر "2 × (3 4) \u003d 14".
لا يختلف في اليقين والبيان - "الجريمة ارتكبت A و B أو C"، لأنه ليس من الواضح أي من الأربطة المنطقيةين - بالتزامن أو الانفصال - هو الواحد الرئيسي. يمكن تفسير البيان على أنه "A و (B أو C)"؛ يمكن تفسيرها بشكل مختلف - "(A و B) أو C." حسب الأهمية المنطقية، فإن هذين البياناتين بعيدة عن ما يعادلها.
كمثال، سأحدد الهيكل، أو الشكل المنطقي، والمقالات التي تنص على المسؤولية عن الاحتيال، والذي يقرأ: "تقاسم الممتلكات الشخصية للمواطنين أو الاستحواذ على الحق في الممتلكات من خلال خداع أو إساءة استخدام الثقة ( الاحتيال يعاقب عليه بالسجن لمدة تصل إلى عامين بخير إلى. أو العمل الإصلاحي لمدة تصل إلى عامين ".
بشكل عام، هذا البيان، على الرغم من عدم وجود مؤشرات نحوية واضحة، هو الحكم الشرطي للنوع "D-". كوسيلة سائلة، يشار إلى إجراءات مهمة قانونا (د)، وكما فرض عقوبات (أهداف). في الوقت نفسه، فإن سائدا وما يترتب على تكوينات هيكلية معقدة.
في سابقة (د)، يتم سرد الإجراءات، في المكونات الإجمالية للاحتيال: "العقارات الشخصية في الأطراف للمواطنين (دي) أو الاستحواذ على الحق في
الممتلكات (D2) عن طريق الخداع (دي) أو إساءة استخدام الثقة (D4). قواعد. يتيح لك تحليل Cue إرسال اتصال بين الإجراءات التي تحمل علامة النموذج التالي: DI أو D2 و D3 أو D4؛ رمزيا - (di v dz) l (d3 vd4). بالطبع، هذا الشكل من سجين لا يختلف بشكل كاف، حيث سأضاعف القراءة: الإصدار الأول (di v dz) n (d3 v d4)؛ الثاني variant di v (d2 l ((d3 v d4)).
في هذه الحالة، ينبغي استكمال تحليل نحوي لنص المادة مع منطقي، وفي الوقت نفسه مقارنة مفهوم الاحتيال مع الجرائم الممتلكات الأخرى "الجرائم الأخرى، يمكن أن نستنتج أن أحد المتطلباتين الصحيحة صحيحة. وبموجب الاحتيال في هذه الحالة، فإن Dais Viya المرتبط بمشاركة الممتلكات الشخصية للمواطنين أو الحق في الممتلكات؛ في الوقت نفسه، يتم تنفيذ كل من الأول والثاني عن طريق الغش) أو إساءة استخدام الثقة. تمثل هذه الحواس في الصيغة (D2 V D2) L (D3 V D4).
نتيجة (ق) توفر عقوبة صعبة: الاحتيال "معاقبة الحرية لمدة تصل إلى عامين (SI) بخير إلى ... ($ 2) أو العمل الإصلاحي لمدة تصل إلى عامين (S3). اتصال بين اجزاء المكونات يحتوي التصوير على النموذج التالي: SI و S2 أو 8Z، أو رمزيا ((SI L S2) V SA). الشرج المنطقي للنص يظهر أن مثل هذه التفسير هو ممكن فقط.
إذا كان الحكم الشرطي الأولي للتفاصيل D- "وفقا للتحليل المنفذ، فسيتم تقديم المقال عن الاحتيال في الأشكال التالية
((di v d2) l (d3 v d4)) -\u003e ((si l s2) v s3)
العلامة الرئيسية في هذا الحكم المعقد هو الآثار: المنتصرة هي فرصة، كلا عضويين منهم تعبير مغمول؛ نتيجة حكم - تعبير مغمول، أحد أعضاء حجز التحليل المنطقي للبيانات المعقدة مع استخدام اللغة الرمزية لتوضيح معنى السياقات القانونية! أداة فعالة تفسير دقيق I. التطبيق المناسب القاعدة (العملية القانونية.
