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

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

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

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

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. 3b ↔ ¬c
4. 4b ∧ ¬c

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

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

आधार-वाक्य q → p; q दिए गए हैं। इनसे कौन-सा निष्कर्ष निकलता है? उस पर क्लिक करें।

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

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

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