szukanie zaawansowane
 [ Posty: 2 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 11 paź 2018, o 15:02 
Użytkownik

Posty: 3
Lokalizacja: Kobyłka
Pokazać, że jeżeli A,B są dwiema klasami abstrakcji relacji R na zbiorze X to:
1. x  \in A  \wedge  x  \in  B  \Rightarrow  A = B
2. A  \cap B = \emptyset
Jak to w ogóle ruszyć.
Poprosił bym o jakąś podpowiedź żebym mógł to w miarę sam zrobić.
Z góry dziękuje
Góra
Mężczyzna Offline
PostNapisane: 11 paź 2018, o 15:08 
Administrator

Posty: 22967
Lokalizacja: Wrocław
adrion5 napisał(a):
1. x  \in A  \wedge  x  \in  B  \Rightarrow  A = B

Tu brakuje kwantyfikatora, powinno być

(\exists x\in X)(x  \in A  \wedge  x  \in  B)  \Rightarrow  A = B.

Pokaż, że A \subseteq B i B \subseteq A.
Niech x\in X będzie takie, że x  \in A  \wedge  x  \in  B. Ustal teraz dowolne a\in A i postaraj się, korzystając z definicji klasy abstrakcji i własności relacji równoważności pokazać, że a\in B.
Drugie zawieranie robi się analogicznie.

adrion5 napisał(a):
2. A  \cap B = \emptyset

To stwierdzenie nie jest prawdziwe. Trzeba dodać założenie A\ne B. Po dodaniu tego założenia jest to kontrapozycja stwierdzenia z punktu 1.

JK
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 2 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Klasy abstrakcji - zadanie 3  _Linka_  0
 Klasy abstrakcji - zadanie 60  seba174  8
 Klasy Abstrakcji - zadanie 10  Nati071188  2
 Klasy abstrakcji - zadanie 17  eryk90  1
 Klasy Abstrakcji - zadanie 52  lambda4  10
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl