Lecture2 Predicate Logic(谓语／断言） Tautolog and Contradictiion Negating Nested Quantifiers E xd Negating can be helpful to understand question. If the negating question is fasle, the original must be true. Questions p --> q = differe? : conjunction or implention or equation :