6.4 命题检验