wizardbeard@lemmy.dbzer0.com to Programmer Humor@programming.devEnglish · 3 months agoTrick XOR Treatlemmy.dbzer0.comimagemessage-square14fedilinkarrow-up114arrow-down13file-text
arrow-up111arrow-down1imageTrick XOR Treatlemmy.dbzer0.comwizardbeard@lemmy.dbzer0.com to Programmer Humor@programming.devEnglish · 3 months agomessage-square14fedilinkfile-text
minus-squareNeatNit@discuss.tchncs.delinkfedilinkarrow-up1·3 months agoI never got why “implies” is called that. How does the phrase “A implies B” relate to the output’s truth table? I have my own “head canon” to remember it but I’ll share it later, want to hear someone else’s first.
minus-squareExcel@beehaw.orglinkfedilinkEnglisharrow-up1·edit-23 months ago“A implies B” means if A is true then B must be true; if A is false, then B can be anything. In other words, the only state not allowed is A being true and B being false. Therefore, the only “hole” is the part of A that doesn’t include B.
minus-squareSpeiser0@feddit.orglinkfedilinkarrow-up1·3 months ago“A → B” is true in any variable assignment where B is true if A is true. It has always been mostly obvious to me.
I never got why “implies” is called that. How does the phrase “A implies B” relate to the output’s truth table?
I have my own “head canon” to remember it but I’ll share it later, want to hear someone else’s first.
“A implies B” means if A is true then B must be true; if A is false, then B can be anything. In other words, the only state not allowed is A being true and B being false. Therefore, the only “hole” is the part of A that doesn’t include B.
“A → B” is true in any variable assignment where B is true if A is true.
It has always been mostly obvious to me.