With reference to Logical Connectives: A statement that combines propositions: If p then q, pāq. Biconditional