Niektóre metody twierdzeń dowodzących
- Politechnika Śląska
- Matematyka dyskretna
Pobrań: 0
Wyświetleń: 378
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 . ...