Set Theory And Logic Tags
Set Theory And Logic Tags
Operations on sets
- Boolean operations on sets
- Membership tables
- Venn diagrams
- Products
- Power sets
- Cardinality
Relations between sets
- Subset
- Properties of relations
- Equivalence relations
Functions
- Definition of function
- Injective, surjective, bijective
- Image and inverse image
Propositional logic
- Translation
- Operations on propositions
- Truth tables
- Rules of inference
- Boolean circuits
First order logic
- Predicates
- Translation
- Semantics of quantifiers
- Proofs
Fuzzy logic
Puzzles
Pattern matching
- Numeric
- Non-numeric