Introduction (เคชเคฐเคฟเคเคฏ)
Symbolic Logic เคเคพ เคธเคฌเคธเฅ basic concept Proposition เคนเฅเฅค เคฏเคน เคเค เคเคธเคพ statement เคนเฅเคคเคพ เคนเฅ, เคเฅ เคเคฟเคธเฅ fact เคฏเคพ information เคเฅ express เคเคฐเคคเคพ เคนเฅ เคเคฐ เคเคฟเคธเคเคพ truth value (True เคฏเคพ False) เคจเคฟเคถเฅเคเคฟเคค เคนเฅเคคเคพ เคนเฅเฅค
Proposition เคเคพ เคเคชเคฏเฅเค logical reasoning, truth table เคเคฐ mathematical logic เคฎเฅเค เคเคฟเคฏเคพ เคเคพเคคเคพ เคนเฅเฅค เคนเคฐ logical expression propositions เคธเฅ เคนเฅ เคฌเคจเคคเคพ เคนเฅเฅค
Definition (เคชเคฐเคฟเคญเคพเคทเคพ)
Proposition เคเค declarative statement เคนเฅเคคเคพ เคนเฅ, เคเคฟเคธเคเคพ truth value (True เคฏเคพ False) เคจเคฟเคถเฅเคเคฟเคค เคนเฅเคคเคพ เคนเฅ, เคฒเฅเคเคฟเคจ เคฆเฅเคจเฅเค เคเค เคธเคพเคฅ เคจเคนเฅเค เคนเฅ เคธเคเคคเคพเฅค
Key Points (เคฎเคนเคคเฅเคตเคชเฅเคฐเฅเคฃ เคฌเคพเคคเฅเค)
โข Proposition เคนเคฎเฅเคถเคพ statement form เคฎเฅเค เคนเฅเคคเคพ เคนเฅ
โข เคเคธเคเคพ truth value (True/False) definite เคนเฅเคคเคพ เคนเฅ
โข Question, command เคฏเคพ exclamation proposition เคจเคนเฅเค เคนเฅเคคเฅ
โข เคนเคฐ proposition logical analysis เคเฅ เคฒเคฟเค use เคเคฟเคฏเคพ เคเคพ เคธเคเคคเคพ เคนเฅ
Examples of Proposition (เคเคฆเคพเคนเคฐเคฃ)
โ โ2 + 2 = 4โ โ True
โ โ5 is an even numberโ โ False
โ โIndia is a countryโ โ True
Non-Proposition Examples (เคเฅ Proposition เคจเคนเฅเค เคนเฅเค)
โ โWhat is your name?โ (Question)
โ โClose the door.โ (Command)
โ โWow! Thatโs great.โ (Exclamation)
เคเคจเคเคพ truth value เคจเคนเฅเค เคนเฅเคคเคพ, เคเคธเคฒเคฟเค เคฏเฅ propositions เคจเคนเฅเค เคนเฅเค
Types of Proposition (เคชเฅเคฐเคเคพเคฐ)
1. Simple Proposition (Atomic Proposition)
โข เคเคธเคฎเฅเค เคเฅเค logical operator เคจเคนเฅเค เคนเฅเคคเคพ
โข Single statement เคนเฅเคคเคพ เคนเฅ
Example:
p: โIt is rainingโ
2. Compound Proposition (Molecular Proposition)
โข เคฆเฅ เคฏเคพ เค เคงเคฟเค propositions เคเฅ logical operators เคธเฅ เคเฅเคกเคผเคเคฐ เคฌเคจเคพเคฏเคพ เคเคพเคคเคพ เคนเฅ
Example:
p: It is raining
q: It is cold
Compound: p โง q
Truth Value (เคธเคคเฅเคฏ เคฎเคพเคจ)
เคนเคฐ proposition เคเคพ เคเค truth value เคนเฅเคคเคพ เคนเฅ:
โข True (T)
โข False (F)
Truth Table (เคธเคคเฅเคฏ เคธเคพเคฐเคฃเฅ)
Proposition เคเคพ behavior truth table เคธเฅ เคธเคฎเคเคพ เคเคพเคคเคพ เคนเฅเฅค
Example:
| p | ยฌp |
|---|---|
| T | F |
| F | T |
Logical Symbols Used (เคชเฅเคฐเคคเฅเค)
| Symbol | Meaning |
|---|---|
| p, q | propositions |
| โง | AND |
| โจ | OR |
| ยฌ | NOT |
| โ | IFโฆTHEN |
| โ | IF AND ONLY IF |
Importance of Proposition (เคฎเคนเคคเฅเคต)
โข Logical reasoning เคเคพ base เคนเฅ
โข Truth tables เคฌเคจเคพเคจเฅ เคฎเฅเค use เคนเฅเคคเคพ เคนเฅ
โข Computer science เคเคฐ mathematics เคฎเฅเค important
โข Logical problems solve เคเคฐเคจเฅ เคฎเฅเค help เคเคฐเคคเคพ เคนเฅ
Important Points (Exam Tips)
โข Proposition เคนเคฎเฅเคถเคพ declarative เคนเฅเคจเคพ เคเคพเคนเคฟเค
โข Truth value เคนเฅเคจเคพ เคเคฐเฅเคฐเฅ เคนเฅ
โข Question/command เคเฅ proposition เคจ เคฒเคฟเคเฅเค
โข Examples เคเคฐเฅเคฐ เคฆเฅเค answer เคฎเฅเค
โข Simple เคเคฐ compound เคฆเฅเคจเฅเค mention เคเคฐเฅเค
Difference (Exam Point)
Proposition vs Statement
โข Proposition โ truth value definite เคนเฅเคคเคพ เคนเฅ
โข Statement โ เคนเคฐ statement proposition เคจเคนเฅเค เคนเฅเคคเคพ
Short Answer (Exam Revision)
Proposition เคเค declarative statement เคนเฅเคคเคพ เคนเฅ, เคเคฟเคธเคเคพ truth value (True เคฏเคพ False) เคจเคฟเคถเฅเคเคฟเคค เคนเฅเคคเคพ เคนเฅเฅค เคฏเคน symbolic logic เคเคพ basic unit เคนเฅเฅค