“$7$ is prime”

Example · High school

Terms

Term	This example	Why
proposition	✓	“$7$ is prime” is a proposition because it is true.
propositional formula	✗	“$7$ is prime” is not a propositional formula, because it has no propositional variables.
relation	✗
expression	✗	“$7$ is prime” is not an expression, because “$7$ is prime” is written in English, not as a string of symbols of a formal language.
sentence	✗	“$7$ is prime” is not a sentence of first-order logic, because “$7$ is prime” is written in English, not as a string of symbols of a formal language.

Distinctions using this example

• Proposition vs. predicate
• Proposition vs. propositional formula
• Sentence vs. proposition: “$7$ is prime” is a proposition stated in English, not a sentence of a formal language, although a sentence of first-order logic can express the same proposition.

All examples · All distinctions · All definitions