Introduction (परिचय)
Symbolic Logic में कई बार अलग-अलग logical expressions दिखने में अलग होते हैं, लेकिन उनका meaning और truth value हमेशा same होता है। ऐसे expressions को Logically Equivalent कहा जाता है।
Logical Equivalence का उपयोग expressions को simplify करने और proofs को आसान बनाने में किया जाता है।
Definition (परिभाषा)
दो logical statements logically equivalent होते हैं, यदि हर स्थिति (truth values) में उनका परिणाम समान (same) हो।
Symbol (प्रतीक)
Logical equivalence को इस प्रकार लिखा जाता है:
p ≡ q
इसका अर्थ है:
p और q हमेशा same truth value देते हैं
Concept (समझिए)
अगर दो expressions के truth table पूरी तरह same हैं, तो वे logically equivalent हैं।
Example 1
p → q ≡ ¬p ∨ q
Explanation
मान लें:
p: You are honest
q: You are respected
p → q: If you are honest, then you are respected
¬p ∨ q: You are not honest OR you are respected
दोनों का meaning logical रूप से same होता है।
Truth Table
| p | q | p → q | ¬p ∨ q |
|---|---|---|---|
| T | T | T | T |
| T | F | F | F |
| F | T | T | T |
| F | F | T | T |
दोनों columns same हैं, इसलिए यह logically equivalent हैं।
Example 2
¬(p ∧ q) ≡ ¬p ∨ ¬q
Explanation
मान लें:
p: The light is on
q: The fan is running
¬(p ∧ q): Not (light on AND fan running)
¬p ∨ ¬q: Light is off OR fan is not running
दोनों statements logically same हैं।
Common Logical Equivalences
1. Double Negation Law
¬(¬p) ≡ p
2. De Morgan’s Laws
¬(p ∧ q) ≡ ¬p ∨ ¬q
¬(p ∨ q) ≡ ¬p ∧ ¬q
3. Implication Law
p → q ≡ ¬p ∨ q
4. Idempotent Law
p ∧ p ≡ p
p ∨ p ≡ p
5. Identity Law
p ∧ T ≡ p
p ∨ F ≡ p
Understanding
Logical equivalence का मतलब है कि दो statements अलग दिख सकते हैं, लेकिन उनका logical behavior same होता है।
यह mainly truth tables या known laws से verify किया जाता है।
Another Example
मान लें:
p: You complete your work
q: You get reward
Expression 1: p → q
Expression 2: ¬p ∨ q
दोनों का meaning same है और दोनों हर case में same result देते हैं।
Final Understanding
Logical equivalence में expressions का form अलग हो सकता है, लेकिन उनका result हमेशा same होता है।
Truth table या logical laws के माध्यम से equivalence को verify किया जाता है।
Short Answer
दो logical statements logically equivalent होते हैं, यदि हर स्थिति में उनका truth value समान हो। इसे p ≡ q द्वारा दर्शाया जाता है।