Only III is correct.
The given statement means for all tuples from r, P is true. III means there does not exist a tuple in r where P is not true. Both are equivalent.
IV is not correct as it as saying that there exist a tuple, not in r for which P is not true, which is not what the given expression means.