Logika Benny: Czy prawdziwa jest następująca równość: (A∩B)xC=(AxC)∩(BxC) Wystarczy za pomocą tabelki sprawdzić czy jest to tautologia czy może jakiś inny sposób?

Janek191: To jest rachunek zbiorów, a nie rachunek zdań

ICSP: Skorzystaj z indykatora zbioru.

Benny: @ICSP można jakoś jaśniej?

ICSP: https://pl.wikipedia.org/wiki/Funkcja_charakterystyczna_zbioru

Benny: Jakoś nie mogę ogarnąć jak to się ma do tego.

ICSP: https://matematykaszkolna.pl/forum/110240.html

Benny: Dziwnie to wygląda jak na pierwszy rzut oka. Na wykładach coś takiego będzie?

ICSP: może wykładowca wspomni, ale wgłebiać się raczej nie będzie.

Benny: Tak będzie dobrze? x∊(A∩B) ∧ y∊C ⇔ x∊A ∧ x∊B ∧ y∊C ⇔ (x∊A ⋀ y∊C) ⋀ (x∊B ⋀ y∊C) ⇔ x∊(A x C) ∧ (B x C) ⇔ x∊(A x C) ⋀ (B x C)