Logika i teoria mnogości/Test 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek

Z Studia Informatyczne
< Logika i teoria mnogości
Wersja z dnia 14:05, 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
NIE

Czy istnieje liczba całkowita będą zbiorem skończonym?

TAK

NIE

NIE

Czy istnieją cztery liczby naturalne takie, że i oraz ?

TAK

NIE

NIE

Czy istnieją liczba całkowita i liczba wymierna takie, że ?

TAK

NIE

TAK

Czy dla dowolnych liczb naturalnych jeśli to jest liczbą wymierną?

TAK

NIE

NIE

Czy prawdą jest, że dla liczb wymiernych mamy ?

TAK

NIE

TAK

Czy każda liczba całkowita jest zbiorem par liczb naturalnych?

TAK

NIE

TAK

Czy każda liczba wymierna jest zbiorem par liczb całkowitych?

TAK

NIE

TAK

Czy każda liczba rzeczywista jest rodziną zbiorów par liczb wymiernych?

TAK

NIE

TAK

Jeśli jest dowolną liczbą wymierną, to, czy dla dowolnej liczby rzeczywistej mamy ?

TAK

NIE

NIE

Jeśli jest liczbą wymierną, a włożeniem w to, czy dla każdej funkcji mamy ?

TAK

NIE

TAK

Czy dla dwóch funkcji takich, że dla każdego może zachodzić ?

TAK

NIE