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

From Studia Informatyczne

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 \displaystyle A\varsubsetneq A\cup B to \displaystyle A\setminus B \neq \emptyset?

TAK

NIE


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

TAK

NIE


Czy jeśli \displaystyle A\cap B\subset C to \displaystyle A\subset C lub \displaystyle B\subset C?

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 \displaystyle n+1 możemy korzystać z prawdziowści dowodzonego faktu dla wszystkich liczb silnie większych niż \displaystyle n+1?

TAK

NIE


Czy można wykazać, używając indukcji, że dla każdego \displaystyle n liczba \displaystyle n^2+n+41 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 \displaystyle 1+1=2?

TAK

NIE