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

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

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0

(¬a ∨ (c → a)) ∧ (b ∨ (b → c)) की पूरी सत्यमान सारणी में कितनी पंक्तियाँ N होती हैं?

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

1. 1a → c
2. 2¬a → ¬c
3. 3¬a ∧ ¬c
4. 4¬c → ¬a

आप ¬p → q को विरोधाभास द्वारा सिद्ध करना चाहते हैं। शुरू में कौन-सा कथन मानेंगे? उस पर क्लिक करें।

1. 1¬¬p ∧ ¬q
2. 2¬¬p → ¬q
3. 3¬p ∧ ¬q
4. 4¬¬p ∧ q

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

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

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

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