Logika i teoria mnogości/Test 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje

Z Studia Informatyczne
< Logika i teoria mnogości
Wersja z dnia 13:58, 29 wrz 2006 autorstwa Rogoda (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania
TAK

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

TAK

NIE

NIE

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

TAK

NIE

TAK

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

jest skończony

TAK

NIE

TAK

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

TAK

NIE

TAK

Czy istnieją dwa zbiory takie, że i ?

TAK

NIE

NIE

Czy dla każdej liczby naturalnej prawdą jest, że ?

TAK

NIE

TAK

Czy istnieje liczba naturalna taka, że ?

TAK

NIE

TAK

Czy dla dowolnych dwóch liczb naturalnych i zachodzi ?

TAK

NIE

NIE

Czy prawdą jest, że jeśli to ?

TAK

NIE

TAK

Czy istnieją liczby naturalne i takie, że ?

TAK

NIE

NIE

Czy prawdą jest implikacja

TAK

NIE