In the statement PrightarrowQP \\rightarrow QPrightarrowQ, QQQ is called the:
Antecedent
Consequent
Negation
Disjunct