In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting p if and only if q, where q is an antecedent and p is a consequent.[1] This is often abbreviated p iff q.