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 – „<math> ” na „<math>”
 
(Nie pokazano 3 wersji utworzonych przez 2 użytkowników)
Linia 1: Linia 1:
; TAK
<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>\displaystyle A</math> i <math>\displaystyle B</math> są zbiorami induktywnymi, to czy zbiór <math>\displaystyle A\cup B</math> jest induktywny?
<rightoption>TAK</rightoption>
<rightoption>TAK</rightoption>
<wrongoption>NIE</wrongoption>
<wrongoption>NIE</wrongoption>
</quiz>  
</quiz>  
; NIE
 
<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>
</quiz>  
</quiz>  
; TAK
<quiz type="exclusive">Czy dla dowolnego zbioru <math>\displaystyle 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  ?
 
<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>
; TAK
 
<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>
</quiz>
</quiz>
; TAK
 
<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>
</quiz>
</quiz>
; NIE
 
<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>
</quiz>
</quiz>
; TAK
 
<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>
</quiz>
</quiz>
; TAK
 
<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>
</quiz>
</quiz>
; NIE
 
<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>
</quiz>
</quiz>
; TAK
 
<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>
</quiz>
</quiz>
; NIE
 
 
<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>

Aktualna wersja na dzień 10:28, 5 wrz 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