Silverchase@sh.itjust.works to Math Memes@lemmy.blahaj.zoneEnglish · 7 个月前Proof by fucking obviousnesssh.itjust.worksimagemessage-square66linkfedilinkarrow-up1385arrow-down114
arrow-up1371arrow-down1imageProof by fucking obviousnesssh.itjust.worksSilverchase@sh.itjust.works to Math Memes@lemmy.blahaj.zoneEnglish · 7 个月前message-square66linkfedilink
minus-squarelseif@sopuli.xyzlinkfedilinkEnglisharrow-up2arrow-down1·7 个月前isnt that how methods like proof by contrapositive work ??
minus-squarebleistift2@sopuli.xyzlinkfedilinkEnglisharrow-up3·7 个月前Proof by contrapositive would be c<0 ∨ c≥1 ⇒ … ⇒ xc≥x. That is not just starting from the conclusion and deriving the premise.
minus-squarebleistift2@sopuli.xyzlinkfedilinkEnglisharrow-up2·7 个月前Then don’t get involved in this discussion.
isnt that how methods like proof by contrapositive work ??
Proof by contrapositive would be c<0 ∨ c≥1 ⇒ … ⇒ xc≥x. That is not just starting from the conclusion and deriving the premise.
i really dont care
Then don’t get involved in this discussion.