Logika i teoria mnogości/Test 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost
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