Logic in Computer Science An Introductory Course for Master Students Wang j iwang@nudt.edu.cn Lecture 2 Propositional calculus Logic in Computer Science- p 1/39Logic in Computer Science An Introductory Course for Master Students Wang Ji jiwang@nudt.edu.cn Lecture 2 Propositional Calculus Logic in Computer Science – p.1/39