THEREFORE, C AS YOU MAY HAVE ANTICIPATED, THE CONTRAPOSITIVE CAN BE GENERALIZED TO THE TR ANSITIVE PROPERTY: A-->B B-->C ~C THEREFORE, ~A EXAMPLE: (TRANSITIVE PROPERTY) IF YOU WORK HARD, YOU WILL BE SUCCESSFUL IN AMERICA. IF YOU ARE SUCCESSFUL I N AMERICA, YOU CAN LEAD A LIFE OF LEISURE. SO IF YOU WORK HARD IN AMERICA, Y OU CAN LIVE A LIFE OF LEISURE. LET W STAND FOR "YOU WORK HARD," S STAND FOR "YOU WILL BE SUCCESSFUL IN AMER ICA," AND L STAND FOR "YOU CAN LEAD A LIFE OF LEISURE." NOW THE FIRST SENTEN CE TRANSLATES AS W-->S, THE SECOND SENTENCE AS S-->L, AND THE CONCLUSION AS W-->L. COMBINING THESE SYMBOL STATEMENTS YIELDS THE FOLLOWING DIAGRAM: W-->S S-->L THEREFORE, W-->L THE DIAGRAM CLEARLY DISPLAYS THE TRANSITIVE PROPERTY. DEMORGAN’S LAWS ~(A & B) = ~A OR ~B ~(A OR B) = ~A & ~B |