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