0:00
उन्नततार्किक समानताड्रैग और ड्रॉप प्रमाण

दिए गए आधार वाक्यों से R ∧ S को सिद्ध करने के लिए निम्नलिखित चरणों को सही क्रम में व्यवस्थित करें।

उपलब्ध चरण:

  • R ∧ S (Conjunction Introduction on 5, 6)
  • P ∧ Q (Premise)
  • P (Conjunction Elimination on 1)
  • P → R (Premise)
  • Q → S (Premise)
  • R (Modus Ponens on 4, 3)
  • Q (Conjunction Elimination on 1)
  • S (Modus Ponens on 5, 7)

लक्ष्य: R ∧ S को सिद्ध करें

P ∧ Q, P → R, Q → S ⊢ R ∧ S

उपलब्ध चरण

प्रमाण में सभी चरण उपयोग किए गए

लक्ष्य: Q सिद्ध करें

अपना प्रमाण बनाने के लिए यहाँ चरण खींचें