Assume that X and Y are true; are you forced into a contradiction in every row of the partial truth table? Yes. Then X is inconsistent with Y. Now assume that X and Y are false; are you forced into a contradiction in every row of the partial truth table? No. Then X is consistent with Y. Now assume that X and Y are false; are you forced into a contradiction in every row of the partial truth table? Yes. Then X is the subcontrary of Y. No. Now assume that X is true and Y false; are you forced into a contradiction in every row of the partial truth table? Yes. Then X is the contradictory of Y. No. Then X is the contrary of Y. Yes. Then X logically implies Y. Now assume that Y is true and X false; are you forced into a contradiction in every row of the partial truth table? No. Then X does not logically imply Y. Now assume that Y is true and X false; are you forced into a contradiction in every row of the partial truth table? Yes. Then Y logically implies X. X, therefore, is logically equivalent to Y. No. Then Y does not logically imply X. X, therefore, is the superaltern of Y. Yes. Then Y logically implies X. Y, therefore, is the superaltern of X. No. Then Y does not logically imply X. X, therefore, is independent of Y.