What is the truth value of PrightarrowPP \\rightarrow PPrightarrowP?
Tautology (Always True)
Undefined
Depends on PPP
Contradiction (Always False)