変数を含んでいて、変数の値を定めれば真か偽かを判断できる文や式