iff means “if and only if”.  So the expression “A iff B” can be interpreted to mean “if A then B, and if B then A”.

Home > P_iff