This course facilitates students to build up and increase the understanding of discrete mathematics with special emphasis on computer science practical applications. The key topics includes Propositional Logic, its history, developing and understanding logic statement, propositional variables and propositional connectives and variables. The courses covers some useful with examples and quizzes. the course also describes how to manipulate compound statements as well.