Documents CSCI2110 – Discrete Mathematics Tutorial 9 First Order Logic Wong Chung Hoi (Hollis)...

Slide 1 CSCI2110 – Discrete Mathematics Tutorial 9 First Order Logic Wong Chung Hoi (Hollis) [email protected] 2-11-2011 Slide 2 Agenda First Order Logic Multiple…