CS1502 Formal Methods in Computer Science Lecture Notes 1 Course Information Introduction to Logic Part 1 Content 70% logic and proofs Pervades computer science, e.g., hardware…