• lseif
    link
    fedilink
    English
    arrow-up
    2
    arrow-down
    1
    ·
    1 month ago

    isnt that how methods like proof by contrapositive work ??

    • 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
        4
        ·
        1 month ago

        i really dont care