数Iの命題や集合・必要条件・十分条件などを扱います。