That would be the symbol\operation called TRUE or TOP or “tautology” which is always true. They’re actually missing quite a few of the weirder ops, including implication and biconditional\iff\if-and-only-if. (Edit: Actually I think XNOR is also the biconditional. I guess pretend like I said “material implication” and “reverse implication”. Fricken booleans man!)
I truly have no idea and wish I did, haha. It looks like a shorthand for which operation is being followed, maybe like a group theory thing, but I really don’t know.
“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.
That would be the symbol\operation called TRUE or TOP or “tautology” which is always true. They’re actually missing quite a few of the weirder ops, including implication and
biconditional\iff\if-and-only-if. (Edit: Actually I think XNOR is also the biconditional. I guess pretend like I said “material implication” and “reverse implication”. Fricken booleans man!)This cheat sheet needs a cheat sheet. What do the numbers with 3 numbers mean?
I truly have no idea and wish I did, haha. It looks like a shorthand for which operation is being followed, maybe like a group theory thing, but I really don’t know.
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.