Matracas Mathematics Related Software
Contact PersonChad E Brown
Preliminary Notions
Bounded Dependent QuantifiersPropositions as Sets
Dependent Connectives
Basic Laws of Logic
Adjoining Elements to Sets
True
Power Sets and Unions
Equality Laws
Bounded Quantifier Laws
Dependent Connective Laws
Propositional Laws
Negated Quantifiers
Equivalence Laws
Equality Laws
Relations on Sets
Operations on Sets