9.3 طريقة الاستنتاج ، على سبيل المثال ، قاعدة وضع Ponens Modus Ponens في المنطق الافتراضي ، modus ponens (/ ˈmoʊdəs ˈpoʊnɛnz / ؛ MP) ، المعروف أيضًا باسم modus ponendo ponens (اللاتينية لـ " طريقة الطرح عن طريق وضع ") أو الإزالة الضمنية أو تأكيد السوابق ، هي شكل وسيطة استنتاجية وقاعدة للاستدلالhttps://en.wikipedia.org› wiki ›Modus_ponens
مودوس بونينز - ويكيبيديا
يخبرناأنه إذا كان الاقتراح "P. Q" صحيحًا وكان الاقتراح "P" صحيحًا ، فيجب أن يكون "Q" صحيحًا. يمكن التعبير عن قاعدة الاستدلال هذه على أنها التأكيد الحشو التالي للتضمين المادي: "((P. Q) • P). س."
ما هي قاعدة الاستدلال p و q التي تشير إلى p؟
لاتينية تعني "طريقة الإنكار". قاعدة استنتاج مستمدة من مزيج من طريقة ponens والمعارض. إذا كانت q خطأ، وإذا كانت p تعني q (p q) ، فإن p تكون خطأ أيضًا. خطأ في التفكير. بالنظر إلى العبارة p ، إذا أدى ~ p منطقيًا إلى تناقض ، فيجب أن يكون p صحيحًا.
ما هي 9 قواعد للاستدلال؟
المصطلحات في هذه المجموعة (9)
- Modus Ponens (MP) -إذا كان P ثم Q. -P. …
- Modus Tollens (MT) -If P ثم Q. …
- القياس المنطقي الافتراضي (HS) - إذا كان P ثم Q. …
- القياس المنفصل (DS) -P أو Q. …
- اقتران (Conj.) -P. …
- معضلة بناءة (CD) - (إذا P ثم Q) و (إذا كان R ثم S) …
- التبسيط (بسيط) -P و Q. …
- Absorption (Abs.) - إذا P ثم Q.
كيف تقرأ PQ؟
المعنى الضمني p → q (اقرأ: p يعني q ، أو إذا كان p ثم q) هو الحالة التي تؤكد أنه إذا كانت p صحيحة ، فإن q هي أيضًا صحيحة.نتفق على أن p → q تكون صحيحة عندما تكون p خطأتسمى العبارة p فرضية التضمين ، وتسمى العبارة q خاتمة الضمني.
لماذا يتم استخدام P و Q في المنطق؟
المقترحات متساوية أو مكافئة منطقيًا إذا كانت لها دائمًا نفس قيمة الحقيقة. أي أن p و q منطقيًا مكافئتان إذا كانت p صحيحة عندما تكون q صحيحة، والعكس صحيح ، وإذا كانت p خطأ عندما تكون q خطأ ، والعكس صحيح. إذا كانت p و q متساويتين منطقيًا ، نكتب p=q.
