1〜xで足りて1〜x-1で足りない時xは必須
タイトルは要改善
集合を引数に取る述語fについて
f(S) = 0, f(S+\{x\}) = 1
ならばxは1であるために必須である、という思考パターン
これが言えるための条件は？
f(S) = 1 \Rightarrow \forall T \supset S, f(T) = 1
"Engineer's way of creating knowledge" the English version of my book is now available on [Engineer's way of creating knowledge]
(C)NISHIO Hirokazu / Converted from [Scrapbox] at [Edit]