If and then .
This is the anti-symettrical property. Check it and convice your self it is true.
Ah! But your problem is that there are no anti-symettrical pairs, for example given there is no . So what! Is it false? No!
This is a strange situation when a statement is true, note, it is never violated.
In symbolic logic,
This is a conditional statement. Meaning If .... then .... When is a conditional false? When a true statement implies a false statement. Since the initial statement (hypothesis) is always false it means it is always a false implying some statement. That statement is therefore true.