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 सिद्ध करें
अपना प्रमाण बनाने के लिए यहाँ चरण खींचें