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

    isnt that how methods like proof by contrapositive work ??

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

        i really dont care

        • bleistift2
          link
          fedilink
          English
          arrow-up
          2
          ·
          2 months ago

          Then don’t get involved in this discussion.