Zbiory
Macius: Logika dla odwaznych?:
wykaz ze:
a) B\A=B∩A'
b)A∪(B\A)=A∪B
c)A∪(B∩C)=(A∪B)∩(A∪C)
d)(A∩B)'=A'∪B'
19 lis 12:47
Aga: a)
L=x∊B−A⇔(x∊Bi x∉A)
A'=R−A
P=x∊B∩A'⇔(x∊B i x∊A)⇔(x∊B i x∊R−A)⇔(x∊Bi x∊R i x∉A)⇔(x∊B∩R i x∉A)⇔(x∊B ix∉A)
L=P
19 lis 13:00
Aga: B)
x∊A∪(B−A)⇔ (x∊A lub x∊B−A)⇔(x∊A∨(x∊B⋀x∉A)⇔(x∊A∪B)∧(x∊A∪A')⇔x∊A∪B∧x∊R⇔x∊(A∪B)∩R)⇔x∊A∪B
L=P.
19 lis 13:14