Is "If A then B" equal to "B if and only if A"?
Is "If A then B" equal to "B if and only if A"?
No. It is equal to "if not B, then not A." You're welcome for doing your logic 101 homework for you.
96First thing I thought lmao. Somebody is taking logic
29Honestly what the homework is probably looking for is that it's equivalent to "B or not A." But yeah.
4Edit: 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"
0You left out the "not" part - "If not pizza lunch, then not Tuesday" does indeed work.
10Using standard definitions from propositional logic they are equivalent.
5
An example of why this is incorrrect.
If a card is the ace of spades, it is black.
A card is black if and only if it is the ace of spades.
There are other conditions under which B (a card is black) can happen, so the second statement is not true.
A conclusion that would be correct is "If a card is not black, it is not the ace of spades.". The condition is that if A is true B will also always be true, so if B is false we can be sure that A is false as well - i.e. "If not B, not A".
49If Nazi, then fascist = true
Fascist, if and only Nazi = not true
If car, then vehicle = true
Vehicle if and only if car = not true
22If 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")?
1B 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.
6
You've have some examples, but in case they are not clear enough:
If [you have AIDS] then [you are unwell]
[You are unwell] if and only if [you have AIDS]
The first one is not the same as the second. Why? There are plenty of ways to be unwell, without necessary developing AIDS.
The first statement only defines one possible path to B, not all of them.
17Not just HIV, but full blown AIDS?
7
No.
11If A, then B
If Not B, then Not A
If it's raining then the grass is wet, but you can't tell if it's raining if the grass is wet, because of say, a hose or sprinkler.
All that you can tell is that if the grass is dry, then it is not raining, and I that's called a contrapositive.
11“If X is cat, then X is mammal” =?> “X is mammal if and only if X is cat”
Obviously doesn’t hold: What if X doge?
7Great analogy!
0
if youre doing homework, i recommend writing out truth tables for the statements and comparing, gives you a bit more insight into the statement truth conditions
7if I brake, my Car will stop.
will my Car only stop if i brake?
6Brake*
3shhhhhhh. Nobody saw, nobody knows.
Also It's 00:30 over here, cut me some Slack.
4
Nope. The first statement doesn’t exclude any paths to B
5I just saw a video on all the logical fallacies that exist, and this was one of them but my shit-ass memory can't recall what the name of the fallacy was.
5It's Cunningham's Fallacy.
3I think it's affirming the consequent
2Can you send me the video?
1
A => B is not the same as B <=> A
4No.
B iff A is defined as "If B then A and if A then B".
If that doesn't make it clear enough for you, then try writing out the truth table for both statements.
3I think I understand now, but what has left me scratching my nose (metaphorically):
Why is it called "B if and only if A", if what it really means is "B only if A and vice versa"? (Am I correct in thinking that's what it means?)
I just don't understand how that translates grammatically. To me, "B if and only if A" sounds the same as "B only if A". I can accept that they mean different things in the context of logic, just like I can assign any meaning to any label, like I could say that "dog" now means "kite" in a certain context. But it seems unintuitive and doesn't really make sense to me. Does that make sense?
1"B if and only if A" is a shorthand way to write "B if A and B only if A". It's like how "He is young and thin" means "He is young and he is thin". We could write it the second way without trouble, but the first way is shorter, we agree that they mean the same thing, and we prefer to conserve energy when writing.
The form "if and only if" is merely a convenient shorthand. Shorthand is usually more convenient for the writer than for the reader. 🤷♂️
Imagine these natural language sentences and analyze how they are different:
- I'll go outside if it's not snowing
- I'll go outside only if it's not snowing
Hint: what do you do in each case when it's snowing?
2"If A then B" means if A is true, then B is guaranteed to be true. Note that if B is true and A is false, "if A then B" is still true.
"B only if A" means the only way for B to be true is for A to be true. It's weird, but it has the inverse truth table as "(not A) and B".
1
NP = P1The first statement only tells you when B is true. It says nothing about when it is false. The second statement both tells you when B is true (if A) and when it is not (only if A). Therefore, the two statements cannot be equal.
1No. "In outer space, there is no atmosphere" does not mean "if there's no atmosphere, it must be outer space" - it could be a vacuum tube or something similar.
1