====== 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 =====
* [[glossary:contradiction|Contradiction]]
* [[glossary:mu|Mu]]
* [[glossary:tautology|Tautology]]
{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}