Logika i teoria mnogości/Test 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
(Nie pokazano 3 wersji utworzonych przez 2 użytkowników) | |||
Linia 1: | Linia 1: | ||
<quiz type="exclusive">Jeśli zbiory <math>A</math> i <math>B</math> są zbiorami induktywnymi, to czy zbiór <math>A\cup B</math> jest induktywny? | |||
<quiz type="exclusive">Jeśli zbiory <math> | |||
<rightoption>TAK</rightoption> | <rightoption>TAK</rightoption> | ||
<wrongoption>NIE</wrongoption> | <wrongoption>NIE</wrongoption> | ||
</quiz> | </quiz> | ||
<quiz type="exclusive">Czy istnieją zbiory induktywne <math> | |||
<quiz type="exclusive">Czy istnieją zbiory induktywne <math>A</math> i <math>B</math> takie, że ich różnica symetryczna <math>A\setminus B \cup B\setminus A</math> jest induktywna? | |||
<wrongoption>TAK</wrongoption> | <wrongoption>TAK</wrongoption> | ||
<rightoption>NIE</rightoption> | <rightoption>NIE</rightoption> | ||
</quiz> | </quiz> | ||
<center><math> | |||
<quiz type="exclusive">Czy dla dowolnego zbioru <math>A\subset \mathbb{N}</math> zachodzi równoważność | |||
<center><math>\bigcup A \in \mathbb{N} \iff A</math> jest skończony <math>? | |||
</math></center> | </math></center> | ||
<rightoption>TAK</rightoption> | <rightoption>TAK</rightoption> | ||
<wrongoption>NIE</wrongoption> | <wrongoption>NIE</wrongoption> | ||
</quiz> | </quiz> | ||
<quiz type="exclusive">Czy istnieje zbiór <math> | |||
<quiz type="exclusive">Czy istnieje zbiór <math>A</math> taki, że <math>A\subset \mathbb{N}</math> i <math>A\notin\mathbb{N}</math>, ale <math>\bigcup A \in\mathbb{N}</math>? | |||
<rightoption>TAK</rightoption> | <rightoption>TAK</rightoption> | ||
<wrongoption>NIE</wrongoption> | <wrongoption>NIE</wrongoption> | ||
</quiz> | </quiz> | ||
<quiz type="exclusive">Czy istnieją dwa zbiory <math> | |||
<quiz type="exclusive">Czy istnieją dwa zbiory <math>A,B\subset \mathbb{N}</math> takie, że <math>A\cap B = \emptyset</math> i <math>\bigcup A = \bigcup B = \mathbb{N}</math>? | |||
<rightoption>TAK</rightoption> | <rightoption>TAK</rightoption> | ||
<wrongoption>NIE</wrongoption> | <wrongoption>NIE</wrongoption> | ||
</quiz> | </quiz> | ||
<quiz type="exclusive">Czy dla każdej liczby naturalnej <math> | |||
<quiz type="exclusive">Czy dla każdej liczby naturalnej <math>n</math> prawdą jest, że <math>(\bigcup n)' = n</math>? | |||
<wrongoption>TAK</wrongoption> | <wrongoption>TAK</wrongoption> | ||
<rightoption>NIE</rightoption> | <rightoption>NIE</rightoption> | ||
</quiz> | </quiz> | ||
<quiz type="exclusive">Czy istnieje liczba naturalna <math> | |||
<quiz type="exclusive">Czy istnieje liczba naturalna <math>n</math> taka, że <math>\mathcal{P}(n)\in\mathbb{N}</math>? | |||
<rightoption>TAK</rightoption> | <rightoption>TAK</rightoption> | ||
<wrongoption>NIE</wrongoption> | <wrongoption>NIE</wrongoption> | ||
</quiz> | </quiz> | ||
<quiz type="exclusive">Czy dla dowolnych dwóch liczb naturalnych <math> | |||
<quiz type="exclusive">Czy dla dowolnych dwóch liczb naturalnych <math>n</math> i <math>m</math> zachodzi <math>\bigcap n = \bigcap m</math>? | |||
<rightoption>TAK</rightoption> | <rightoption>TAK</rightoption> | ||
<wrongoption>NIE</wrongoption> | <wrongoption>NIE</wrongoption> | ||
</quiz> | </quiz> | ||
<quiz type="exclusive">Czy prawdą jest, że jeśli <math> | |||
<quiz type="exclusive">Czy prawdą jest, że jeśli <math>m,n\in\mathbb{N}</math> to <math>n+m = n\cup m</math>? | |||
<wrongoption>TAK</wrongoption> | <wrongoption>TAK</wrongoption> | ||
<rightoption>NIE</rightoption> | <rightoption>NIE</rightoption> | ||
</quiz> | </quiz> | ||
<quiz type="exclusive">Czy istnieją liczby naturalne <math> | |||
<quiz type="exclusive">Czy istnieją liczby naturalne <math>m</math> i <math>n</math> takie, że <math>(n+m)\setminus m \neq n</math>? | |||
<rightoption>TAK</rightoption> | <rightoption>TAK</rightoption> | ||
<wrongoption>NIE</wrongoption> | <wrongoption>NIE</wrongoption> | ||
</quiz> | </quiz> | ||
<quiz type="exclusive">Czy prawdą jest implikacja | <quiz type="exclusive">Czy prawdą jest implikacja | ||
<center><math> | <center><math>\bigcup(m'\setminus n) = m \implies m\geq n? | ||
</math></center> | </math></center> | ||
<wrongoption>TAK</wrongoption> | <wrongoption>TAK</wrongoption> | ||
<rightoption>NIE</rightoption> | <rightoption>NIE</rightoption> | ||
</quiz> | </quiz> |
Aktualna wersja na dzień 10:28, 5 wrz 2023
Jeśli zbiory i są zbiorami induktywnymi, to czy zbiór jest induktywny?
TAK
NIE
Czy istnieją zbiory induktywne i takie, że ich różnica symetryczna jest induktywna?
TAK
NIE
Czy dla dowolnego zbioru zachodzi równoważność
TAK
NIE
Czy istnieje zbiór taki, że i , ale ?
TAK
NIE
Czy istnieją dwa zbiory takie, że i ?
TAK
NIE
Czy dla każdej liczby naturalnej prawdą jest, że ?
TAK
NIE
Czy istnieje liczba naturalna taka, że ?
TAK
NIE
Czy dla dowolnych dwóch liczb naturalnych i zachodzi ?
TAK
NIE
Czy prawdą jest, że jeśli to ?
TAK
NIE
Czy istnieją liczby naturalne i takie, że ?
TAK
NIE
Czy prawdą jest implikacja
TAK
NIE