If P ⟹ QP \implies QP⟹Q is True and QQQ is True, can we determine the truth value of PPP?
Yes, P must be True
Yes, P must be False
No, P could be either True or False
Only if Q is False