In logic and mathematics, the logical biconditional, also known as material biconditional or equivalence or biimplication or bientailment, is the logical connective used to conjoin two statements P {\displaystyle P} and Q {\displaystyle Q} to form the statement " P {\displaystyle P} if and only if Q {\displaystyle Q} ", where P {\displaystyle P} is known as the antecedent, and Q {\displaystyle Q} the consequent. Wikipedia