If PrightarrowQP \\rightarrow QPrightarrowQ is true, can we conclude QrightarrowPQ \\rightarrow PQrightarrowP is true?
Yes, always
No, not necessarily
Only if PPP is false
Only if QQQ is false