ブール式が true であることをチェックします。