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
Rogoda (dyskusja | edycje)
Nie podano opisu zmian
m Zastępowanie tekstu – „\displaystyle ” na „”
Linia 1: Linia 1:
<quiz type="exclusive">Jeśli zbiory <math>\displaystyle A</math> i <math>\displaystyle B</math> są zbiorami induktywnymi, to czy zbiór <math>\displaystyle A\cup B</math> jest induktywny?
<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>\displaystyle A</math> i <math>\displaystyle B</math> takie, że ich różnica symetryczna <math>\displaystyle A\setminus B \cup B\setminus A</math> jest induktywna?
<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>\displaystyle A\subset \mathbb{N}</math> zachodzi równoważność  
<quiz type="exclusive">Czy dla dowolnego zbioru <math>A\subset \mathbb{N}</math> zachodzi równoważność  


<center><math>\displaystyle \bigcup A \in \mathbb{N} \iff A </math>  jest skończony <math>\displaystyle  ?
<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>\displaystyle A</math> taki, że <math>\displaystyle A\subset \mathbb{N}</math> i <math>\displaystyle A\notin\mathbb{N}</math>, ale <math>\displaystyle \bigcup A \in\mathbb{N}</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>\displaystyle A,B\subset \mathbb{N}</math> takie, że <math>\displaystyle A\cap B = \emptyset</math> i <math>\displaystyle \bigcup A = \bigcup B = \mathbb{N}</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>\displaystyle n</math> prawdą jest, że <math>\displaystyle (\bigcup n)' = n</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>\displaystyle n</math> taka, że <math>\displaystyle \mathcal{P}(n)\in\mathbb{N}</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>\displaystyle n</math> i <math>\displaystyle m</math> zachodzi <math>\displaystyle \bigcap n = \bigcap m</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>\displaystyle m,n\in\mathbb{N}</math> to <math>\displaystyle n+m = n\cup m</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>\displaystyle m</math> i <math>\displaystyle n</math> takie, że <math>\displaystyle (n+m)\setminus m \neq n</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>\displaystyle \bigcup(m'\setminus n) = m \implies m\geq n?
<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>

Wersja z 08:42, 28 sie 2023

Jeśli zbiory A i B są zbiorami induktywnymi, to czy zbiór AB jest induktywny?

TAK

NIE


Czy istnieją zbiory induktywne A i B takie, że ich różnica symetryczna ABBA jest induktywna?

TAK

NIE


Czy dla dowolnego zbioru A zachodzi równoważność

AA jest skończony ?

TAK

NIE


Czy istnieje zbiór A taki, że A i A, ale A?

TAK

NIE


Czy istnieją dwa zbiory A,B takie, że AB= i A=B=?

TAK

NIE


Czy dla każdej liczby naturalnej n prawdą jest, że (n)=n?

TAK

NIE


Czy istnieje liczba naturalna n taka, że 𝒫(n)?

TAK

NIE


Czy dla dowolnych dwóch liczb naturalnych n i m zachodzi n=m?

TAK

NIE


Czy prawdą jest, że jeśli m,n to n+m=nm?

TAK

NIE


Czy istnieją liczby naturalne m i n takie, że (n+m)mn?

TAK

NIE


Czy prawdą jest implikacja

(mn)=mmn?

TAK

NIE