उत्तरों सहित प्रस्ताविक तर्क और उपपत्तियाँ वर्कशीट

सत्यमान सारणी की ठीक एक पंक्ति q → (¬q ↔ p) को असत्य बनाती है। उस पंक्ति पर क्लिक करें।

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

सत्यमान सारणी की ठीक एक पंक्ति (p ∨ q) → q को असत्य बनाती है। उस पंक्ति पर क्लिक करें।

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

कौन-सा सूत्र ¬(b ∧ c) के तार्किक रूप से तुल्य है? उस पर क्लिक करें।

1. 1¬b ∧ c
2. 2¬b ∧ ¬c
3. 3¬b ∨ c
4. 4¬b ∨ ¬c

आप r → (p ∨ q) को प्रतिधनात्मक द्वारा सिद्ध करना चाहते हैं। इसके बजाय कौन-सा निहितार्थ सिद्ध करेंगे? उस पर क्लिक करें।

1. 1(p ∨ q) → r
2. 2¬r → ¬(p ∨ q)
3. 3¬(p ∨ q) → ¬r
4. 4r ∧ ¬(p ∨ q)

निषेध को पूरी तरह भीतर ले जाने पर कौन-सा कथन ¬∀x (F(x) → ∃y R(x, y)) के तुल्य है? उस पर क्लिक करें।

1. 1∃x (¬F(x) ∧ ∃y R(x, y))
2. 2∃x (F(x) → ∀y ¬R(x, y))
3. 3∃x (F(x) ∧ ∀y ¬R(x, y))
4. 4∀x (F(x) ∧ ∀y ¬R(x, y))

सत्यमान सारणी की 16 पंक्तियों में से कितनी ((¬d → a) → (a ∨ d)) ↔ ¬(c ∧ (c ∨ b)) को सत्य बनाती हैं? इस संख्या को N कहें।