Discussion of biconditional propositions and equivalence