StevenXClontz’s avatarStevenXClontz’s Twitter Archive—№ 5,687

  1. …in reply to @matthematician
    @matthematician @linguanumerate Logical equivalence here also assumes the law of the excluded middle, which while common, isn't assumed in constructive mathematics.
    On twitter.com Twitter logo StevenXClontz’s avatar Mood -2 🙁
    1. …in reply to @StevenXClontz
      @matthematician @linguanumerate For this reason I'll usually attempt to write a proof of the contrapositive rather than by contradiction, so that my proof is more portable, even if the result I need isn't.
      Permalink On twitter.com Twitter logo StevenXClontz’s avatar Mood 0