如何在中学实施教学？

——量词、命题的证明与否定

此前曾经指出，逻辑并不专属于数学，生活中处处有逻辑。因此，我们可以而且应该借助学生所熟悉的情境来讨论逻辑知识。通过生活中的例子，引导学生自己体会全称命题和特称命题的陈述，体会二者的区别，体会证明一个命题以及否定一个命题到底是要干什么，然后自己归纳出一般的结论和方法。

当学生对日常生活中的例子比较熟悉以后，再逐步考虑以数学命题为例，考虑证明与否定的方法。

国外有一本数学教科书这样引入量词与命题的证明、否定之间的关系：有一天放学回家的路上，你看见一位同学独自在小河边哭泣。你问他：“你为什么哭？”他回答说：“我的同学都不跟我玩了。”——你有办法安慰他吗？如果他回答：“我的一个同学不跟我玩了。”——你又有办法安慰他吗？

这样的范例值得我们借鉴。