2/2 - Think, for example, the statement 'A bachelor is an unmarried man' is obviously analytic and true by definition, because that's how we define a bachelor. Now take the following proposition 'Bachelors exist'. How do we know that bachelors exist? We do by experiencing them. If in your family you have an unmarried man of marital age, then clearly 'Bachelors exists' is true because you've seen one.