Logika i teoria mnogości/Test 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost

Z Studia Informatyczne
< Logika i teoria mnogości
Wersja z dnia 13:12, 29 wrz 2006 autorstwa Rogoda (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Czy zbiór bocianów jest elementem zbioru wszystkich ptaków?

TAK

NIE


Czy zbiór wiewiórek jest podzbiorem zbioru wszystkich gryzoni?

TAK

NIE


Czy jeli to ?

TAK

NIE


Czy zbiór może być elementem innego zbioru?

TAK

NIE


Czy jeśli to lub ?

TAK

NIE


Czy suma dwóch zbiorów musi być istotnie większa niż przecięcie tych samych zbiorów?

TAK

NIE


Czy dowodząc kroku indukcyjnego dla możemy korzystać z prawdziowści dowodzonego faktu dla wszystkich liczb silnie większych niż ?

TAK

NIE


Czy można wykazać, używając indukcji, że dla każdego liczba jest pierwsza?

TAK

NIE


Czy stosując rozumowanie niewprost można wykazać, że nie istnieje najmniejsza liczba naturalna?

TAK

NIE


Czy przy pomocy dowodu niewprost możemy pokazać, że ?

TAK

NIE