If PrightarrowQP \\rightarrow QPrightarrowQ is true and QQQ is true, what can we say about PPP?
PPP must be True
PPP must be False
PPP could be True or False
PPP is undefined