▲ 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] 1 point 2 years ago (2 children) If car, then vehicle = true Car if and only if vehicle = true. Is this correct? Therefore "If A then B" = "A if and only if B" (or "If B then A" = "B if and only if A")? permalink fedilink source parent hideshow 4 child comments replies: [–] zenharbinger@lemmy.world 6 points 2 years ago* (last edited 2 years ago) B can still be true when a is false. iff means that b can only be true when a is true. Also, the equivalent statement is. vehicle if and only if car. not car only if vehicle since a truck is a vehicle, the statement is false. Somewhat wrong above: A B a iff b T T T T F F F T F F F T look online for truth tables. permalink fedilink source parent [–] Ep1cFac3pa1m@lemmy.world 1 point 2 years ago (1 child) You’d have to firm up your definition of car and vehicle before you could decide that one. Does a hot wheels car count as a car? Does a vehicle have to be large enough to move people or freight? permalink fedilink source parent hideshow 2 child comments replies: [–] zenharbinger@lemmy.world 7 points 2 years ago* Don't confuse this guy with ontological questions. This is straight truth table level stuff. permalink fedilink source parent
[–] zenharbinger@lemmy.world 6 points 2 years ago* (last edited 2 years ago) B can still be true when a is false. iff means that b can only be true when a is true. Also, the equivalent statement is. vehicle if and only if car. not car only if vehicle since a truck is a vehicle, the statement is false. Somewhat wrong above: A B a iff b T T T T F F F T F F F T look online for truth tables. permalink fedilink source parent
[–] Ep1cFac3pa1m@lemmy.world 1 point 2 years ago (1 child) You’d have to firm up your definition of car and vehicle before you could decide that one. Does a hot wheels car count as a car? Does a vehicle have to be large enough to move people or freight? permalink fedilink source parent hideshow 2 child comments replies: [–] zenharbinger@lemmy.world 7 points 2 years ago* Don't confuse this guy with ontological questions. This is straight truth table level stuff. permalink fedilink source parent
[–] zenharbinger@lemmy.world 7 points 2 years ago* Don't confuse this guy with ontological questions. This is straight truth table level stuff. permalink fedilink source parent