this post was submitted on 20 Aug 2023
166 points (100.0% liked)

196

16484 readers
2605 users here now

Be sure to follow the rule before you head out.

Rule: You must post before you leave.

^other^ ^rules^

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] phuntis@sopuli.xyz 7 points 1 year ago (3 children)
[–] calabast@lemm.ee 19 points 1 year ago (2 children)

I agree that the person you're replying to didn't actually refute OOPs claim, but...uhh...I think A=B does mean that B=A

[–] Holzkohlen@feddit.de 8 points 1 year ago

It should say A=>B and B=>A of course.

[–] dingus@lemmy.ml 2 points 1 year ago* (last edited 1 year ago)

I guess I should have included an /s

I wasn't trying to refute anything as much as I was shitposting

[–] mashbooq@infosec.pub 7 points 1 year ago

I expect you meant that A => B doesn't imply B => A

[–] uriel238@lemmy.blahaj.zone 6 points 1 year ago* (last edited 1 year ago)

The commutative property of equality is established. You might be thinking of conditionality.

Given:
If A then B, and
B is TRUE

we cannot say for certain A is true

Lisa doesn't get dessert if she doesn't eat her vegetables.
Lisa didn't get dessert

Can we asctertain if Lisa ate her vegetables?