I was wondering if any logical equivalence examples exist, among mathematical ideas or theorems. Friends and strangers theorem implies, that in any 6 comparable ideas or theorems, there should be 3 that are mutually logically equivalent, or 3 that aren't. I see connections between ideas, but never true logical equivalence.

  • 2
    $\begingroup$ In that case, it should be easy to find 3 ideas that aren't logically equivalent. $\endgroup$ Commented Jun 18, 2021 at 19:55
  • $\begingroup$ Okay you got me ... $\endgroup$ Commented Jun 18, 2021 at 19:59


You must log in to answer this question.

Browse other questions tagged .