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

    isnt that how methods like proof by contrapositive work ??

    • bleistift2
      link
      fedilink
      English
      arrow-up
      2
      ·
      9 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
        ·
        6 hours ago

        i really dont care