Unit I of the syllabus covers propositional logic and counting theory. It introduces concepts such as propositions, logical connectives like conjunction, disjunction, negation, implication and biconditional. It discusses how to represent compound statements using these connectives and their truth tables. The unit also covers topics like predicate logic, methods of proof, mathematical induction and fundamental counting principles like permutations and combinations. It aims to provide the logical foundations for discrete mathematics concepts that will be useful in computer science and information technology.