1

Hi is the translation for "if and only if" (iif) the same as "All and only" i.e. both requires the bicondtional?

3
  • 1
    Yebs, "if and only if" is the bi-conditional (also: "exactly when"). Nov 23 '20 at 6:59
  • "All and only" sounds a little bit weird: iff is used with sentences. Nov 23 '20 at 6:59
  • 1
    A if and only if B will be A ↔ B. All and only Ps are Qs will be ∀x (P(x) ↔ Q(x)).
    – Conifold
    Nov 23 '20 at 8:26
5

Standard translations for each do require the biconditional.

We translate "P, if Q" as "Q -> P"
We translate "P only if Q" as "P -> Q"
So when we combine "P, if Q" and "P only if Q" we get "P <-> Q"

We translate "All As are Bs" as "ALL(x)(Ax -> Bx)"
We translate "Only As are Bs" as "ALL(x)(Bx -> Ax)"
So when we combine "All As are Bs" and "Only As are Bs" we get "ALL(x)(Ax <-> Bx)"

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.