Biconditional vs. equivalence #48
Description
After Tara's presentation on XCL2 we discussed a terminological question. In the XCL2 draft the boolean operator that is often written <--> is called "equivalence". I think we should strive for consistency across the CL standard and call it "biconditional". This would be consistent with the terminology in the 2007 version of the standard, and it matches the terminology that is used in the logic books that I am aware of. (Equivalence is usually defined as a relationship in the metalanguage.)