0:00
उन्नततार्किक समानताप्रमाण पूर्णता

केस विश्लेषण का उपयोग करते हुए निम्नलिखित प्रमाण को पूरा करें:

  1. P ∨ Q (Premise)
  2. P → R (Premise)
  3. Q → R (Premise)
  4. Case 1: मान लें P
  5. _____ (?)
  6. Case 2: मान लें Q
  7. _____ (?)
  8. _____ (?)

लक्ष्य: R को सिद्ध करें

P ∨ Q, P → R, Q → R ⊢ R

लक्ष्य: ? सिद्ध करें

प्रमाण भरने के लिए खाली फ़ील्ड पर क्लिक करें