Krol Pony: Mam przeprowadzić dowód formalny tego: A ∩ B ⊂ A Czy mogę w dowodzie formalnym na zbiorach przypisać np. x ∊ A ≡ p, i potem jak już zapisze tak zbiory operować na zdaniach logicznych? Jeśli tak, to jaki komentarz dać podczas przypisywania zbiorom wartości logicznych.

Hilbert: Definicja: X⊂Y wtedy i tylko wtedy gdy ∀x (x∊X⇒x∊Y) x∊A∩B⇔x∊A ∧ x∊B ⇒ x∊A więc z definicji A∩B⊂A

Janek191: O, Hilbert zmartwychwstał !