Formal logikada "MP" atama Modus Ponens qoidasiga ishora qiladi. Modus Ponens deduktiv dalil shaklidir, unda P taklif Q taklifini anglatadi va P haqiqat deb da'vo qilinadi, shu bilan Q haqiqat bo'lishi kerak. Modus Ponens qoidasi odatda "agar P, keyin Q" va "P", shuning uchun "Q" shaklida ifodalanadi. Modus Ponens qoidasi propositional logika va predicate logikada inferensning asosiy qoidalari.
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence