propositional knowledge

Description
Also known as Declarative knowledge, is a type of knowledge that can be expressed in statements which are either true or false. A fundamental aspect of epistemology, and distinct from other types of knowledge such as procedural or ability knowledge or tacit knowledge.

Example:

• The earth is flat
• If you drop a ball, it will fall

Truth vs. falsity

• A proposition is true if it accurately represents how things are.
• A proposition is false if it does not.
  (OpenAI, 2025)