Logika Matematika Part. 1 | Logika matematika

Introduction

This tutorial provides a step-by-step guide to understanding the basics of mathematical logic, as presented in the video "Logika Matematika Part. 1" by BOM Matematika. It covers key concepts such as open statements, negations, compound statements, truth tables, conjunctions, disjunctions, implications, and bi-implications. By following this guide, you'll gain a foundational understanding of these concepts, which are crucial for further studies in mathematics and logic.

Step 1: Understand Open Statements

• An open statement is a sentence that contains a variable and becomes true or false when a specific value is assigned to that variable.
• Example: The statement "x is greater than 5" is open because its truth value depends on the value of x.

Step 2: Explore Negation of a Statement

• Negation refers to the opposite of a given statement.
• To negate a statement, simply add "not" before it.
• Example:
  • Statement: "It is raining."
  • Negation: "It is not raining."

Step 3: Learn About Compound Statements

• Compound statements are formed by combining two or more statements using logical connectives such as "and," "or," and "if...then."
• Types of connectives:
  • Conjunction (AND): True only if both statements are true.
  • Disjunction (OR): True if at least one statement is true.

Step 4: Create Truth Tables

• A truth table is a mathematical table used to determine the truth value of a compound statement based on the truth values of its components.
• Steps to create a truth table:
  1. List all possible combinations of truth values for the individual statements.
  2. Calculate the truth value for the compound statement based on the combinations.

Step 5: Understand Conjunction and Disjunction

• Conjunction (AND):

  • Symbol: ∧
  • True only when both statements are true.
  • Example: "A ∧ B" is true only if both A and B are true.

• Disjunction (OR):

  • Symbol: ∨
  • True if at least one of the statements is true.
  • Example: "A ∨ B" is true if either A or B (or both) are true.

Step 6: Explore Implication

• Implication is a logical relationship where one statement implies another.
• Symbol: →
• Example: "If A, then B" (A → B) is false only when A is true and B is false.

Step 7: Learn About Bi-implication

• Bi-implication shows that two statements imply each other.
• Symbol: ↔
• Example: "A if and only if B" (A ↔ B) is true when both A and B are either true or false together.

Conclusion

This tutorial has introduced the fundamental concepts of mathematical logic, including open statements, negation, compound statements, truth tables, conjunctions, disjunctions, implications, and bi-implications. Understanding these concepts is essential for deeper studies in logic and reasoning. For further learning, consider watching the subsequent parts of the series for more advanced topics in mathematical logic.