（T）抽象法不是一种特殊的推理法T同一律（B）是同一律的根本作用