What does this mean? Whats the difference between IFF and IF?

  • Context: High School 
  • Thread starter Thread starter BloodyFrozen
  • Start date Start date
  • Tags Tags
    Difference Mean
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 3K views
BloodyFrozen
Messages
353
Reaction score
1
What does this mean? Whats the difference between IFF and IF?
 
Mathematics news on Phys.org


BloodyFrozen said:
What does this mean? Whats the difference between IFF and IF?
Logical implication A -> B can be expressed as if A then B.

A -> B and B -> A can be expressed as iff A then B.
 


mathman said:
Logical implication A -> B can be expressed as if A then B.

A -> B and B -> A can be expressed as iff A then B.

Oh, I see now.

A<->B is iff

and A->B is if
 


BloodyFrozen said:
Oh, I see now.

A<->B is iff

and A->B is if

Another way to think about it is that [itex]A \Leftrightarrow B[/itex] means that [itex]A[/itex] and [itex]B[/itex] have the same truth value. Either both are true or both are false.

If you are asked to do a proof of an IFF statement, you should break it down into two proofs: one of [itex]A \Rightarrow B[/itex] and the other of [itex]B \Rightarrow A[/itex]. Typically one direction will be easier than the other.