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