If Two Angles And The Included Side Of One Triangle Are Congruent To Two Angles And The Included Side Of Another Triangle, Then The Two Triangles Are Congruent.
If Two Sides And The Included Angle Of One Triangle Are Congruent To Two Sides And The Included Angle Of Another Triangle, Then The Two Triangles Are Congruent.
If A Conditional Is True And Its Hypothesis Occurs, Then Its Conclusion Is Guarenteed. In Symbolic Form: If p --> q Is A True Statement And p Is True, Then q Is True.