What is the meaning of If_not?

Indicates that a statement is true in the event that a condition is not satisfied.

Indicates that one statement at least is true, and possibly a second, stronger statement is true; perhaps even.

Indicates that one statement is true, but a second is not; but not.