Prove whether the following inferences are valid using the long or short truth table method. If they are invalid, give the counterexample.
A > -B |= B > -A​