Zbiory Machine: Udowodnij, że A∩B⊆A Czy można to zapisać tak? Skoro x∊A∩B to jest to równoważne z definicji przekroju x∊A ∧ x∊B, co w szczególności oznacza że x∊A czyli A∩B⊆A.

Basia: dobrze; zapis formalny [ x∊A∩B ⇔ x∊A ∧ x∊B ⇒ (na mocy reguły odrywania) x∊A ] ⇔ A∩B⊆A

Machine: Ponownie dziękuję bardzo

ite: Czy tu nie została zastosowana reguła opuszczania koniunkcji?

ABC: reguła p⋀q ⇒p − przeważnie tak się nazywa jak pisze ite 9:36