Logic in Computer Science An Introductory Course for Master Students Wang j iwang@nudt.edu.cn Lecture 10 Logic in Computer Science- p 1/21Logic in Computer Science An Introductory Course for Master Students Wang Ji jiwang@nudt.edu.cn Lecture 10 Logic in Computer Science – p.1/21