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

दिए गए आधार वाक्य (premises):

  1. P → Q
  2. R → S
  3. P ∨ R

सिद्ध करें: Q ∨ S

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

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

अपना प्रमाण चरण दर चरण बनाएं

1.
P → Q
आधार
2.
R → S
आधार
3.
P ∨ R
आधार