Zestaw 2

  1. Zaneguj poniższe wyrażenia

0x01 graphic
0x01 graphic

  1. Sprawdź, czy poniższe zdania są tautologiami rachunku kwantyfikatorów:

0x01 graphic
0x01 graphic
0x01 graphic
.

  1. Zapisz przy pomocy symboli rachunku zdań i prostych operacji arytmetycznych następujące zdania dotyczące liczb naturalnych:

Istnieje liczba najmniejsza.

Nie istnieje liczba największa.

Liczby m i n mają takie same podzielniki.

4. Zapisz przy pomocy symboli rachunku zdań i prostych operacji arytmetycznych następujące zdania dotyczące liczb rzeczywistych:

Nie istnieje liczba, której kwadrat jest mniejszy od zera.

Pomiędzy dwoma dowolnymi liczbami istnieje trzecia.

Funkcja f(x) ma dokładnie jedno miejsce zerowe.

Funkcja f(x) jest malejąca.

  1. Sformułuj i udowodnij przy pomocy pojęcia przynależności elementu do zbioru, prawa:

Przemienności i łączności sumy i iloczynu zbiorów.

Rozdzielności sumy względem iloczynu zbiorów.

Rozdzielności iloczynu względem sumy zbiorów.

  1. Zapisz prawa de Morgana w algebrze zbiorów i udowodnij je.

  2. Dane są zbiory:

0x01 graphic
0x01 graphic

Wyznacz: 0x01 graphic

  1. Pokaż, że dla dowolnych dwóch zbiorów zachodzi:

0x01 graphic

9. Różnica symetryczna zbiorów A i B jest określona jako: 0x01 graphic
Sprawdź, że 0x01 graphic