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.