笑气的发现与作用——逻辑在化学中的应用