Dina logika formal, istilah "MP" ngarujuk kana aturan inferensi Modus Ponens. Modus Ponens mangrupikeun bentuk argumen deduktif dimana proposisi P nunjukkeun proposisi Q, sareng P ditegaskan leres, sahingga Q kedah leres. Aturan Modus Ponens biasana diekspresikeun dina bentuk "upami P teras Q" sareng "P", sahingga "Q". Aturan Modus Ponens mangrupikeun salah sahiji aturan dasar inferensi dina logika proposisional sareng logika predikat.
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence