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