Definition:Semantics of Biconditional