potatobro@lemmy.blahaj.zone to 196@lemmy.blahaj.zone · 1 year agoRule/rulelemmy.blahaj.zoneimagemessage-square43fedilinkarrow-up1569arrow-down13
arrow-up1566arrow-down1imageRule/rulelemmy.blahaj.zonepotatobro@lemmy.blahaj.zone to 196@lemmy.blahaj.zone · 1 year agomessage-square43fedilink
minus-squarezea@lemmy.blahaj.zonelinkfedilinkEnglisharrow-up2·edit-21 year agoYou said “and if not” which is binary, but “if [predicate] [x] and if [predicate] [y]” is not generally exhaustive.
You said “and if not” which is binary, but “if [predicate] [x] and if [predicate] [y]” is not generally exhaustive.