- Truth Table
- PDNF
- Logical Implication
- Rules of Inference
- Validity and Satisfiability
- Compactness and Resolution
- Quantifiers
- Propositional Logic
- Logical Equivalence
- Normal Forms
- DNF
- CNF
- PCNF
- PDNF
- Validity and Satisfiability
- Compactness and Resolution
- Quantifiers
- Application of Propositional Logic
- Explanation of relations
- Various methods to represent relations
- Reflexive, Symmetric, and Transitive relations
- Equivalence relations and their properties
- Definition and examples of N-ary relations
- Applications of N-ary relations
- Definition of Equivalence Class
- Relation to equivalence relations
- Definition and examples of partitions in sets
- Applications and properties
- Definition of partial ordering
- Concepts of chain and antichain
- Definition and construction of Hasse diagrams
- Usage in representing partially ordered sets
- Definition of a lattice
- Examples and applications
- Definition of functions
- Types: Injective, Surjective, Bijective
- Properties and examples
- Explanation of chain and antichain within functions