↔ Biconditional § “if and only if” Properties § commutative associative Truth table § ABA ↔ B✅✅✅✅❌❌❌✅❌❌❌✅ 📖 Example: § ”If and only if Franz earns more money, he will pay more taxes”