Slide 1CS1502 Formal Methods in Computer Science Lecture Notes 3 Consequence Rules Boolean Connectives Slide 2 Symmetry of Identity a = b a = b 1) 2) 3) a = a = Introduction…