Metadata
Author: WikiMatrix
Data
English[en]
In propositional logic, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP; also modus ponendo ponens (Latin for "mode that affirms by affirming") or implication elimination) is a rule of inference.
Indonesian[id]
Dalam kalkulus proposisional, modus ponens (MP; juga modus ponendo ponens (Latin untuk "modus yang menegaskan dengan menegaskan") atau implikasi penghapusan) adalah aturan penarikan kesimpulan.