كيف يعمل modus Ponens؟

2024 مؤلف: Edward Hancock | [email protected]. آخر تعديل: 2023-12-16 01:28

في منطق الافتراض ، طريقة ponens (/ ˈmo؟ d؟ s ˈpo؟ n؟ nz /؛ MP؛ also طريقة بونيندو بونينز (اللاتينية تعني "الوضع الذي بالتأكيد") أو الحذف الضمني) يكون قاعدة الاستدلال. هو - هي علبة يمكن تلخيصها على النحو التالي "P تعني Q و P. يكون أكد أنه صحيح ، لذلك يجب أن يكون Q صحيحًا ".

وأيضًا ، ما هو modus ponens و modus tollen مع المثال؟

الأفكار الأساسية هي: هناك نوعان من الإنشاءات المنطقية المتسقة للحجة: طريقة ponens ("الطريقة التي تؤكد بالتأكيد") و طريقة الرسوم ("الطريقة التي تنكر بالإنكار"). مودوس بونينز : "إذا كان A صحيحًا ، فعندئذٍ يكون B صحيحًا. A صحيحًا. لذلك ، B هو صحيح."

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

مع وضع هذا في الاعتبار ، لماذا تعد طريقة الرموز صحيحة؟

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

هل يمكن أن يكون للحجة السليمة نتيجة خاطئة؟

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