Propositional logic studies logical statements that are either true or false and how they can be combined using logical connectives. This topic introduces propositions, truth values, compound statements, truth tables, and logical equivalences, forming the basis for precise reasoning, digital circuits, and formal proofs.

Predicate logic extends propositional logic by incorporating variables and quantifiers to express statements about collections of objects. It enables more expressive reasoning using predicates, universal and existential quantifiers, restricted domains, and nested quantifiers, allowing formal modeling of real-world and mathematical statements.

This topic focuses on formal reasoning through valid arguments and proofs. It introduces rules of inference for propositional and predicate logic and covers fundamental proof techniques such as direct proof, proof by contraposition, and proof by contradiction, which are essential for verifying mathematical and computational claims.

This topic introduces sets as collections of objects and functions as mappings between sets. It covers set notation, subsets, power sets, Cartesian products, cardinality, and basic properties of functions, providing essential tools for modeling data structures, relations, and mathematical abstractions in computer science.