to all the philosophy/and or possilbly other major students

If you say “A if and only if B”, then you are making the claim that A → B and B → A, not just the weaker claim A → B (which you would make by saying “B if A” or “A only if B”).