Logic in Computer Science An Introductory Course for Master Students Wang iwang@nudt.edu.cn Lecture 3 Propositional Calculus( Cont'd) Logic in Computer Science- p1/17Logic in Computer Science An Introductory Course for Master Students Wang Ji jiwang@nudt.edu.cn Lecture 3 Propositional Calculus(Cont’d) Logic in Computer Science – p.1/17