▲ 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
[–] Boinkage@lemmy.world 98 points 2 years ago (3 children) No. It is equal to "if not B, then not A." You're welcome for doing your logic 101 homework for you. permalink fedilink source hideshow 6 child comments replies: [–] pineapplelover@lemm.ee 31 points 2 years ago First thing I thought lmao. Somebody is taking logic permalink fedilink source parent [–] monotremata@kbin.social 4 points 2 years ago Honestly what the homework is probably looking for is that it's equivalent to "B or not A." But yeah. permalink fedilink source parent [–] XeroxCool@lemmy.world 0 points 2 years ago* (last edited 2 years ago) (3 children) Edit: I see the error in my below response. I leave wrong answers for conversational completeness That's not equivalent either. "if not b, then not a" works if it's a sequence but doesn't work for options in which multiple inputs can lead to the same output. If you get pizza every Tuesday and Friday, then answering "what's for lunch" with "if Tuesday, then pizza" and "if Friday, then pizza" doesn't let it work in reverse. "what day is it" can't be answered with "if pizza lunch, then Tuesday" permalink fedilink source parent hideshow 6 child comments replies: [–] pruwybn@discuss.tchncs.de 10 points 2 years ago You left out the "not" part - "If not pizza lunch, then not Tuesday" does indeed work. permalink fedilink source parent [–] Boinkage@lemmy.world 9 points 2 years ago* (1 child) Ya wrong. If Tuesday, then pizza. And, if Friday, then pizza. The contrapositive : if not pizza, then not Tuesday and not Friday. What day is it? We're not having pizza. So it's not Tuesday or Friday. Google contrapositives then holla back permalink fedilink source parent hideshow 2 child comments replies: [–] XeroxCool@lemmy.world 2 points 2 years ago That's a key detail I now see permalink fedilink source parent [–] kogasa@programming.dev 5 points 2 years ago Using standard definitions from propositional logic they are equivalent. permalink fedilink source parent
[–] pineapplelover@lemm.ee 31 points 2 years ago First thing I thought lmao. Somebody is taking logic permalink fedilink source parent
[–] monotremata@kbin.social 4 points 2 years ago Honestly what the homework is probably looking for is that it's equivalent to "B or not A." But yeah. permalink fedilink source parent
[–] XeroxCool@lemmy.world 0 points 2 years ago* (last edited 2 years ago) (3 children) Edit: I see the error in my below response. I leave wrong answers for conversational completeness That's not equivalent either. "if not b, then not a" works if it's a sequence but doesn't work for options in which multiple inputs can lead to the same output. If you get pizza every Tuesday and Friday, then answering "what's for lunch" with "if Tuesday, then pizza" and "if Friday, then pizza" doesn't let it work in reverse. "what day is it" can't be answered with "if pizza lunch, then Tuesday" permalink fedilink source parent hideshow 6 child comments replies: [–] pruwybn@discuss.tchncs.de 10 points 2 years ago You left out the "not" part - "If not pizza lunch, then not Tuesday" does indeed work. permalink fedilink source parent [–] Boinkage@lemmy.world 9 points 2 years ago* (1 child) Ya wrong. If Tuesday, then pizza. And, if Friday, then pizza. The contrapositive : if not pizza, then not Tuesday and not Friday. What day is it? We're not having pizza. So it's not Tuesday or Friday. Google contrapositives then holla back permalink fedilink source parent hideshow 2 child comments replies: [–] XeroxCool@lemmy.world 2 points 2 years ago That's a key detail I now see permalink fedilink source parent [–] kogasa@programming.dev 5 points 2 years ago Using standard definitions from propositional logic they are equivalent. permalink fedilink source parent
[–] pruwybn@discuss.tchncs.de 10 points 2 years ago You left out the "not" part - "If not pizza lunch, then not Tuesday" does indeed work. permalink fedilink source parent
[–] Boinkage@lemmy.world 9 points 2 years ago* (1 child) Ya wrong. If Tuesday, then pizza. And, if Friday, then pizza. The contrapositive : if not pizza, then not Tuesday and not Friday. What day is it? We're not having pizza. So it's not Tuesday or Friday. Google contrapositives then holla back permalink fedilink source parent hideshow 2 child comments replies: [–] XeroxCool@lemmy.world 2 points 2 years ago That's a key detail I now see permalink fedilink source parent
[–] XeroxCool@lemmy.world 2 points 2 years ago That's a key detail I now see permalink fedilink source parent
[–] kogasa@programming.dev 5 points 2 years ago Using standard definitions from propositional logic they are equivalent. permalink fedilink source parent