そのことは論述に含まれる命題の各々が正しいかどうか(真であるかどうか)とは無関係である。(sound)」な論述は、その結論が真となるいかなる状況に於ても、全ての前提が真であるべきである。(sound)」である。ほとんどの論理体系でモーダスポネンスが採用されている。論証がモーダスポネンスで、その前提が真なら、その論証は健全である。従って、その論証は健全である。応用[編集]命題論理では、モーダスポネンスが推論規則とされている。メタ論理では、モーダスポネンスはカット規則である。ponens(mmp)があり、以下のような形式である。