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

निम्नलिखित विरोधाभास द्वारा प्रमाण को पूर्ण कीजिए:

  1. P → Q (आधार-वाक्य)
  2. P (आधार-वाक्य)
  3. ¬Q (आधार-वाक्य)
  4. _____ (?)
  5. _____ (?)

लक्ष्य: एक विरोधाभास व्युत्पन्न करें

P → Q, P, ¬Q ⊢ ⊥

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

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