FA18:Lecture 5 negation and quantifiers

From CS2800 wiki