$P(c)$ is true for an arbitrary element $c$

$P(c)$ is true for a specific element $c$

$(\\exists x)P(x)$ is true

$P(x)$ is a tautology