Introduction (рдкрд░рд┐рдЪрдп)
Symbolic Logic рдореЗрдВ рдХреБрдЫ logical expressions рдРрд╕реЗ рд╣реЛрддреЗ рд╣реИрдВ, рдЬрд┐рдирдХрд╛ result рд╣рд░ рд╕реНрдерд┐рддрд┐ рдореЗрдВ рд╣рдореЗрд╢рд╛ True рдпрд╛ рд╣рдореЗрд╢рд╛ False рд╣реЛрддрд╛ рд╣реИред
рдРрд╕реЗ expressions рдХреЛ рджреЛ categories рдореЗрдВ рдмрд╛рдБрдЯрд╛ рдЬрд╛рддрд╛ рд╣реИ:
Tautology рдФрд░ Contradiction
рдЗрдирдХрд╛ рдЙрдкрдпреЛрдЧ logical reasoning, proofs рдФрд░ expression рдХреА validity check рдХрд░рдиреЗ рдореЗрдВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред
1. Tautology (рд╕рд░реНрд╡рд╕рддреНрдп)
Concept (рд╕рдордЭрд┐рдП)
Tautology рд╡рд╣ logical expression рд╣реЛрддрд╛ рд╣реИ, рдЬреЛ рд╣рд░ possible рд╕реНрдерд┐рддрд┐ рдореЗрдВ рд╣рдореЗрд╢рд╛ True рд╣реЛрддрд╛ рд╣реИред
рдЪрд╛рд╣реЗ propositions рдХреЗ truth values рдХреБрдЫ рднреА рд╣реЛрдВ, result рд╣рдореЗрд╢рд╛ True рд╣реА рд░рд╣реЗрдЧрд╛ред
Definition (рдкрд░рд┐рднрд╛рд╖рд╛)
Tautology рдПрдХ рдРрд╕рд╛ logical statement рд╣реИ, рдЬрд┐рд╕рдХрд╛ truth value рд╣рд░ рд╕реНрдерд┐рддрд┐ рдореЗрдВ True рд╣реЛрддрд╛ рд╣реИред
Example 1
p тИи ┬мp
Explanation
рдорд╛рди рд▓реЗрдВ:
p: Today is Sunday
p тИи ┬мp:
тАЬToday is Sunday OR Today is not SundayтАЭ
рдпрд╣ statement рд╣рдореЗрд╢рд╛ True рд╣реЛрдЧрд╛, рдХреНрдпреЛрдВрдХрд┐ рдПрдХ рди рдПрдХ condition рд╣рдореЗрд╢рд╛ рд╕рд╣реА рд╣реЛрдЧреАред
Truth Table
| p | ┬мp | p тИи ┬мp |
|---|---|---|
| T | F | T |
| F | T | T |
Example 2
(p тЖТ q) тИи (q тЖТ p)
рдпрд╣ рднреА рд╣рдореЗрд╢рд╛ True рд╣реЛрддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП рдпрд╣ рднреА tautology рд╣реИред
Understanding
Tautology рдореЗрдВ result рд╣рд░ condition рдореЗрдВ True рд░рд╣рддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП рдЗрд╕реЗ universal truth рднреА рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИред
2. Contradiction (рд╡рд┐рд░реЛрдзрд╛рднрд╛рд╕)
Concept (рд╕рдордЭрд┐рдП)
Contradiction рд╡рд╣ logical expression рд╣реЛрддрд╛ рд╣реИ, рдЬреЛ рд╣рд░ рд╕реНрдерд┐рддрд┐ рдореЗрдВ рд╣рдореЗрд╢рд╛ False рд╣реЛрддрд╛ рд╣реИред
рдХреЛрдИ рднреА truth value рд╣реЛ, result рдХрднреА True рдирд╣реАрдВ рд╣реЛрдЧрд╛ред
Definition (рдкрд░рд┐рднрд╛рд╖рд╛)
Contradiction рдПрдХ рдРрд╕рд╛ logical statement рд╣реИ, рдЬрд┐рд╕рдХрд╛ truth value рд╣рд░ рд╕реНрдерд┐рддрд┐ рдореЗрдВ False рд╣реЛрддрд╛ рд╣реИред
Example 1
p тИз ┬мp
Explanation
рдорд╛рди рд▓реЗрдВ:
p: The door is open
p тИз ┬мp:
тАЬThe door is open AND the door is not openтАЭ
рдпрд╣ рдХрднреА рднреА true рдирд╣реАрдВ рд╣реЛ рд╕рдХрддрд╛, рдЗрд╕рд▓рд┐рдП рдпрд╣ рд╣рдореЗрд╢рд╛ False рд╣реЛрдЧрд╛ред
Truth Table
| p | ┬мp | p тИз ┬мp |
|---|---|---|
| T | F | F |
| F | T | F |
Example 2
(p тИи q) тИз ┬м(p тИи q)
рдпрд╣ рднреА рд╣рдореЗрд╢рд╛ False рд╣реЛрддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП contradiction рд╣реИред
Understanding
Contradiction рдореЗрдВ statement рдЕрдкрдиреЗ рдЖрдк рд╕реЗ рд╣реА рд╡рд┐рд░реЛрдз рдХрд░рддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП result рд╣рдореЗрд╢рд╛ False рд╣реЛрддрд╛ рд╣реИред
Difference Between Tautology & Contradiction
| Basis | Tautology | Contradiction |
|---|---|---|
| Result | рд╣рдореЗрд╢рд╛ True | рд╣рдореЗрд╢рд╛ False |
| Nature | Universal truth | Impossible statement |
| Example | p тИи ┬мp | p тИз ┬мp |
Another Example (рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП)
рдорд╛рди рд▓реЗрдВ:
p: You are present
Tautology:
You are present OR not present тЖТ рд╣рдореЗрд╢рд╛ True
Contradiction:
You are present AND not present тЖТ рд╣рдореЗрд╢рд╛ False
Final Understanding
Tautology рдореЗрдВ рд╣рд░ рд╕реНрдерд┐рддрд┐ рдореЗрдВ True рдорд┐рд▓рддрд╛ рд╣реИ
Contradiction рдореЗрдВ рд╣рд░ рд╕реНрдерд┐рддрд┐ рдореЗрдВ False рдорд┐рд▓рддрд╛ рд╣реИ
рдпреЗ рджреЛрдиреЛрдВ logical expressions рдХреА nature рдХреЛ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП рдмрд╣реБрдд рдорд╣рддреНрд╡рдкреВрд░реНрдг concepts рд╣реИрдВред
Short Answer
Tautology рд╡рд╣ logical statement рд╣реИ рдЬреЛ рд╣рд░ рд╕реНрдерд┐рддрд┐ рдореЗрдВ True рд╣реЛрддрд╛ рд╣реИ, рдЬрдмрдХрд┐ Contradiction рд╡рд╣ statement рд╣реИ рдЬреЛ рд╣рд░ рд╕реНрдерд┐рддрд┐ рдореЗрдВ False рд╣реЛрддрд╛ рд╣реИред