Logical connectives, implication, and if and only if - Group Theory | Zoonk