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

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

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

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

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

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

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

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

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

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

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

1. 1∃x (A(x) ∧ ¬B(x))
2. 2∀x (A(x) ∧ ¬B(x))
3. 3∃x (¬A(x) ∧ B(x))
4. 4∃x (A(x) → ¬B(x))