《1654》 ← NL 〜 mdus p・nens /-pnnz ｜ -p-/

n. (pl. modi po・nen・tes /-ponntiz ｜ -p-/) 【論理】 肯定式《「A ならば B」と「A」という前提から「B」という結論が導出されることを規定する論理の定理, または推理規則; rule of detachment ともいう》.

《a1856》 ← NL 〜 'proposing mode' mdus tl・lens /-t()lnz ｜ -tl-/

n. (pl. modi tol・len・tes /-tlntiz ｜ -t-, -t-/) 【論理】 否定式《「A ならば B」と「B でない」という前提から「A でない」という結論が導出されることを規定する論理の定理, または推理規則》.