0:00
मध्यमतार्किक समानताप्रमाण पूर्णता
निम्नलिखित प्रमाण को पूर्ण करें:
- P → Q (Premise)
- Q → R (Premise)
- P (Premise)
- _____ (?)
- _____ (?)
लक्ष्य: R को सिद्ध करें
P → Q, Q → R, P ⊢ Rलक्ष्य: R सिद्ध करें
प्रमाण भरने के लिए खाली फ़ील्ड पर क्लिक करें
1.
P → Q
आधार
2.
Q → R
आधार
3.
P
आधार
4.
Q
नियम चुनें
लाइन संदर्भ चुनें
5.
R
नियम चुनें
लाइन संदर्भ चुनें