• bleistift2
    link
    fedilink
    English
    arrow-up
    2
    ·
    7 hours ago

    Proof by contrapositive would be c<0 ∨ c≥1 ⇒ … ⇒ xc≥x. That is not just starting from the conclusion and deriving the premise.

    • lseif
      link
      fedilink
      English
      arrow-up
      1
      arrow-down
      1
      ·
      5 hours ago

      i really dont care