0:00
उन्नततार्किक समानताप्रमाण पूर्णता
केस विश्लेषण का उपयोग करते हुए निम्नलिखित प्रमाण को पूरा करें:
- P ∨ Q (Premise)
- P → R (Premise)
- Q → R (Premise)
- Case 1: मान लें P
- _____ (?)
- Case 2: मान लें Q
- _____ (?)
- _____ (?)
लक्ष्य: R को सिद्ध करें
P ∨ Q, P → R, Q → R ⊢ Rलक्ष्य: ? सिद्ध करें
प्रमाण भरने के लिए खाली फ़ील्ड पर क्लिक करें