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