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 सिद्ध करें

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