0:00
उन्नततार्किक समानताड्रैग और ड्रॉप प्रमाण
दिए गए premises से ¬P को सिद्ध करने के लिए निम्नलिखित चरणों को सही क्रम में व्यवस्थित करें।
उपलब्ध चरण:
- Q → R (Premise)
- ¬R (Premise)
- ¬Q (Modus Tollens on 1, 2)
- P → Q (Premise)
- ¬P (Modus Tollens on 4, 5)
लक्ष्य: ¬P को सिद्ध करें
P → Q, Q → R, ¬R ⊢ ¬Pउपलब्ध चरण
प्रमाण में सभी चरण उपयोग किए गए
लक्ष्य: Q सिद्ध करें
अपना प्रमाण बनाने के लिए यहाँ चरण खींचें