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 2 pośrednich wersji utworzonych przez tego samego użytkownika) | |||
Linia 1: | Linia 1: | ||
<quiz type="exclusive">Jeśli zbiory <math> | <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? | ||
<rightoption>TAK</rightoption> | <rightoption>TAK</rightoption> | ||
<wrongoption>NIE</wrongoption> | <wrongoption>NIE</wrongoption> | ||
Linia 5: | Linia 5: | ||
<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> | ||
Linia 11: | Linia 11: | ||
<quiz type="exclusive">Czy dla dowolnego zbioru <math> | <quiz type="exclusive">Czy dla dowolnego zbioru <math>A\subset \mathbb{N}</math> zachodzi równoważność | ||
<center><math> | <center><math>\bigcup A \in \mathbb{N} \iff A</math> jest skończony <math>? | ||
</math></center> | </math></center> | ||
<rightoption>TAK</rightoption> | <rightoption>TAK</rightoption> | ||
Linia 20: | Linia 20: | ||
<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> | ||
Linia 26: | Linia 26: | ||
<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> | ||
Linia 32: | Linia 32: | ||
<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> | ||
Linia 38: | Linia 38: | ||
<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> | ||
Linia 44: | Linia 44: | ||
<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> | ||
Linia 50: | Linia 50: | ||
<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> | ||
Linia 56: | Linia 56: | ||
<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> | ||
Linia 64: | Linia 64: | ||
<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