The property used to make the conclusion "If 5x = 20, then x = 4" is the inverse property of multiplication. In this case, to isolate the variable x, you divide both sides of the equation by 5, which is the inverse operation of multiplying by 5. This property allows you to find the value of x.