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 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. |