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

(c → ¬b) → ¬((¬c → a) ∨ (a ∨ b)) की पूरी सत्यमान सारणी लिखी गई है। कितनी पंक्तियों N में a = 1 और b = 0 है?

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

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

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

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

1. 1(a → b) ∧ (c → b)
2. 2(a → c) → b
3. 3a ∧ (c → b)
4. 4a → (c → b)

निषेध को पूरी तरह भीतर ले जाने पर कौन-सा कथन ¬∀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))

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

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