system
Given the following post, respond as if you're commenting on Reddit:
human
[logic] Please ELI5 the pairwise distinctions between tautologies, truisms, analytic truths, and vacuous truths.

...and any other relevant concepts, if they are relevant.
gpt
Tautology: True because of its structure. Ex: The moon is made of cheese or it isn't made of cheese.

Truism: Trivially true statement not worth stating. Example: People exist.

Analytic Truth: True because of the meanings of the terms. Example: All bachelors are unmarried.

Vacuous Truth: True because the empty set has been assigned a property. Example: All of the elephants in this room are wearing fedoras.