(logic) A statement P in relation to statement Q such that P implies Q.
sufficient condition
証明では、PがQの十分条件であることを示したため、PからQを導くことができた。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★