令a(x)为"x是小天使",w(x)为"x有翅膀",假定命题"对任意x,如果x是小天使,则x有翅膀"为真,则∀x(a(x)→w(x)),而其与∀x(w(x)→a(x))命题等价,故命题"对任意x,如果x没有翅膀,则x不是小天使"也为真,通过全称实例化得出w(hl)→a(hl),即"hl没有翅膀,则hl不是小天使"为真,而很显然"hl没有翅膀"为真,则"hl不是小天使"为真.hl不懂这些命题逻辑,但他能得出同样的结论:"那我的翅膀呢?...爸爸说错了,哈哈".大脑真神奇啊,这种最基本的逻辑推理能力,是已经编码在人类基因里了吗?还是人类的大脑只是初始具有潜在的学习理解这些规则的能力,只要具有正常的后天成长环境就会自然而然地会发展出这些逻辑推理能力? god, please enlighten me.