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:10, 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
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