用真值表来验证（（p→q）∧﹁q）├﹁p是否为有效式。

下列各组概念中，具有属种关系的有（）。

• A、判断——概念
• B、逻辑常项——量项
• C、太阳系——地球
• D、工人——矿工
• E、《鲁迅全集》——《祝福》

光和声的现象都具有一系列的相同属性：直线传播.反射.折射和干扰等，科学家发现声的本质是由物体的振动所产生的一种波动，因此推断光的本质也是波动。这里运用的逻辑方法是_____。