Tautology & Contradiction-Definition, Truth Table And Examples

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┬мpp тИи ┬мp
TFT
FTT

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┬мpp тИз ┬мp
TFF
FTF

Example 2

(p тИи q) тИз ┬м(p тИи q)

рдпрд╣ рднреА рд╣рдореЗрд╢рд╛ False рд╣реЛрддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП contradiction рд╣реИред

Understanding

Contradiction рдореЗрдВ statement рдЕрдкрдиреЗ рдЖрдк рд╕реЗ рд╣реА рд╡рд┐рд░реЛрдз рдХрд░рддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП result рд╣рдореЗрд╢рд╛ False рд╣реЛрддрд╛ рд╣реИред

Difference Between Tautology & Contradiction

BasisTautologyContradiction
Resultрд╣рдореЗрд╢рд╛ Trueрд╣рдореЗрд╢рд╛ False
NatureUniversal truthImpossible statement
Examplep тИи ┬мpp тИз ┬м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 рд╣реЛрддрд╛ рд╣реИред

Leave a Comment

Your email address will not be published. Required fields are marked *

Scroll to Top