↔ Biconditional

“if and only if”

Properties

• commutative
• associative

Truth table

A	B	A ↔ B
✅	✅	✅
✅	❌	❌
❌	✅	❌
❌	❌	✅

📖 Example:

• “If and only if Franz earns more money, he will pay more taxes”