Introduction to Mathematical Logic: Propositions or Statements
Definition of a Statement
A statement is a declarative sentence constructed using words. Due to the multiple meanings words can have, statements might be interpreted in various ways, leading to ambiguity.
To avoid confusion, especially in mathematics, symbolic language is used to clearly express statements.
Logic: The study and analysis of this symbolic language is called logic. It helps in understanding and analyzing mathematical statements and is a fundamental part of discrete mathematics.
Importance in Computer Science: Logic is crucial as it forms the theoretical basis for various computer science areas such as artificial intelligence, digital logic design, and more.
Example: In everyday language, "light" can mean "not heavy" or refer to illumination. Without context, this ambiguity can cause confusion. In logic, precise symbolic representation removes this ambiguity.
Propositions
A proposition (or statement) is a declarative sentence that clearly has a truth value, meaning it can be classified as either true or false, but not both.
Characteristics of Propositions:
- Must be declarative (assertive).
- Must have a definite truth value (either true or false).
Example:
- "The sky is blue." (This statement can be classified as true if observed under normal daylight conditions.)
- "Two plus two equals five." (This statement is false.)
Truth Value
The truth value of a proposition indicates whether it is true (denoted as T or 1) or false (denoted as F or 0).
Since propositions can only have one of two possible truth values, this system is referred to as two-valued logic.
Example:
- "Water boils at 100°C at sea level." (True, so its truth value is T or 1)
- "The earth is flat." (False, so its truth value is F or 0)
Non-Propositions
Not every sentence can be considered a proposition. Sentences that are questions, exclamations, or commands do not express a truth value and hence are not propositions.
Examples of Non-Propositions:
- "Is it raining?" (Question; not a proposition)
- "Wow, what a beautiful day!" (Exclamation; not a proposition)
- "Close the door." (Command; not a proposition)
Propositional Variables
Propositional variables are symbols (usually letters like p, q, r, etc.) used to represent simple propositions.
These variables can only take on two values: true (T or 1) or false (F or 0).
Example:
Let p represent the proposition "It is raining."
If it is actually raining, then p = T (true).
If it is not raining, then p = F (false).
Importance of Symbolic Logic
By using symbols to represent propositions and logical operations, complex statements can be analyzed and simplified.
Symbolic logic is foundational in mathematical proofs, algorithms, and various applications in computer science and engineering.
Example:
In programming, conditions like if (x > 5) use logical propositions to control the flow of the program. The proposition x > 5 is evaluated as true or false to determine the program's behavior.