>[!summary] A proposition is a statement that is always either true or false. It doesn't have any dependencies >[!info]+ Read time ⏱ **1 min** # Definition A proposition is a complete fixed sentence. We give a proposition a value of true or false mathematically. A proposition has no dependencies; unlike [[Predicates|predicates]], it is always either true or false. [^1] >[!note] Sometimes propositions are called statements ## Examples The following are examples of propositions: - $7 > 3$ : this is always true - 2 is an [[Even & Odd Numbers |even]] number: this is true by the definition of an even number - 3 is an [[Even & Odd Numbers |odd]] number: this is true by the definition of an odd number --- The following are **not** examples of propositions: - $n$ is an even number: n is a variable and not fixed, so not a proposition (is instead a [[ Predicates | predicate]]) - The University is beautiful today: not a proposition as it is subjective --- <!-- Light Mode Newsletter Embed --> <div class="mm-form-light"> <iframe src="https://updates.cyberleadhub.com/widget/form/Y0kpQVpjJQuxEfX59m17" id="inline-Y0kpQVpjJQuxEfX59m17" title="Join Math & Matter Newsletter (Light)" data-height="900" scrolling="no" allowtransparency="true" loading="lazy" style="width:100%;height:350px;border:none;border-radius:10px;background:transparent;overflow:hidden" ></iframe> </div> <!-- Dark Mode Newsletter Embed --> <div class="mm-form-dark"> <iframe src="https://updates.cyberleadhub.com/widget/form/lbeDLm24VjuaFxhjccA1" id="inline-lbeDLm24VjuaFxhjccA1" title="Join Math & Matter Newsletter (Dark)" data-height="900" scrolling="no" allowtransparency="true" loading="lazy" style="width:100%;height:350px;border:none;border-radius:10px;background:transparent;overflow:hidden" ></iframe> </div> <!-- Provider script (only once) --> <script src="https://updates.cyberleadhub.com/js/form_embed.js"></script> [^1]: Definition adapted from Dr. Robert Talbert