• bleistift2
    link
    fedilink
    English
    arrow-up
    3
    ·
    1 month 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
      3
      ·
      1 month ago

      i really dont care