Zestaw 2matematyka, matematyka


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



Wyszukiwarka

Podobne podstrony:
Zestaw 5 analiza, matematyka
Zestaw III, Matematyka stosowana
Zestaw 5matematyka, matematyka
Zestaw 1 algebra, matematyka
Zestaw 3 analiza, matematyka
Pieniądze-zestaw 1, Sprawdziany, matematyka
Zestaw VII, Matematyka stosowana
Obliczenia zegarowe i kalendarzowe - zestaw 8, Sprawdziany, matematyka
zestawy zadań z Matematyki
Zestaw 4 analiza, matematyka
Funkcja kwadratowa - zestawienia wzorów, MATEMATYKA
Zestaw 5 algebra, matematyka
Zestaw I, semestr3, Matematyka stosowana
ZESTAW XIX, matematyka, Aksjomat, zestawy
Obliczenia zegarowe i kalendarzowe-zestaw 7, Sprawdziany, matematyka
ZESTAW IV(1), MATEMATYKA
zestaw3, statystyka matematyczna(1)
zestaw1, statystyka matematyczna(1)

więcej podobnych podstron