Logika i teoria mnogości/Test 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycjanastępna edycja →
WizualnieWikikod
Rogoda (dyskusja | edycje)
1875 edycji
Nie podano opisu zmian
m Zastępowanie tekstu – „\displaystyle ” na „”
Linia 11: Linia 11:




<quiz type="exclusive">Czy jeli <math>\displaystyle A\varsubsetneq A\cup B </math> to <math>\displaystyle A\setminus B \neq \emptyset</math>?
<quiz type="exclusive">Czy jeli <math>A\varsubsetneq A\cup B </math> to <math>A\setminus B \neq \emptyset</math>?
<wrongoption>TAK</wrongoption>
<wrongoption>TAK</wrongoption>
<rightoption>NIE</rightoption>
<rightoption>NIE</rightoption>
Linia 23: Linia 23:




<quiz type="exclusive">Czy jeśli <math>\displaystyle A\cap B\subset C</math> to <math>\displaystyle A\subset C</math> lub <math>\displaystyle B\subset C</math>?
<quiz type="exclusive">Czy jeśli <math>A\cap B\subset C</math> to <math>A\subset C</math> lub <math>B\subset C</math>?
<wrongoption>TAK</wrongoption>
<wrongoption>TAK</wrongoption>
<rightoption>NIE</rightoption>
<rightoption>NIE</rightoption>
Linia 35: Linia 35:




<quiz type="exclusive">Czy dowodząc kroku indukcyjnego dla <math>\displaystyle n+1</math> możemy korzystać z prawdziowści dowodzonego faktu dla wszystkich liczb silnie większych niż <math>\displaystyle n+1</math>?
<quiz type="exclusive">Czy dowodząc kroku indukcyjnego dla <math>n+1</math> możemy korzystać z prawdziowści dowodzonego faktu dla wszystkich liczb silnie większych niż <math>n+1</math>?
<wrongoption>TAK</wrongoption>
<wrongoption>TAK</wrongoption>
<rightoption>NIE</rightoption>
<rightoption>NIE</rightoption>
Linia 41: Linia 41:




<quiz type="exclusive">Czy można wykazać, używając indukcji, że dla każdego <math>\displaystyle n</math> liczba <math>\displaystyle n^2+n+41</math> jest pierwsza?
<quiz type="exclusive">Czy można wykazać, używając indukcji, że dla każdego <math>n</math> liczba <math>n^2+n+41</math> jest pierwsza?
<wrongoption>TAK</wrongoption>
<wrongoption>TAK</wrongoption>
<rightoption>NIE</rightoption>
<rightoption>NIE</rightoption>
Linia 53: Linia 53:




<quiz type="exclusive">Czy przy pomocy dowodu niewprost możemy pokazać, że <math>\displaystyle 1+1=2</math>?
<quiz type="exclusive">Czy przy pomocy dowodu niewprost możemy pokazać, że <math>1+1=2</math>?
<rightoption>TAK</rightoption>
<rightoption>TAK</rightoption>
<wrongoption>NIE</wrongoption>
<wrongoption>NIE</wrongoption>
</quiz>
</quiz>

Wersja z 08:51, 28 sie 2023

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 A⊊A∪B to A∖B≠∅?

TAK

NIE


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

TAK

NIE


Czy jeśli A∩B⊂C to A⊂C lub B⊂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 n+1 możemy korzystać z prawdziowści dowodzonego faktu dla wszystkich liczb silnie większych niż n+1?

TAK

NIE


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

TAK

NIE

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Logika_i_teoria_mnogości/Test_1:_Po_co_nam_teoria_mnogości%3F_Naiwna_teoria_mnogości,_naiwna_indukcja,_naiwne_dowody_niewprost&oldid=79764”