This course covers why we have to use Mathematical Logic (ML), and differentiates deductive and inductive reasoning. It also introduces arguments. It also shows what is Propositional logic? It also discusses Truth Tables, tautologies, and validity. It also shows definability of PL' and PL'' special languages. Finally, it reviews logic gates.It also shows the relation between logic and knowledge. It discusses a deduction system containing Rules of Inference and Replacement. It shows proofs based on Tautology. Finally, it gives a case study called Wumpus World. It also introduces predicate calculus. Then it shows knowledge representation and inference in First-order predicate logic (FOL), showing its completeness. Finally, it introduces logic programming and PROLOG.