Niektóre metody twierdzeń dowodzących
- Politechnika Śląska
- Matematyka dyskretna
Some methods of theorems proving Theorem: p ⇒ q . p - assumption (assumptions), q - conclusion . If the implication p ⇒ q is true, then p - sufficient condition for q and q - necessary condition for p . ...