3 ms·

All parties were not happy with the bid, which is why this went to a judge.

• Propelloni 2y ago
  That's confusing. We know from the reporting that some parties were happy with the bid. I guess, you mean "not all parties were happy..."? (Please note: this is not a case of ∀x ∈ X ¬P(x) ≣ ¬∀x ∈ X P(x). ∀x ∈ X ¬P(x) means "for all x not-P", while ¬∀x ∈ X P(x) reads "there exists no x that P", i.e. there is no party that is happy with the bid, which is either a false statement or not the intended meaning. This is actually a common, but not well-known mistake, so I'm pointing it out.) EDIT: I even found a reference: https://en.wikipedia.org/wiki/Existential_quantification https://en.wikipedia.org/wiki/Existential_quantification
  • theodric 2y ago
    'All that glisters is not gold.' :)