>IxI<=a/2と書いてある時点でaが正の整数であると決定して良いのですか?
決定できません
|x|≦a/2と書いてあるからといって、その時点ではa/2が正とか0以上とは言い切れません
この時点でこれを書いたらおかしいと思います
たとえばa=-2、すなわちa/2=-1のとき|x|≦-1となりますが、この式自体があり得ないわけではなく、これを満たす実数xがないのでRが空集合になるというだけです
もちろんその場合、「バー(PかつQ)がRに含まれる」という条件を満たさないので、そこまで勘案して、少なくともaが負だとまずい、ということにはなります
なるほど。aが負だと条件を満たすことができないから解答にはないけれど除外しているということですか?