Аперацыі над мноствамі: Розніца паміж версіямі

др
няма тлумачэння праўкі
[недагледжаная версія][недагледжаная версія]
Няма тлумачэння праўкі
дрНяма тлумачэння праўкі
* [[перасячэнне мностваў|перасячэнне]] мностваў <math>A \cap B</math> мае вынікам мноства, якое месціць усе элементы, якія ўваходзяць у абодва мноствы (і ў A, і ў B)
:<math>~ \vdash \quad \forall x \ (x \in A \cap B \ \leftrightarrow \ x \in A \quad \land \quad x \in B)</math>
:<math>~ \vdash \quad \forall x \ (x \in A \cap B \ \leftrightarrow \ x \in A \quad \land \quad x \notin A - B)</math>
 
::<math>~ \vdash \quad A \cap B = \{x| \quad x \in A \ \land \ x \in B\}</math>
65

правак