Logika i teoria mnogości/Test 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost
- NIE
Czy zbiór bocianów jest elementem zbioru wszystkich ptaków?
TAK
NIE
- TAK
Czy zbiór wiewiórek jest podzbiorem zbioru wszystkich gryzoni?
TAK
NIE
- NIE
Czy jeli to ?
TAK
NIE
- TAK
Czy zbiór może być elementem innego zbioru?
TAK
NIE
- NIE
Czy jeśli to lub ?
TAK
NIE
- NIE
Czy suma dwóch zbiorów musi być istotnie większa niż przecięcie tych samych zbiorów?
TAK
NIE
- NIE
Czy dowodząc kroku indukcyjnego dla możemy korzystać z prawdziowści dowodzonego faktu dla wszystkich liczb silnie większych niż ?
TAK
NIE
- NIE
Czy można wykazać, używając indukcji, że dla każdego liczba jest pierwsza? <wrongoption>TAK</wrongoption> <rightoption>NIE</rightoption>
- NIE
Czy stosując rozumowanie niewprost można wykazać, że nie istnieje najmniejsza liczba naturalna?
TAK
NIE
- TAK
Czy przy pomocy dowodu niewprost możemy pokazać, że ?
TAK
NIE