Difference between revisions of "Statements"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
 
(8 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
In mathematics, a statement (also known as a proposition) is a declarative sentence that is either true or false but not both. There must be no ambiguity as to whether the statement is true or false. The statement cannot be an opinion or vague sentence (for example, "chocolate tastes good" or "red is an ugly color") that does not have a set truth value. Some examples of basic statements and their truth values:
 
In mathematics, a statement (also known as a proposition) is a declarative sentence that is either true or false but not both. There must be no ambiguity as to whether the statement is true or false. The statement cannot be an opinion or vague sentence (for example, "chocolate tastes good" or "red is an ugly color") that does not have a set truth value. Some examples of basic statements and their truth values:
  
* 2 is an even number (TRUE)
+
* <math> 2 </math> is an even number (TRUE)
* Negative numbers are less than 0 (TRUE)
+
* Negative numbers are less than <math> 0 </math> (TRUE)
* 3 + 4 = 6 (FALSE)
+
* <math> 3 + 4 = 6 </math> (FALSE)
 
* Quadrilaterals have five sides (FALSE)
 
* Quadrilaterals have five sides (FALSE)
 
* For all real numbers <math> n </math>, <math> n^2 \ge 0 </math> (TRUE)
 
* For all real numbers <math> n </math>, <math> n^2 \ge 0 </math> (TRUE)
* All multiples of 3 are even (FALSE)
+
* All multiples of <math> 3 </math> are even (FALSE)
  
===Connectives===
+
==Terminology==
We can use connectives to create compound statements out of two or more basic statements, or to transform statements. Here are some common connectives and how they are used (let P and Q be statements):
+
A number of different terms for mathematical statements exist; these terms indicate the role statements play in a particular subject. The distinction between different terms is sometimes rather arbitrary, and the usage of some terms has evolved over time.
* Conjunction: "P and Q", also denoted as "P ∧ Q". A conjunctive statement is only true if both P and Q are true, and false otherwise.
+
* An ''axiom'' or ''postulate'' is a fundamental assumption regarding the object of study, that is accepted without proof. A related concept is that of a ''definition'', which gives the meaning of a word or a phrase in terms of known concepts. Classical geometry discerns between axioms, which are general statements; and postulates, which are statements about geometrical objects. Historically, axioms were regarded as "self-evident"; today they are merely ''assumed'' to be true.
* Disjunction: " P or Q", also denoted as "P ∨ Q". A disjunctive statement is true if either P or Q are true, and false only when both P and Q are false.
+
* A ''conjecture'' is an unproved statement that is believed to be true. Conjectures are usually made in public, and named after their maker (for example, Goldbach's conjecture and Collatz conjecture). The term ''hypothesis'' is also used in this sense (for example, Riemann hypothesis), which should not be confused with "hypothesis" as the premise of a proof. Other terms are also used on occasion, for example ''problem'' when people are not sure whether the statement should be believed to be true. Fermat's Last Theorem was historically called a theorem, although, for centuries, it was only a conjecture.
* Negation: "not P", also denoted as "¬P". A negation reverses the truth value of the original statement (that is, if P is true then ¬P is false, and vice versa).
+
<!-- The following definition repeats the lead for easy reference -->
* Implication: "if P, then Q" or "P implies Q", also denoted as "P <math> \Rightarrow </math> Q". An implication is true if P and Q are both true, and false if P is true and Q is false. An implication is true when P is false, regardless of the truth value of Q (that is, Q can be true or false when P is false).
+
* A ''theorem'' is a statement that has been proven to be true based on axioms and other theorems.
* Biconditional: "P if and only if Q", also denoted as "P <math> \Leftrightarrow </math> Q". A biconditional is only true when both "P <math> \Rightarrow </math> Q" and "Q <math> \Rightarrow </math> P" are true statements; that is, "P <math> \Leftrightarrow </math> Q" is true when P and Q have the same truth value, and false when they have different truth values.
+
* A ''proposition'' is a theorem of lesser importance, or one that is considered so elementary or immediately obvious, that it may be stated without proof. This should not be confused with "proposition" as used in propositional logic. In classical geometry the term "proposition" was used differently: in Euclid's ''Elements'', all theorems and geometric constructions were called "propositions" regardless of their importance.
 +
* A ''lemma'' is an "accessory proposition" - a proposition with little applicability outside its use in a particular proof. Over time a lemma may gain in importance and be considered a ''theorem'', though the term "lemma" is usually kept as part of its name (e.g. Gauss's lemma, Zorn's lemma, and the fundamental lemma).
 +
* A ''corollary'' is a proposition that follows immediately from another theorem or axiom, with little or no required proof. A corollary may also be a restatement of a theorem in a simpler form, or for a special case: for example, the theorem "all internal angles in a rectangle are right angles" has a corollary that "all internal angles in a ''square'' are right angles" - a square being a special case of a rectangle.
 +
* A ''generalization'' of a theorem is a theorem with a similar statement but a broader scope, from which the original theorem can be deduced as a special case (a ''corollary'').
  
 +
Other terms may also be used for historical or customary reasons, for example:
 +
 +
* An ''identity'' is a theorem stating an equality between two expressions, that holds for any value within its domain (e.g. Bézout's identity and Vandermonde's identity).
 +
* A ''rule'' is a theorem that establishes a useful formula (e.g. Bayes' rule and Cramer's rule).
 +
* A ''law'' or ''principle'' is a theorem with wide applicability (e.g. the law of large numbers, law of cosines, Kolmogorov's zero–one law, Harnack's principle, the least-upper-bound principle, and the pigeonhole principle).
 +
 +
A few well-known theorems have even more idiosyncratic names, for example, the division algorithm, Euler's formula, and the Banach–Tarski paradox.
 +
 +
 +
==Connectives==
 +
We can use connectives to create compound statements out of two or more basic statements, or to transform statements. Here are some common connectives and how they are used (let <math> P </math> and <math> Q </math> be statements):
 +
* Conjunction: "<math> P </math> and <math> Q </math>", also denoted as "<math> P \and Q </math>". A conjunctive statement is only true if both <math> P </math> and <math> Q </math> are true, and false otherwise.
 +
* Disjunction: "<math> P </math> or <math> Q </math>", also denoted as "<math> P \or Q </math>". A disjunctive statement is true if either <math> P </math> or <math> Q </math> are true, and false only when both <math> P </math> and <math> Q </math> are false.
 +
* Negation: "not <math> P </math>", also denoted as "<math> \neg P </math>". A negation reverses the truth value of the original statement (that is, if <math> P </math> is true then <math> \neg P </math> is false, and vice versa).
 +
* Implication: "if <math> P </math>, then <math> Q </math>" or "<math> P </math> implies <math> Q </math>", also denoted as "<math> P \rightarrow Q</math>". An implication is true if <math> P </math> and <math> Q </math> are both true, as well as when <math> P </math> is false, regardless of the truth value of <math> Q </math> (that is, <math> Q </math> can be true or false when <math> P </math> is false, and the implication will still be true). An implication is only false if <math> P </math> is true and <math> Q </math> is false.
 +
* Biconditional: "<math> P </math> if and only if <math> Q </math>", also denoted as "<math> P \Leftrightarrow Q </math>". A biconditional is only true when both <math> P \Rightarrow Q </math> and <math> Q \Rightarrow P </math>" are true statements; that is, <math> P \Leftrightarrow Q </math> is true when <math> P </math> and <math> Q </math> have the same truth value, and false when <math> P </math> and <math> Q </math> have different truth values.
 +
 +
Truth table of some basic logical statements given statements <math> P </math> and <math> Q </math>:
 
{| class="wikitable" style="margin:1em auto 1em auto; text-align:center;"
 
{| class="wikitable" style="margin:1em auto 1em auto; text-align:center;"
 
|-
 
|-
! <math>P</math> || <math>Q</math> || <math>P \land Q</math> || <math>P \lor Q</math> || <math>P \Rightarrow Q</math> || <math>Q \Rightarrow P</math>  ||  <math>P \Leftrightarrow Q</math>
+
! <math>P</math> || <math>Q</math> || <math>P \land Q</math> || <math>P \lor Q</math> || <math>P \Rightarrow Q</math> || <math>Q \Rightarrow P</math>  ||  <math>P \Leftrightarrow Q</math> || <math> \neg P </math> || <math> \neg Q </math>
 +
|-
 +
| T || T || T || T || T || T || T || F || F
 +
|-
 +
| T || F || F || T || F || T || F || F || T
 +
|-
 +
| F || T || F || T || T || F || F || T || F
 +
|-
 +
| F || F || F || F || T || T || T || T || T
 
|}
 
|}
  
 
==Resources==
 
==Resources==
 
* [https://link-springer-com.libweb.lib.utsa.edu/content/pdf/10.1007%2F978-1-4419-7127-2.pdf Course Textbook], pages 4-25
 
* [https://link-springer-com.libweb.lib.utsa.edu/content/pdf/10.1007%2F978-1-4419-7127-2.pdf Course Textbook], pages 4-25
* [https://math.libretexts.org/Bookshelves/Mathematical_Logic_and_Proof/Book%3A_Mathematical_Reasoning__Writing_and_Proof_(Sundstrom)/2%3A_Logical_Reasoning/2.1%3A_Statements_and_Logical_Operators Statements and Logical Operators], OpenStax
+
 
 +
== Licensing ==
 +
Content obtained and/or adapted from:
 +
*[https://math.libretexts.org/Bookshelves/Mathematical_Logic_and_Proof/Book%3A_Mathematical_Reasoning__Writing_and_Proof_(Sundstrom)/2%3A_Logical_Reasoning/2.1%3A_Statements_and_Logical_Operators Statements and Logical Operators, OpenStax] under a CC BY-NC-SA license
 +
*[https://en.wikipedia.org/wiki/Theorem Theorem, Wikipedia] under a CC BY-NC-SA license

Latest revision as of 14:31, 17 November 2021

In mathematics, a statement (also known as a proposition) is a declarative sentence that is either true or false but not both. There must be no ambiguity as to whether the statement is true or false. The statement cannot be an opinion or vague sentence (for example, "chocolate tastes good" or "red is an ugly color") that does not have a set truth value. Some examples of basic statements and their truth values:

  • is an even number (TRUE)
  • Negative numbers are less than (TRUE)
  • (FALSE)
  • Quadrilaterals have five sides (FALSE)
  • For all real numbers , (TRUE)
  • All multiples of are even (FALSE)

Terminology

A number of different terms for mathematical statements exist; these terms indicate the role statements play in a particular subject. The distinction between different terms is sometimes rather arbitrary, and the usage of some terms has evolved over time.

  • An axiom or postulate is a fundamental assumption regarding the object of study, that is accepted without proof. A related concept is that of a definition, which gives the meaning of a word or a phrase in terms of known concepts. Classical geometry discerns between axioms, which are general statements; and postulates, which are statements about geometrical objects. Historically, axioms were regarded as "self-evident"; today they are merely assumed to be true.
  • A conjecture is an unproved statement that is believed to be true. Conjectures are usually made in public, and named after their maker (for example, Goldbach's conjecture and Collatz conjecture). The term hypothesis is also used in this sense (for example, Riemann hypothesis), which should not be confused with "hypothesis" as the premise of a proof. Other terms are also used on occasion, for example problem when people are not sure whether the statement should be believed to be true. Fermat's Last Theorem was historically called a theorem, although, for centuries, it was only a conjecture.
  • A theorem is a statement that has been proven to be true based on axioms and other theorems.
  • A proposition is a theorem of lesser importance, or one that is considered so elementary or immediately obvious, that it may be stated without proof. This should not be confused with "proposition" as used in propositional logic. In classical geometry the term "proposition" was used differently: in Euclid's Elements, all theorems and geometric constructions were called "propositions" regardless of their importance.
  • A lemma is an "accessory proposition" - a proposition with little applicability outside its use in a particular proof. Over time a lemma may gain in importance and be considered a theorem, though the term "lemma" is usually kept as part of its name (e.g. Gauss's lemma, Zorn's lemma, and the fundamental lemma).
  • A corollary is a proposition that follows immediately from another theorem or axiom, with little or no required proof. A corollary may also be a restatement of a theorem in a simpler form, or for a special case: for example, the theorem "all internal angles in a rectangle are right angles" has a corollary that "all internal angles in a square are right angles" - a square being a special case of a rectangle.
  • A generalization of a theorem is a theorem with a similar statement but a broader scope, from which the original theorem can be deduced as a special case (a corollary).

Other terms may also be used for historical or customary reasons, for example:

  • An identity is a theorem stating an equality between two expressions, that holds for any value within its domain (e.g. Bézout's identity and Vandermonde's identity).
  • A rule is a theorem that establishes a useful formula (e.g. Bayes' rule and Cramer's rule).
  • A law or principle is a theorem with wide applicability (e.g. the law of large numbers, law of cosines, Kolmogorov's zero–one law, Harnack's principle, the least-upper-bound principle, and the pigeonhole principle).

A few well-known theorems have even more idiosyncratic names, for example, the division algorithm, Euler's formula, and the Banach–Tarski paradox.


Connectives

We can use connectives to create compound statements out of two or more basic statements, or to transform statements. Here are some common connectives and how they are used (let and be statements):

  • Conjunction: " and ", also denoted as "". A conjunctive statement is only true if both and are true, and false otherwise.
  • Disjunction: " or ", also denoted as "". A disjunctive statement is true if either or are true, and false only when both and are false.
  • Negation: "not ", also denoted as "". A negation reverses the truth value of the original statement (that is, if is true then is false, and vice versa).
  • Implication: "if , then " or " implies ", also denoted as "". An implication is true if and are both true, as well as when is false, regardless of the truth value of (that is, can be true or false when is false, and the implication will still be true). An implication is only false if is true and is false.
  • Biconditional: " if and only if ", also denoted as "". A biconditional is only true when both and " are true statements; that is, is true when and have the same truth value, and false when and have different truth values.

Truth table of some basic logical statements given statements and :

T T T T T T T F F
T F F T F T F F T
F T F T T F F T F
F F F F T T T T T

Resources

Licensing

Content obtained and/or adapted from: