• Nie Znaleziono Wyników

LOGIKA MATEMATYCZNA Zadania - zestaw 2 1. Niech

N/A
N/A
Protected

Academic year: 2021

Share "LOGIKA MATEMATYCZNA Zadania - zestaw 2 1. Niech"

Copied!
1
0
0

Pełen tekst

(1)

LOGIKA MATEMATYCZNA Zadania - zestaw 2

1. Niech A = {0, 1, 2, 3, 4}, B = {0, 2, 4}. Wypisz wszystkie elementy zbioru:

(a) A × B jeśli (m, n) ∈ A × B ⇔ m > n.

(b) A × B jeśli (m, n) ∈ A × B ⇔ m + n ­ 6.

(c) A × A jeśli (m, n) ∈ A × A ⇔ m + n = 9.

(d) B × A jeśli (m, n) ∈ B × A ⇔ m + n jest nieparzyste.

(e) B × B jeśli (m, n) ∈ B × B ⇔ m < n.

2. Jaka relacja musi zachodzić między zbiorami A i B, żeby zachodziła następująca równość:

(a) A ∪ B = A ∩ B ? (b) A ∩ B = A ?

(c) B \ A = ∅?

3. Sprawdź czy relacja R ⊆ A × A jest relacją równoważności. Jeśli tak, to wyznacz jej klasy abstrakcji:

(a) A = {1, 2, 3, 4, 5} oraz ∀x, y ∈ A xRy ⇔ x + y jest parzyste.

(b) A = {1, 2, 3, 4, 5, 6, 7, 8, 9} oraz ∀x, y ∈ A xRy ⇔ 2x2+ 2y2 jest podzielne przez 4.

(c) A = {1, 2, 3, 4, 5, 6, 7, 8, 9} oraz ∀x, y ∈ A xRy ⇔ |x − y| ¬ 6.

(d) A = {1, 2, 3, 4, 5, 6} oraz ∀x, y ∈ A xRy ⇔ x + y jest podzielne przez 3.

(e) A = {1, 2, 3, 4, 5} oraz ∀x, y ∈ A xRy ⇔ x2+ y2 jest parzyste.

4. Podaj przykład relacji, która jest:

(a) jest jednocześnie symetryczna i przechodnia, ale nie jest zwrotna.

(b) jest jednocześnie symetryczna i antysymetryczna.

(c) jest jednocześnie przeciwzwrotna i przeciwsymetryczna.

(d) jest antysymetryczna i nie jest przeciwsymetryczna.

Cytaty

Powiązane dokumenty

Mówimy, »e zbiór A zda« j¦zyka etnicznego jest semantycznie sprzeczny, gdy zbiór schematów wszystkich zda« A jest semantycznie sprzecznym zbiorem formuª j¦zyka KRZ!. Mówimy,

A jeśli zapanuje demokracja, to już zaraz będzie dobrobyt, o ile oczywiście przeprowadzi się lustrację. Polska

Zbiór wszystkich liczb całkowitych (i każdy jego podzbiór) jest uporządkowany w sposób dyskretny przez relację mniejszości &lt;. Zbiór wszystkich liczb wymiernych jest przez

Logika w rozwiniętej postaci wyłoniła się z refleksji filozoficznej Zachodu.. Obecnie wszystkie jej działy posługują się

Mówimy, że zbiór A zdań języka etnicznego jest semantycznie niesprzeczny, gdy zbiór schematów wszystkich zdań A jest semantycznie niesprzecznym zbiorem formuł języka KRZ.

Przejdźcie do utworzonego katalogu, uruchomcie Haskell i wczytajcie plik lab2.hs komendą :l lab2.hs W ściągniętych przez Was plikach, które zostały zaimportowane do lab2.hs jest

Logika dla informatyków..

Logika matematyczna to dział matematyki zajmujący się analizowaniem zasad rozumowania oraz pojęć z nim związanych za pomocą sformalizowanych i uściślonych pojęć i