十分条件 (sufficient condition)

(D.) ausreichende Bedingung
(Fra.) condition suffisante  
(Ita.) condizione sufficiente 

 , 変数とする命題関数であるとして,
     「任意の に対して,
       “ が真ならば も真”」
という全称命題論理記号を用いて表すと,
      …………………… (*)
と表せますが,高校の教科書では,これを
      ………………………… (**)
と表し,
    「 が成り立つならば,
     つねに が成り立つ」
と読みます。
 (**) が成り立つとき,
    「 の十分条件」
であるといい,このとき
    「必要条件
であるともいいます。
 (2019年5月8日改訂)