Niektóre metody twierdzeń dowodzących

Nasza ocena:

Komentarze: 0

Matematyka dyskretna
Politechnika Śląska

Pobierz ten dokument za darmo

Pobierz notatkę

To tylko fragment tej notatki. Zaloguj się aby zobaczyć ten dokument Zobacz całą notatkę

Podgląd dokumentu

Niektóre metody twierdzeń dowodzących - strona 1

Fragment notatki:

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 . ... zobacz całą notatkę

Komentarze użytkowników (0)

Zaloguj się, aby dodać komentarz