複数辞典一括検索+

4 【論理】 切断《命題 p と「p ならば q」が成り立てば命題 q も成り立つとする推論規則; cf. modus ponens》.🔗🔉

4 【論理】 切断《命題 p と「p ならば q」が成り立てば命題 q も成り立つとする推論規則; cf. modus ponens》.

研究社新英和大辞典 ページ 184021 での論理単語。