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