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