▲ 40 ▼ Is "If A then B" equal to "B if and only if A"? (lemmy.world) submitted 2 years ago by Lafari@lemmy.world to c/nostupidquestions@lemmy.world 60 comments fedilink hide all child comments
[–] Lafari@lemmy.world [S] 0 points 2 years ago (2 children) Is "If B then A" equal to "B if and only if A"? permalink fedilink source parent hideshow 4 child comments replies: [–] Maddie@sh.itjust.works 14 points 2 years ago (1 child) Also no. permalink fedilink source parent hideshow 2 child comments replies: [–] Lafari@lemmy.world [S] 3 points 2 years ago (1 child) Thanks. Could you possibly elaborate? Why are they not equal? permalink fedilink source parent hideshow 2 child comments replies: [–] Boinkage@lemmy.world 7 points 2 years ago* (1 child) Substitute common sense terms. If I say "if it is an apple, it is a fruit", does it then follow that a thing is a fruit if and only if it is an apple? No. Lots of other things are fruit without being an apple. permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 0 points 2 years ago (1 child) Better read that one again. "If B then A" ... "B if and only if A"? If Apple then fruit. Is Apple ONLY if it's a fruit. This one actually checks out. permalink fedilink source parent hideshow 2 child comments replies: [–] Boinkage@lemmy.world 4 points 2 years ago* (last edited 2 years ago) (1 child) If and only if is a biconditional. "b if and only if a" means "if b then a" AND "b only if a". B only if A here means "It is an apple only if is a fruit", in other words, "if it is a fruit, it could only be an apple." Which ain't right. B -> A (if B, then A) (if apple, then fruit, correct) B <-> A (B if and only if A) (if apple, then fruit, AND if fruit, then apple, incorrect). permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 3 points 2 years ago (2 children) Gotcha. I was reading it aloud: "It's an Apple if and only if it's a fruit." which isn't wrong, but I guess the technical definition of "If and only if" assumes more than the words imply. permalink fedilink source parent hideshow 4 child comments replies: [+] hornface@fedia.io 3 points 2 years ago* (last edited 10 months ago) [deleted] permalink fedilink source parent [–] Boinkage@lemmy.world 1 point 2 years ago* I agree, if and only if trips me up too and it doesn't fit perfectly into this logic formula. A thing is only an apple if and only if it is a fruit makes sense if you read it in a common sense way. permalink fedilink source parent [–] Thoth19@lemmy.world 4 points 2 years ago (2 children) No. They are effectively the same statement. (A <=> B ) = (A=>B AND B=> A) permalink fedilink source parent hideshow 4 child comments replies: [–] Rhynoplaz@lemmy.world 3 points 2 years ago (2 children) Wait. If they are effectively the same statement, wouldn't that mean they ARE equal? permalink fedilink source parent hideshow 4 child comments replies: [–] Casey_Masterpiece@lemmy.world 2 points 2 years ago (1 child) If B then A is the same as if X then Y is the same as if A then B. They are saying it's the same as the OP. Changing the letters around doesn't change the meaning since the letters are just placeholders. Now if you said If A then B AND If B then A as one it wouldn't be the same because A and B would have to keep the same meaning. permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 2 points 2 years ago* But they switched the order in only the first half of the statement. I don't know if everyone commenting caught that. Is "If B then A" equal to "B if and only if A"? This IS different from the original question. permalink fedilink source parent [–] Thoth19@lemmy.world 1 point 2 years ago (1 child) I mean it is the definition of "if and only if". And by commutativity we also know that A iff B is equal to B iff A permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 2 points 2 years ago (1 child) Oh yeah. I was very confused as to what that meant, but I learned something today. permalink fedilink source parent hideshow 2 child comments replies: [–] Thoth19@lemmy.world 1 point 2 years ago Yeah if vs iff can be confusing at first. Trying to understand it with normal grammar doesn't work right. It's a lot more helpful to grok the symbols and so the truth tables by hand to see how they fit together permalink fedilink source parent [–] zenharbinger@lemmy.world 1 point 2 years ago Also, Not (A XOR B) permalink fedilink source parent
[–] Maddie@sh.itjust.works 14 points 2 years ago (1 child) Also no. permalink fedilink source parent hideshow 2 child comments replies: [–] Lafari@lemmy.world [S] 3 points 2 years ago (1 child) Thanks. Could you possibly elaborate? Why are they not equal? permalink fedilink source parent hideshow 2 child comments replies: [–] Boinkage@lemmy.world 7 points 2 years ago* (1 child) Substitute common sense terms. If I say "if it is an apple, it is a fruit", does it then follow that a thing is a fruit if and only if it is an apple? No. Lots of other things are fruit without being an apple. permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 0 points 2 years ago (1 child) Better read that one again. "If B then A" ... "B if and only if A"? If Apple then fruit. Is Apple ONLY if it's a fruit. This one actually checks out. permalink fedilink source parent hideshow 2 child comments replies: [–] Boinkage@lemmy.world 4 points 2 years ago* (last edited 2 years ago) (1 child) If and only if is a biconditional. "b if and only if a" means "if b then a" AND "b only if a". B only if A here means "It is an apple only if is a fruit", in other words, "if it is a fruit, it could only be an apple." Which ain't right. B -> A (if B, then A) (if apple, then fruit, correct) B <-> A (B if and only if A) (if apple, then fruit, AND if fruit, then apple, incorrect). permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 3 points 2 years ago (2 children) Gotcha. I was reading it aloud: "It's an Apple if and only if it's a fruit." which isn't wrong, but I guess the technical definition of "If and only if" assumes more than the words imply. permalink fedilink source parent hideshow 4 child comments replies: [+] hornface@fedia.io 3 points 2 years ago* (last edited 10 months ago) [deleted] permalink fedilink source parent [–] Boinkage@lemmy.world 1 point 2 years ago* I agree, if and only if trips me up too and it doesn't fit perfectly into this logic formula. A thing is only an apple if and only if it is a fruit makes sense if you read it in a common sense way. permalink fedilink source parent
[–] Lafari@lemmy.world [S] 3 points 2 years ago (1 child) Thanks. Could you possibly elaborate? Why are they not equal? permalink fedilink source parent hideshow 2 child comments replies: [–] Boinkage@lemmy.world 7 points 2 years ago* (1 child) Substitute common sense terms. If I say "if it is an apple, it is a fruit", does it then follow that a thing is a fruit if and only if it is an apple? No. Lots of other things are fruit without being an apple. permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 0 points 2 years ago (1 child) Better read that one again. "If B then A" ... "B if and only if A"? If Apple then fruit. Is Apple ONLY if it's a fruit. This one actually checks out. permalink fedilink source parent hideshow 2 child comments replies: [–] Boinkage@lemmy.world 4 points 2 years ago* (last edited 2 years ago) (1 child) If and only if is a biconditional. "b if and only if a" means "if b then a" AND "b only if a". B only if A here means "It is an apple only if is a fruit", in other words, "if it is a fruit, it could only be an apple." Which ain't right. B -> A (if B, then A) (if apple, then fruit, correct) B <-> A (B if and only if A) (if apple, then fruit, AND if fruit, then apple, incorrect). permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 3 points 2 years ago (2 children) Gotcha. I was reading it aloud: "It's an Apple if and only if it's a fruit." which isn't wrong, but I guess the technical definition of "If and only if" assumes more than the words imply. permalink fedilink source parent hideshow 4 child comments replies: [+] hornface@fedia.io 3 points 2 years ago* (last edited 10 months ago) [deleted] permalink fedilink source parent [–] Boinkage@lemmy.world 1 point 2 years ago* I agree, if and only if trips me up too and it doesn't fit perfectly into this logic formula. A thing is only an apple if and only if it is a fruit makes sense if you read it in a common sense way. permalink fedilink source parent
[–] Boinkage@lemmy.world 7 points 2 years ago* (1 child) Substitute common sense terms. If I say "if it is an apple, it is a fruit", does it then follow that a thing is a fruit if and only if it is an apple? No. Lots of other things are fruit without being an apple. permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 0 points 2 years ago (1 child) Better read that one again. "If B then A" ... "B if and only if A"? If Apple then fruit. Is Apple ONLY if it's a fruit. This one actually checks out. permalink fedilink source parent hideshow 2 child comments replies: [–] Boinkage@lemmy.world 4 points 2 years ago* (last edited 2 years ago) (1 child) If and only if is a biconditional. "b if and only if a" means "if b then a" AND "b only if a". B only if A here means "It is an apple only if is a fruit", in other words, "if it is a fruit, it could only be an apple." Which ain't right. B -> A (if B, then A) (if apple, then fruit, correct) B <-> A (B if and only if A) (if apple, then fruit, AND if fruit, then apple, incorrect). permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 3 points 2 years ago (2 children) Gotcha. I was reading it aloud: "It's an Apple if and only if it's a fruit." which isn't wrong, but I guess the technical definition of "If and only if" assumes more than the words imply. permalink fedilink source parent hideshow 4 child comments replies: [+] hornface@fedia.io 3 points 2 years ago* (last edited 10 months ago) [deleted] permalink fedilink source parent [–] Boinkage@lemmy.world 1 point 2 years ago* I agree, if and only if trips me up too and it doesn't fit perfectly into this logic formula. A thing is only an apple if and only if it is a fruit makes sense if you read it in a common sense way. permalink fedilink source parent
[–] Rhynoplaz@lemmy.world 0 points 2 years ago (1 child) Better read that one again. "If B then A" ... "B if and only if A"? If Apple then fruit. Is Apple ONLY if it's a fruit. This one actually checks out. permalink fedilink source parent hideshow 2 child comments replies: [–] Boinkage@lemmy.world 4 points 2 years ago* (last edited 2 years ago) (1 child) If and only if is a biconditional. "b if and only if a" means "if b then a" AND "b only if a". B only if A here means "It is an apple only if is a fruit", in other words, "if it is a fruit, it could only be an apple." Which ain't right. B -> A (if B, then A) (if apple, then fruit, correct) B <-> A (B if and only if A) (if apple, then fruit, AND if fruit, then apple, incorrect). permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 3 points 2 years ago (2 children) Gotcha. I was reading it aloud: "It's an Apple if and only if it's a fruit." which isn't wrong, but I guess the technical definition of "If and only if" assumes more than the words imply. permalink fedilink source parent hideshow 4 child comments replies: [+] hornface@fedia.io 3 points 2 years ago* (last edited 10 months ago) [deleted] permalink fedilink source parent [–] Boinkage@lemmy.world 1 point 2 years ago* I agree, if and only if trips me up too and it doesn't fit perfectly into this logic formula. A thing is only an apple if and only if it is a fruit makes sense if you read it in a common sense way. permalink fedilink source parent
[–] Boinkage@lemmy.world 4 points 2 years ago* (last edited 2 years ago) (1 child) If and only if is a biconditional. "b if and only if a" means "if b then a" AND "b only if a". B only if A here means "It is an apple only if is a fruit", in other words, "if it is a fruit, it could only be an apple." Which ain't right. B -> A (if B, then A) (if apple, then fruit, correct) B <-> A (B if and only if A) (if apple, then fruit, AND if fruit, then apple, incorrect). permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 3 points 2 years ago (2 children) Gotcha. I was reading it aloud: "It's an Apple if and only if it's a fruit." which isn't wrong, but I guess the technical definition of "If and only if" assumes more than the words imply. permalink fedilink source parent hideshow 4 child comments replies: [+] hornface@fedia.io 3 points 2 years ago* (last edited 10 months ago) [deleted] permalink fedilink source parent [–] Boinkage@lemmy.world 1 point 2 years ago* I agree, if and only if trips me up too and it doesn't fit perfectly into this logic formula. A thing is only an apple if and only if it is a fruit makes sense if you read it in a common sense way. permalink fedilink source parent
[–] Rhynoplaz@lemmy.world 3 points 2 years ago (2 children) Gotcha. I was reading it aloud: "It's an Apple if and only if it's a fruit." which isn't wrong, but I guess the technical definition of "If and only if" assumes more than the words imply. permalink fedilink source parent hideshow 4 child comments replies: [+] hornface@fedia.io 3 points 2 years ago* (last edited 10 months ago) [deleted] permalink fedilink source parent [–] Boinkage@lemmy.world 1 point 2 years ago* I agree, if and only if trips me up too and it doesn't fit perfectly into this logic formula. A thing is only an apple if and only if it is a fruit makes sense if you read it in a common sense way. permalink fedilink source parent
[+] hornface@fedia.io 3 points 2 years ago* (last edited 10 months ago) [deleted] permalink fedilink source parent
[–] Boinkage@lemmy.world 1 point 2 years ago* I agree, if and only if trips me up too and it doesn't fit perfectly into this logic formula. A thing is only an apple if and only if it is a fruit makes sense if you read it in a common sense way. permalink fedilink source parent
[–] Thoth19@lemmy.world 4 points 2 years ago (2 children) No. They are effectively the same statement. (A <=> B ) = (A=>B AND B=> A) permalink fedilink source parent hideshow 4 child comments replies: [–] Rhynoplaz@lemmy.world 3 points 2 years ago (2 children) Wait. If they are effectively the same statement, wouldn't that mean they ARE equal? permalink fedilink source parent hideshow 4 child comments replies: [–] Casey_Masterpiece@lemmy.world 2 points 2 years ago (1 child) If B then A is the same as if X then Y is the same as if A then B. They are saying it's the same as the OP. Changing the letters around doesn't change the meaning since the letters are just placeholders. Now if you said If A then B AND If B then A as one it wouldn't be the same because A and B would have to keep the same meaning. permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 2 points 2 years ago* But they switched the order in only the first half of the statement. I don't know if everyone commenting caught that. Is "If B then A" equal to "B if and only if A"? This IS different from the original question. permalink fedilink source parent [–] Thoth19@lemmy.world 1 point 2 years ago (1 child) I mean it is the definition of "if and only if". And by commutativity we also know that A iff B is equal to B iff A permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 2 points 2 years ago (1 child) Oh yeah. I was very confused as to what that meant, but I learned something today. permalink fedilink source parent hideshow 2 child comments replies: [–] Thoth19@lemmy.world 1 point 2 years ago Yeah if vs iff can be confusing at first. Trying to understand it with normal grammar doesn't work right. It's a lot more helpful to grok the symbols and so the truth tables by hand to see how they fit together permalink fedilink source parent [–] zenharbinger@lemmy.world 1 point 2 years ago Also, Not (A XOR B) permalink fedilink source parent
[–] Rhynoplaz@lemmy.world 3 points 2 years ago (2 children) Wait. If they are effectively the same statement, wouldn't that mean they ARE equal? permalink fedilink source parent hideshow 4 child comments replies: [–] Casey_Masterpiece@lemmy.world 2 points 2 years ago (1 child) If B then A is the same as if X then Y is the same as if A then B. They are saying it's the same as the OP. Changing the letters around doesn't change the meaning since the letters are just placeholders. Now if you said If A then B AND If B then A as one it wouldn't be the same because A and B would have to keep the same meaning. permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 2 points 2 years ago* But they switched the order in only the first half of the statement. I don't know if everyone commenting caught that. Is "If B then A" equal to "B if and only if A"? This IS different from the original question. permalink fedilink source parent [–] Thoth19@lemmy.world 1 point 2 years ago (1 child) I mean it is the definition of "if and only if". And by commutativity we also know that A iff B is equal to B iff A permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 2 points 2 years ago (1 child) Oh yeah. I was very confused as to what that meant, but I learned something today. permalink fedilink source parent hideshow 2 child comments replies: [–] Thoth19@lemmy.world 1 point 2 years ago Yeah if vs iff can be confusing at first. Trying to understand it with normal grammar doesn't work right. It's a lot more helpful to grok the symbols and so the truth tables by hand to see how they fit together permalink fedilink source parent
[–] Casey_Masterpiece@lemmy.world 2 points 2 years ago (1 child) If B then A is the same as if X then Y is the same as if A then B. They are saying it's the same as the OP. Changing the letters around doesn't change the meaning since the letters are just placeholders. Now if you said If A then B AND If B then A as one it wouldn't be the same because A and B would have to keep the same meaning. permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 2 points 2 years ago* But they switched the order in only the first half of the statement. I don't know if everyone commenting caught that. Is "If B then A" equal to "B if and only if A"? This IS different from the original question. permalink fedilink source parent
[–] Rhynoplaz@lemmy.world 2 points 2 years ago* But they switched the order in only the first half of the statement. I don't know if everyone commenting caught that. Is "If B then A" equal to "B if and only if A"? This IS different from the original question. permalink fedilink source parent
[–] Thoth19@lemmy.world 1 point 2 years ago (1 child) I mean it is the definition of "if and only if". And by commutativity we also know that A iff B is equal to B iff A permalink fedilink source parent hideshow 2 child comments replies: [–] Rhynoplaz@lemmy.world 2 points 2 years ago (1 child) Oh yeah. I was very confused as to what that meant, but I learned something today. permalink fedilink source parent hideshow 2 child comments replies: [–] Thoth19@lemmy.world 1 point 2 years ago Yeah if vs iff can be confusing at first. Trying to understand it with normal grammar doesn't work right. It's a lot more helpful to grok the symbols and so the truth tables by hand to see how they fit together permalink fedilink source parent
[–] Rhynoplaz@lemmy.world 2 points 2 years ago (1 child) Oh yeah. I was very confused as to what that meant, but I learned something today. permalink fedilink source parent hideshow 2 child comments replies: [–] Thoth19@lemmy.world 1 point 2 years ago Yeah if vs iff can be confusing at first. Trying to understand it with normal grammar doesn't work right. It's a lot more helpful to grok the symbols and so the truth tables by hand to see how they fit together permalink fedilink source parent
[–] Thoth19@lemmy.world 1 point 2 years ago Yeah if vs iff can be confusing at first. Trying to understand it with normal grammar doesn't work right. It's a lot more helpful to grok the symbols and so the truth tables by hand to see how they fit together permalink fedilink source parent
[–] zenharbinger@lemmy.world 1 point 2 years ago Also, Not (A XOR B) permalink fedilink source parent