User Tools

Proposition (logic)

IN logic, a formal or natural language expression that can either be true or false.

Examples:

  • “true” → a proposition with the value true.
  • “2 + 3 = 5” → proposition with the value true.
  • “Paris is the capital of France.” → a proposition which is true.
  • “Japan is an island in the Atlantic ocean.” → a proposition which is false.
  • 2 + 3” → not a proposition, as it has a value (“5”) that is neither true nor false.
  • The longest river in Europe” → not a proposition, as it has a value (“Danube”) that is neither true nor false.

See also

This website uses cookies. By using the website, you agree with storing cookies on your computer. Also, you acknowledge that you have read and understand our Privacy Policy. If you do not agree, please leave the website.

More information