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