działania na zbiorach klik: jak udowodnić za pomocą tabeli prawdziwość równoważności (B⊂A)⇔[(A'∩B')=A'] MAM PROBLEM Z TYM PIERWSZYM NAWIASEM

Artur_z_miasta_Neptuna: B⊂A oznaczy tyle co B zawarte w A ... innymi slowy: ∀_x x∊B ⇒ x∊A

Basia: musisz wykazać równoważność: implikacji: x∊B ⇒ x∊A równoważności: [ x∊A' ∧ x∊B' ] ⇔ x∊A' czyli po uproszczeniu równoważność: implikacji: p ⇒ q i równoważności: [~q ∧ ~p] ⇔ ~q kwantyfikator możesz sobie darować, bo jest po obu stronach A⊂B ⇔ ∀_x [x∊B ⇒ x∊A ] (A'∩B') = A' ⇔ ∀_x [ x∊A'∩B' ⇔ x∊A' ]