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लक्ष्य: ? सिद्ध करें
प्रमाण भरने के लिए खाली फ़ील्ड पर क्लिक करें