1 Fundamentals of logic
statements
negation, conjunction, disjunction
property
element
quantifier
implication
necessary and sufficient=coexistent
equivalence
contrapositive
2 Sets
Elementary Facts:
subsets (proper subset)
empty subset
2.1 Remarks
a. Let E be a property . Then
x∈ϕ⇒E(x) is true for each x∈X