Grube zadanie
Grubas: Rozwazamy podzbiory przestrzeni XxY( iloczyn kartezjanski). Znalesc tozsamosci typu praw
rozdzielnosci dla nastepujacych zbiorow:
(A∩B)xC
12 paź 16:02
Grubas: up
12 paź 16:25
Grubas: up pomozcie , ostatnie zadanie do zrobienia , ale nie moge zczaic o co chodzi
12 paź 16:45
Grubas: up
12 paź 17:16
Grubas: up
12 paź 19:38
Grubas: up
12 paź 22:53
Basia:
(A∩B)xC = (AxC)∩(BxC)
dowód:
(x,y)∊(AxC)∩(BxC) ⇔ (x,y)∊AxC ∧ (x,y)∊BxC ⇔
(x∊A ∧ y∊C) ∧ (x∊B ∧ y∊C) ⇔ (na mocy łączności koniunkcji)
(x∊A ∧ x∊B) ∧ (y∊C ∧ y∊C) ⇔ (na mocy prawa: p∧p ⇔p)
(x∊A ∧ x∊B) ∧ y∊C ⇔ x∊(A∩B) ∧ y∊C ⇔ (x,y)∊(A∩B)xC
12 paź 23:57
Grubas: Dzięki, git Basia.
13 paź 09:41