Logic in Computer Science An Introductory Course for Master Students Wang j iwang@nudt.edu.cn Lecture 11 FOL with equality Logic in Computer Science - p 1/15Logic in Computer Science An Introductory Course for Master Students Wang Ji jiwang@nudt.edu.cn Lecture 11 FOL with Equality Logic in Computer Science – p.1/15