20190930 decide の用法_23_形容詞_decidable

decide の用法_23_形容詞_decidable

2019-09-30

本日は形容詞の用法です。

・If R is a subset of N whose complement is finite, then R is decidable. (補集合が有限の N があり、その部分集合がRならば、Rは決まる。) An Introduction to Mathematical Logic

【研究】decidableは「決定する」または「明白な」などの意味になります。

次回からはdelayの用法を扱います。