In the statement PrightarrowQP \\rightarrow QPrightarrowQ, PPP is called the:
Predicate
Quantifier
Antecedent (Hypothesis)
Consequent (Conclusion)